Bibliography

Major publications by the team in recent years

• 1S. Andalam, P. Roop, A. Girault, C. Traulsen.
  A Predictable Framework for Safety-Critical Embedded Systems, in: IEEE Trans. on Computers, July 2014, vol. 63, n^o 7, pp. 1600–1612.
• 2A. Bouakaz, P. Fradet, A. Girault.
  A Survey of Parametric Dataflow Models of Computation, in: ACM Trans. Design Autom. Electr. Syst., 2017, vol. 22, n^o 2, pp. 38:1–38:25.
  https://doi.org/10.1145/2999539
• 3S. Djoko Djoko, R. Douence, P. Fradet.
  Aspects preserving properties, in: Science of Computer Programming, 2012, vol. 77, n^o 3, pp. 393-422.
• 4G. Frehse, A. Hamann, S. Quinton, M. Wöhrle.
  Formal Analysis of Timing Effects on Closed-loop Properties of Control Software, in: 35th IEEE Real-Time Systems Symposium 2014 (RTSS), Rome, Italy, December 2014.
  https://hal.inria.fr/hal-01097622
• 5A. Girard, G. Gössler, S. Mouelhi.
  Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models, in: IEEE Transactions on Automatic Control, 2016, vol. 61, n^o 6, pp. 1537-1549. [ DOI : 10.1109/TAC.2015.2478131 ]
  https://hal.archives-ouvertes.fr/hal-01197426
• 6G. Gössler, D. Le Métayer.
  A general framework for blaming in component-based systems, in: Science of Computer Programming, 2015, vol. 113, Part 3. [ DOI : 10.1016/j.scico.2015.06.010 ]
  https://hal.inria.fr/hal-01211484
• 7I. Lanese, C. A. Mezzina, J.-B. Stefani.
  Reversibility in the higher-order $\pi$-calculus, in: Theoretical Computer Science, 2016, vol. 625, pp. 25-84. [ DOI : 10.1016/j.tcs.2016.02.019 ]
  https://hal.inria.fr/hal-01303090
• 8S. Quinton, M. Hanke, R. Ernst.
  Formal analysis of sporadic overload in real-time systems, in: 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March, 2012, 2012, pp. 515–520.
  http://dx.doi.org/10.1109/DATE.2012.6176523

Publications of the year

Articles in International Peer-Reviewed Journals

• 9R. Ernst, S. Kuntz, S. Quinton, M. Simons.
  The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092), in: Dagstuhl Reports, 2018, vol. 8, pp. 122 - 149. [ DOI : 10.4230/DagRep.8.2.122 ]
  https://hal.inria.fr/hal-01956964
• 10A. Girault, C. Prévot, S. Quinton, R. Henia, N. Sordon.
  Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains, in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, August 2018, vol. 37, n^o 11, pp. 2578-2589. [ DOI : 10.1109/TCAD.2018.2861016 ]
  https://hal.inria.fr/hal-01956931

Invited Conferences

• 11S. Graf, S. Quinton, A. Girault, G. Gössler.
  Building Correct Cyber-Physical Systems: Why we need a Multiview Contract Theory, in: FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Dublin, Ireland, LNCS, Springer, September 2018, vol. 11119, pp. 19-31. [ DOI : 10.1007/978-3-030-00244-2_2 ]
  https://hal.inria.fr/hal-01891146
• 12S. Quinton.
  Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools, in: FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Maynooth, Ireland, LNCS, Springer, September 2018, vol. 11119, pp. 284-290. [ DOI : 10.1007/978-3-030-00244-2_19 ]
  https://hal.inria.fr/hal-01903730

International Conferences with Proceedings

• 13L. Ahrendts, S. Quinton, T. Boroske, R. Ernst.
  Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks, in: ECRTS 2018 - 30th Euromicro Conference on Real-Time Systems, Barcelona, Spain, July 2018, pp. 1-22. [ DOI : 10.4230/LIPIcs.ECRTS.2018.15 ]
  https://hal.inria.fr/hal-01903759
• 14S. Cherrared, S. Imadali, E. Fabre, G. Gössler.
  LUMEN: A Global Fault Management Framework For Network Virtualization Environments, in: ICIN 2018 - 21st Conference on Innovation in Clouds, Internet and Networks and Workshops, Paris, France, IEEE, February 2018, pp. 1-8. [ DOI : 10.1109/ICIN.2018.8401622 ]
  https://hal.inria.fr/hal-01851610
• 15P. Fradet, A. Girault, R. Krishnaswamy, X. Nicollin, A. Shafiei.
  RDF: Reconfigurable Dataflow, in: 2019 Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 2019.
  https://hal.inria.fr/hal-01960788
• 16P. Fradet, X. Guo, J.-F. Monin, S. Quinton.
  A Generalized Digraph Model for Expressing Dependencies, in: RTNS '18 - 26th International Conference on Real-Time Networks and Systems, Chasseneuil-du-Poitou, France, October 2018, pp. 1-11. [ DOI : 10.1145/3273905.3273918 ]
  https://hal.inria.fr/hal-01878100
• 17P. Fradet, M. Lesourd, J.-F. Monin, S. Quinton.
  A Generic Coq Proof of Typical Worst-Case Analysis, in: RTSS 2018 - 39th IEEE Real-Time Systems Symposium, Nashville, United States, December 2018, pp. 1-12.
  https://hal.inria.fr/hal-01903752
• 18A. Girault, G. Gössler, R. Guerraoui, J. Hamza, D.-A. Seredinschi.
  Monotonic Prefix Consistency in Distributed Systems, in: FORTE 2018 - 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Madrid, Spain, C. Baier, L. Caires (editors), Formal Techniques for Distributed Objects, Components, and Systems, Springer International Publishing, June 2018, vol. LNCS-10854, pp. 41-57. [ DOI : 10.1007/978-3-319-92612-4_3 ]
  https://hal.inria.fr/hal-01824817
• 19M. Vassor, J.-B. Stefani.
  Checkpoint/rollback vs causally-consistent reversibility, in: RC 2018 - 10th International Conference on Reversible Computation, Leicester, United Kingdom, Lecture Notes in Computer Science, Springer, September 2018, vol. 11106, pp. 286-303. [ DOI : 10.1007/978-3-319-99498-7_20 ]
  https://hal.inria.fr/hal-01953756

Internal Reports

• 20A. Abdi, A. Girault, H. Zarandi.
  ERPOT: A quad-criteria scheduling heuristic to optimize the execution time, failure rate, power consumption and temperature in multicores, Inria ; 38, July 2018, n^o RR-9196, pp. 1-38.
  https://hal.inria.fr/hal-01848087
• 21R. Ernst, L. Ahrendts, K.-B. Gemlau, S. Quinton, H. Von Hasseln, J. Hennig.
  System Level LET with Application to Automotive Design, TU Braunschweig, 2018, pp. 1-11.
  https://hal.inria.fr/hal-01962330

References in notes

• 22Automotive Open System Architecture, 2003.
  http://www.autosar.org
• 23A Library for formally proven schedulability analysis.
  http://prosa.mpi-sws.org/
• 24ARTEMIS Joint Undertaking.
  ARTEMIS Strategic Research Agenda, 2011.
• 25S. Andalam, P. Roop, A. Girault.
  Predictable Multithreading of Embedded Applications Using PRET-C, in: International Conference on Formal Methods and Models for Codesign, MEMOCODE'10, Grenoble, France, IEEE, July 2010, pp. 159–168.
• 26I. Assayad, A. Girault.
  Adaptive Mapping for Multiple Applications on Parallel Architectures, in: Third International Symposium on Ubiquitous Networking, UNET'17, Casablanca, Morocco, May 2017.
  https://hal.inria.fr/hal-01672463
• 27P. Axer, R. Ernst, H. Falk, A. Girault, D. Grund, N. Guan, B. Jonsson, P. Marwedel, J. Reineke, C. Rochange, M. Sebatian, R. von Hanxleden, R. Wilhelm, W. Yi.
  Building Timing Predictable Embedded Systems, in: ACM Trans. Embedd. Comput. Syst., 2014, To appear.
• 28E. Bainomugisha, A. Carreton, T. Van Cutsem, S. Mostinckx, W. De Meuter.
  A Survey on Reactive Programming, in: ACM Computing Surveys, 2013, vol. 45, n^o 4.
• 29N. Bansal, T. Kimbrel, K. Pruhs.
  Speed Scaling to Manage Energy and Temperature, in: Journal of the ACM, 2007, vol. 54, n^o 1.
• 30A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber, T.-H. Nguyen, J. Sifakis.
  Rigorous Component-Based System Design Using the BIP Framework, in: IEEE Software, 2011, vol. 28, n^o 3.
• 31V. Bebelis, P. Fradet, A. Girault, B. Lavigueur.
  BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters, in: International Conference on Embedded Software, EMSOFT'13, Montreal, Canada, ACM, September 2013.
• 32A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone.
  The synchronous languages 12 years later, in: Proceedings of the IEEE, 2003, vol. 91, n^o 1.
• 33S. Borkar.
  Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation, in: IEEE Micro, 2005, vol. 25, n^o 6.
• 34A. Bouakaz, P. Fradet, A. Girault.
  A Survey of Parametric Dataflow Models of Computation, in: ACM Transactions on Design Automation of Electronic Systems (TODAES), January 2017.
  https://hal.inria.fr/hal-01417126
• 35A. Bouakaz, P. Fradet, A. Girault.
  Symbolic Analyses of Dataflow Graphs, in: ACM Transactions on Design Automation of Electronic Systems (TODAES), January 2017.
  https://hal.inria.fr/hal-01417146
• 36R. Davis, A. Burns.
  A Survey of Hard Real-Time Scheduling for Multiprocessor Systems, in: ACM Computing Surveys, 2011, vol. 43, n^o 4.
• 37S. A. Edwards, E. A. Lee.
  The Case for the Precision Timed (PRET) Machine, in: 44th Design Automation Conference (DAC), IEEE, 2007.
• 38J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, Y. Xiong.
  Taming heterogeneity - the Ptolemy approach, in: Proceedings of the IEEE, 2003, vol. 91, n^o 1.
• 39P. Fradet, A. Girault, L. Jamshidian, X. Nicollin, A. Shafiei.
  Lossy channels in a dataflow model of computation, in: Principles of Modeling, Festschrift in Honor of Edward A. Lee, Berkeley, United States, Lecture Notes in Computer Science, Springer, October 2017.
  https://hal.inria.fr/hal-01666568
• 40P. Fradet, A. Girault, P. Polpavko.
  SPDF: A schedulable parametric data-flow MoC, in: Design, Automation and Test in Europe, DATE'12, IEEE, 2012.
• 41B. Gaujal, A. Girault, S. Plassart.
  Dynamic Speed Scaling Minimizing Expected Energy Consumption for Real-Time Tasks, UGA - Université Grenoble Alpes ; Inria Grenoble Rhône-Alpes ; Université de Grenoble, October 2017, n^o RR-9101, pp. 1-35.
  https://hal.inria.fr/hal-01615835
• 42A. Girard, G. Pappas.
  Approximation metrics for discrete and continuous systems, in: IEEE Trans. on Automatic Control, 2007, vol. 52, n^o 5, pp. 782–798.
• 43D. Gizopoulos, M. Psarakis, S. V. Adve, P. Ramachandran, S. K. S. Hari, D. Sorin, A. Meixner, A. Biswas, X. Vera.
  Architectures for Online Error Detection and Recovery in Multicore Processors, in: Design Automation and Test in Europe (DATE), 2011.
• 44R. Guerraoui, M. Pavlovic, D.-A. Seredinschi.
  Trade-offs in replicated systems, in: IEEE Data Engineering Bulletin, 2016, vol. 39, pp. 14–26.
• 45F. C. Gärtner.
  Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments, in: ACM Computing Surveys, 1999, vol. 31, n^o 1.
• 46G. Gössler, J.-B. Stefani.
  Fault Ascription in Concurrent Systems, in: Proc. Trustworthy Global Computing - 10th International Symposium, TGC 2015, P. Ganty, M. Loreti (editors), LNCS, Springer, 2016, vol. 9533.
• 47S. Haar, E. Fabre.
  Diagnosis with Petri Net Unfoldings, in: Control of Discrete-Event Systems, Lecture Notes in Control and Information Sciences, Springer, 2013, vol. 433, chap. 15.
• 48J. Halpern, J. Pearl.
  Causes and Explanations: A Structural-Model Approach. Part I: Causes, in: British Journal for the Philosophy of Science, 2005, vol. 56, n^o 4, pp. 843-887.
• 49T. Henzinger, J. Sifakis.
  The Embedded Systems Design Challenge, in: Formal Methods 2006, Lecture Notes in Computer Science, Springer, 2006, vol. 4085.
• 50C. M. Kirsch, A. Sokolova.
  The Logical Execution Time Paradigm, in: Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years), 2012, pp. 103–120.
• 51R. Küsters, T. Truderung, A. Vogt.
  Accountability: definition and relationship to verifiability, in: ACM Conference on Computer and Communications Security, 2010, pp. 526-535.
• 52I. Lanese, C. A. Mezzina, J.-B. Stefani.
  Reversing Higher-Order Pi, in: 21th International Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science, Springer, 2010, vol. 6269.
• 53P. Menzies.
  Counterfactual Theories of Causation, in: Stanford Encyclopedia of Philosophy, E. Zalta (editor), Stanford University, 2009.
  http://plato.stanford.edu/entries/causation-counterfactual
• 54M. Moore.
  Causation and Responsibility, Oxford, 1999.
• 55J. Pearl.
  Causal inference in statistics: An overview, in: Statistics Surveys, 2009, vol. 3, pp. 96-146.
• 56P. Ramadge, W. Wonham.
  Supervisory Control of a Class of Discrete Event Processes, in: SIAM Journal on control and optimization, January 1987, vol. 25, n^o 1, pp. 206–230.
• 57J. Rushby.
  Partitioning for Safety and Security: Requirements, Mechanisms, and Assurance, NASA Langley Research Center, 1999, n^o CR-1999-209347.
• 58J.-B. Stefani.
  Components as Location Graphs, in: 11th International Symposium on Formal Aspects of Component Software, Bertinoro, Italy, Lecture Notes in Computer Science, September 2014, vol. 8997.
  https://hal.inria.fr/hal-01094208
• 59M. Stigge, P. Ekberg, N. Guan, W. Yi.
  The Digraph Real-Time Task Model, in: 17th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2011, Chicago, Illinois, USA, 11-14 April 2011, 2011, pp. 71–80.
  https://doi.org/10.1109/RTAS.2011.15
• 60P. Tabuada.
  Verification and Control of Hybrid Systems - A Symbolic Approach, Springer, 2009.
• 61D. Terry.
  Replicated Data Consistency Explained Through Baseball, Microsoft Research, October 2011, n^o MSR-TR-2011-137.
• 62K. Tindell.
  Using offset information to analyse static priority pre-emptively scheduled task sets, Technical report YCS 182, University of York, Department of Computer Science, 1992.
  https://books.google.fr/books?id=qARQHAAACAAJ
• 63J. Wang, P. S. Roop, A. Girault.
  Energy and timing aware synchronous programming, in: International Conference on Embedded Software, EMSOFT'16, Pittsburgh, United States, ACM, October 2016, 10 p. [ DOI : 10.1145/2968478.2968500 ]
  https://hal.inria.fr/hal-01412100
• 64R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. B. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. P. Puschner, J. Staschulat, P. Stenström.
  The Determination of Worst-Case Execution Times — Overview of the Methods and Survey of Tools, in: ACM Trans. Embedd. Comput. Syst., April 2008, vol. 7, n^o 3.
• 65F. Yao, A. Demers, S. Shenker.
  A scheduling model for reduced CPU energy, in: Proceedings of lEEE Annual Foundations of Computer Science, 1995, pp. 374–382.