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 $π$ -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.

Previous |

Home