SENSATION Publications

  • Workpackage 1
  • Workpackage 2
  • Workpackage 3
  • Workpackage 4
  • Workpackage 1

    [1.1]
    Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang. A Semantics for Every GSPN. Int. Conf. on Application and Theory of Petri Nets and Concurrency (ICATPN). pages 90--109. Volume 7927 of LNCS. Springer 2013.
    [1.2]
    Joost-Pieter Katoen, Doron Peled. Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. European Symposium on Programming (ESOP). pages 411--430. Volume 7792 of LNCS. Springer 2013.
    [1.3]
    Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen. A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods in System Design 43(2):191-232 (2013).
    [1.4]
    Hassan Hatefi, Holger Hermanns. Model Checking Algorithms for Markov Automata. ECEASST 53 (2012).
    [1.5]
    Holger Hermanns, Jan Krcál, Jan Kretínský. Compositional Verification and Optimization of Interactive Markov Chains. CONCUR 2013: 364-379.
    [1.6]
    Holger Hermanns, Andrea Turrini. Cost Preserving Bisimulations for Probabilistic Automata. CONCUR 2013: 349-363.
    [1.7]
    Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang. Deciding Bisimilarities on Distributions. QEST 2013: 72-88.
    [1.8]
    Alexander Graf-Brill. Model-based Testing Approaches for the EnergyBus. Master's thesis. Universität des Saarlandes, Germany. 2013.
    [1.9]
    Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane. Weighted modal transition systems. Formal Methods in System Design 42(2): 193-220 (2013).
    [1.10]
    Line Juhl, Kim G. Larsen, Jirí Srba. Modal transition systems with weight intervals. J. Log. Algebr. Program. 81(4): 408-421 (2012).
    [1.11]
    Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba. Dual-Priced Modal Transition Systems with Time Durations. LPAR 2012: 122-137.
    [1.12]
    Kim G. Larsen, Axel Legay. Quantitative Modal Transition Systems. WADT 2012: 50-58.
    [1.13]
    Line Juhl, Kim Guldstrand Larsen, Jean-François Raskin. Optimal Bounds for Multiweighted and Parametrised Energy Games. Theories of Programming and Formal Methods 2013: 244-255.
    [1.14]
    Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard. Local Model Checking of Weighted CTL with Upper-Bound Constraints. SPIN 2013: 178-195.
    [1.15]
    Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey. Lower-Bound Constrained Runs in Weighted Timed Automata. QEST 2012: 128-137.
    [1.16]
    Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang. UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. QAPL 2012: 1-16.
    [1.17]
    Alexandre David and Kim Guldstrand Larsen and Axel Legay, Danny Bøgsted Poulsen. Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. AVOCS 2013: 13th International Workshop on Automated Verification of Critical Systems, 2013.
    [1.18]
    Waheed Ahmad, Philip K.F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol. Green Computing: Power Optimisation in Real-time Multiprocessor Dataflow Applications. Submitted for publication.
    [1.19]
    Waheed Ahmad, Philip K.F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol. Optimal Performance of Real-time Dataflow Applications on VFIs within Power Budgets. Submitted for publication.
    [1.20]
    Christel Baier, E. Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model Checking for Performability. Mathematical Structures in Computer Science: volume 23(4):751-795.
    [1.21]
    Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Poulsen. Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. ACSD 2014. To appear.
    [1.22]
    Laurent Doyen, Line Juhl, Kim G. Larsen, Nicolas Markey, Mahsa Shirmohammadi. Synchronizing Words for Weighted and Timed Automata. FSTTCS 2014. To appear.
    [1.23]
    Kim G. Larsen, Radu Mardare. Complete proof systems for weighted modal logic. Theoretical Computer Science, volume 546(2014):164-175.
    [1.24]
    Arnd Hartmanns, Holger Hermanns. Towards generally-timed energy SADF. Submitted for publication.
    [1.25]
    Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim Guldstrand Larsen. Towards translating FSM-SADF to timed automata. Investigating Dataflow in Embedded computing Architectures (IDEA2015).
    [1.26]
    Kim Guldstrand Larsen, Simon Laursen, Jirí Srba. Synchronizing Strategies under Partial Observability. CONCUR 2014: 188-202.
    [1.27]
    Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen. Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. AVoCS 2013. To appear.
    [1.28]
    Samy Jaziri, Kim G. Larsen, Radu Mardare, Bingtian Xue. Adequacy and Complete Axiomatization for Timed Modal Logic. MFPS 2014. To appear.
    [1.29]
    Kim G. Larsen, Radu Mardare, Bingtian Xue. Decidability and Expressiveness of Recursive Weighted Logic. PSI 2014.
    [1.30]
    Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue. A Decidable Recursive Logic for Weighted Transition Systems. ICTAC 2014: pages 460-476.
    [1.31]
    Joost-Pieter Katoen, Hao Wu. Exponentially timed SADF: Compositional Semantics, Reduction, and Analysis. Embedded Software (EMSOFT), 2014.
    [1.32]
    Michael Bungert, Holger Hermanns, Reza Pulungan. A compression app for continuous probability distributions. Quantitative Evaluation of systems (QEST 2015).
    [1.33]
    Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist. UPPAAL Stratego. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015).
    [1.34]
    Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen. UPPAAL SMC Tutorial. International Journal on Software Tools for Technology (STTT) 17(4):397-415.
    [1.35]
    Reza Pulungan, Holger Hermanns. A construction and minimization service for continuous probability distributions. International Journal on Software Tools for Technology (STTT) 17(1):77-90.
    [1.36]
    Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim Guldstrand Larsen. Model checking of finite-state machine-based scenario-aware dataflow using timed automata. IEEE International Symposium on Industrial Embedded Systems (SIES 2015).
    [1.37]
    Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marjin R. Jongerden, René Rydhof Hansen, Kim Guldstrand Larsen. A score function for optimizing the cycle-life of battery-powered embedded systems. Formal Modeling and Analysis of Timed Systems (FORMATS 2015), volume 9268 of LNCS, 2015.

    Workpackage 2

    [2.1]
    Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga. Confluence Reduction for Markov Automata. FORMATS 2013: 243-257.
    [2.2]
    Arnd Hartmanns, Mark Timmer. On-the-Fly Confluence Detection for Statistical Model Checking. NASA Formal Methods 2013: 337-351.
    [2.3]
    Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Modelling, Reduction and Analysis of Markov Automata. QEST 2013: 55-71.
    [2.4]
    Christel Baier, E. Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model Checking for Performability. Mathematical Structures in Computer Science, 23:751--795, 2013.
    [2.5]
    Souymodip Chakraborty, Martin Strelec, Joost-Pieter Katoen, Falak Sher. Modelling and Statistical Model Checking of a Microgrid. Workshop on Statistical Model Checking (SMC). EPTCS. 2013.
    [2.6]
    Hongfei Fu. Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes. CoRR abs/1310.2514 (2013).
    [2.7]
    Joost-Pieter Katoen. Model Checking Meets Probability: A Gentle Introduction. Engineering Dependable Software Systems. pages 177--205. Volume 34 of NATO Science for Peace and Security Series - D. IOS Press, 2013.
    [2.8]
    Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang. The Quest for Minimal Quotients for Probabilistic Automata. TACAS 2013: 16-31.
    [2.9]
    Hassan Hatefi, Holger Hermanns. Improving Time Bounded Reachability Computations in Interactive Markov Chains. FSEN 2013: 250-266.
    [2.10]
    Holger Hermanns, Arnd Hartmanns. An Internet Inspired Approach to Power Grid Stability. it - Information Technology 55(2):45-51 (2013).
    [2.11]
    Arnd Hartmanns, Holger Hermanns, Pascal Berrang. A comparative analysis of decentralized power grid stabilization strategies. Winter Simulation Conference 2012: 158.
    [2.12]
    Ernst Moritz Hahn. Model checking stochastic hybrid systems. PhD thesis, Universität des Saarlandes, Germany. 2012.
    [2.13]
    Ernst Moritz Hahn, Holger Hermanns. Rewarding probabilistic hybrid automata. HSCC 2013: 313-322.
    [2.14]
    Cyrille Jégourel, Axel Legay, Sean Sedwards. Importance Splitting for Statistical Model Checking Rare Properties. CAV 2013: 576-591.
    [2.15]
    Axel Legay, Sean Sedwards. Lightweight Monte Carlo Algorithm for Markov Decision Processes. CoRR abs/1310.3609 (2013).
    [2.16]
    Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards. PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. QEST 2013: 160-164.
    [2.17]
    Kim Guldstrand Larsen. Priced Timed Automata and Statistical Model Checking. IFM 2013: 154-161.
    [2.18]
    Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare. Computing Behavioral Distances, Compositionally. MFCS 2013: 74-85.
    [2.19]
    Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare. The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. QEST 2013: 278-281.
    [2.20]
    Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare. On-the-Fly Exact Computation of Bisimilarity Distances. TACAS 2013: 1-15.
    [2.21]
    Kim G. Larsen. Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid Systems. FORMATS 2012: 7-10.
    [2.22]
    Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis. Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. ISoLA (2) 2012: 293-307.
    [2.23]
    Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards. Runtime Verification of Biological Systems. ISoLA (1) 2012: 388-404.
    [2.24]
    Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer. Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR 2012: 168-182.
    [2.25]
    Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen. Checking and Distributing Statistical Model Checking. NASA Formal Methods 2012: 449-463.
    [2.26]
    Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll. A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Specialized Techniques and Applications, Volume 8803 of LNCS, pages 177-192, 2014.
    [2.27]
    Harold Bruintjes, Joost-Pieter Katoen, David Lesens. A statistical approach for timed reachability in AADL models. Dependable Systems and Networks (DSN), pages 81-88, 2015..
    [2.28]
    A. Turrini, H. Hermanns. Polynomial time decision algorithms for probabilistic automata. Information and Computation 244:134-171 (2015).
    [2.29]
    C. Eisentraut, J.C. Godskesen, H. Hermanns, L. Song, L. Zhang. Probabilistic Bisimulation for Realistic Schedulers. International Symposium on Formal Methods (FM2015), volume 9109 of LNCS.
    [2.30]
    G. Bacci, G. Bacci, K.G. Larsen, R. Mardare. On the Total Variation distance of Semi-Markov Chains. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015).
    [2.31]
    D. Gebler, K.G. Larsen, S. Tini. Compositional Metric Reasoning with Probabilistic Process Calculi. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015).
    [2.32]
    B. Braitling, L.F.F. Fioriti, R. Wimmer, B. Becker, H. Hermanns. Abstraction-Based Computation of Reward Measures for Markov Automata. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), volume 8931 of LNCS.
    [2.33]
    H. Hatefi, B. Braitling, L.F.F. Fioriti, R. Wimmer, H. Hermanns, B. Becker. Cost vs. Time in Stochastic Games and Markov Automata. Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA), volume 9409 of LNCS, 2015.
    [2.34]
    M. Timmer, J.-P. Katoen, J. van de Pol, M.I.A. Stoelinga. Confluence Reduction for Markov Automata. Under submission.
    [2.35]
    A. Sharma, J.-P. Katoen. Layered Reduction for Abstract Probabilistic Automata. IEEE International Conference on Application of Concurrency to System Design (ACSD 2014).
    [2.36]
    Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen. Quantified dynamic metric temporal logic for dynamic networks of stochastic hybrid automata. IEEE International Conference on Application of Concurrency to System Design (ACSD 2014).
    [2.37]
    Alexandre David, Kim G. Larsen, Acel Legay, Danny Bøgsted Poulsen. Statistical model checking of dynamic networks of stochastic hybrid automata. ECEASST 66, 2013.
    [2.38]
    Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen. Fast debugging of PRISM models. Automated Technology for Verification and Analysis Symposium (ATVA 2014), volume 8837 of LNCS, 2014.
    [2.39]
    Hongfei Fu. Maximal cost-bounded reachability probability on continuous-time Markov decision processes. Foundations of Software Science and Computation Structures (FoSSaCS 2014), volume 8412 of LNCS, 2014.
    [2.40]
    D. Guck, M. Timmer, H. Hatefi, E.J.J. Ruijters, M.I.A. Stoelinga. Modelling and Analysis of Markov reward automata. International Symposium on Automated Technology for Verification an dAnalysis (ATVA), volume 8837 of LNCS, 2014.
    [2.41]
    Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker. Transient reward approximation for continuous-time Markov chains. IEEE Transactions on Reliability 2015.
    [2.42]
    Joost-Pieter Katoen, Lei Song, Lijun Zhang. Probably safe or live. Logic in Computer Science (LICS 2014).
    [2.43]
    Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Counterexamples for expected rewards. International Symposium on Formal Methods (FM2015), volume 9109 of LNCS.

    Workpackage 3

    [3.1]
    Robert de Groote, Philip K.F. Holzenspies, Jan Kuper, Hajo Broersma: Back to Basics. Homogeneous Representations of Multi-Rate Synchronous Dataflow Graphs. Proceedings of the 11th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2013.
    [3.2]
    Marco E.T. Gerards, Johann L. Hurink, Philip K.F. Holzenspies, Jan Kuper, Gerard J.M. Smit. Analytic Clock Frequency Selection for Global DVFS. Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP). To appear, 2014.
    [3.3]
    Alex Birklykke, Peter Koch, Ramjee Prasad, Lars Alminde, Yanick Le Moullec. Empirical Verification of Fault Models for FPGAs Operating in the Subcritical Voltage Region. Proc. PATMOS 2013, 23rd Int. Workshop on Power and Timing Modelling, Optimization and Simulation, Karlsruhe, Germany, September 9-11, 2013.
    [3.4]
    Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol. Multi-core Reachability for Timed Automata. FORMATS 2012: 91-106.
    [3.5]
    Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol. Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction. CAV 2013: 968-983.
    [3.6]
    Joost-Pieter Katoen. Concurrency meets Probability: Theory and Practice (Abstract). Int. Conf. on Concurrency Theory (CONCUR). pages 44--45. Volume 8052 of LNCS. 2013.
    [3.7]
    Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Model-Based Energy Optimization of Automotive Control Systems. Proc. 16th Conf. on Design, Auto-mation & Test in Europe (DATE 2013). pages 761--766. EDA Consortium, 2013.
    [3.8]
    Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou. An evaluation framework for energy aware buildings using statistical model checking. SCIENCE CHINA Information Sciences 55(12).
    [3.9]
    Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis. Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods 2013: 352-367.
    [3.10]
    Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier. Controllers with Minimal Observation Power (Application to Timed Systems). ATVA 2012: 223-237.
    [3.11]
    Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen. Battery-Aware Scheduling of Mixed Criticality Systems. ISoLA 2014: pages 208-222, volume 8803 of LNCS.
    [3.12]
    Line Juhl, Kim Guldstrand Larsen, Jean-François Raskin. Optimal Bounds for Multiweighted and Parametrised Energy Games. Theories of Programming and Formal Methods 2013: pages 244-255, volume 8051 of LNCS.
    [3.13]
    Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification. QEST 2014: pages 404-420, volume 8657 of LNCS.
    [3.14]
    Benoit Boyer, Kevin Corre, Axel Legay, Louis-Marie Traonouez. Statistical Model Checking with Changes and Simulink. Submitted for publication.
    [3.15]
    Alexandre David, Kim G Larsen, Axel Legay, Marius Mikucionis. Schedulability of Herschel Revisited Using Statistical Model Checking. Software Tools for Technology Transfer (STTT). To appear.
    [3.16]
    Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis. Optimizing Control Strategy Using Statistical Model Checking. NFM 2013: pages 352-367, volume 7871 of LNCS.
    [3.17]
    Souymodip Chakraborty, Joost-Pieter Katoen. Parametric LTL on Markov Chains. IFIP Theoretical Computer Science: pages 207-221, volume 8705 of LNCS.
    [3.18]
    Jalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman, Arne Skou. Schedulability and energy efficiency for multi-core hierarchical scheduling systems. ERTS2. To appear.
    [3.19]
    Shashank Pathak, Erika Abraham, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen. A Greedy Approach for the Efficient Repair of Stochastic Models. Proc. of the 7th NASA Formal Methods Symposium (NFM2015), Volume 9058 of LNCS, pages 295-30, 2015.

    Workpackage 4

    [4.1]
    Etienne Lantreibecq, Wendelin Serwe. Formal Analysis of a Hardware Dynamic Task Dispatcher with CADP. Science of Computer Programming, Feb. 2014..
    [4.2]
    Abderahman Kriouile, Wendelin Serwe. Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. Proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2013 (Madrid, Spain), September 23-24, 2013.
    [4.3]
    Hubert Garavel, Alexander Graf-Brill, Holger Hermanns. A Formal Model of the EnergyBus Draft Standard. SENSATION Technical Annex for Case 3 (D4.2).
    [4.4]
    Alexander Graf-Brill, Holger Hermanns, Hubert Garavel. A Model-based Certification Framework for the EnergyBus Standard. FORTE 2015: pages 84-99, volume 8461 of LNCS.
    [4.5]
    Holger Hermanns, Jan Krcál, Gilles Nies. Recharging Probably Keeps Batteries Alive. Submitted for publication.
    [4.6]
    Peter Koch. FPGA Energy Profiles for Arithmetic Function. SENSATION Technical Annex for Case 2 (D4.2).
    [4.7]
    Waheed Ahmad and Robert de Groote, Philip K.F. Hölzenspies, Mariëlle Stoelinga and Jaco van de Pol. Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata (extended version). Technical Report, Centre for Telematics and Information Technology, University of Twente.
    [4.8]
    Waheed Ahmad and Robert de Groote, Philip K.F. Hölzenspies, Mariëlle Stoelinga and Jaco van de Pol. Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. ACSD 2014. To appear.
    [4.9]
    Alexander Graf-Brill, Holger Hermanns. Formalisation of power related safety requirements and protocols of the EnergyBus. SENSATION Technical Annex (D4.3).
    [4.10]
    Wendelin Serwe, Hubert Garavel. Analysis of the EnergyBus Standard with CADP. SENSATION Technical Annex (D4.3).
    [4.11]
    Erik Wognsen, Peter Koch. Energy-Aware Scheduling of FIR Filter Structures. SENSATION Technical Annex (D4.3).