Bibliography

Major publications by the team in recent years

1S. Andalam, P. S. 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

9A. Abdi, A. Girault, H. Zarandi.

ERPOT: A Quad-Criteria Scheduling Heuristic to Optimize Execution Time, Reliability, Power Consumption and Temperature in Multicores, in: IEEE Transactions on Parallel and Distributed Systems, October 2019, vol. 30, n^o 10, pp. 2193-2210. [ DOI : 10.1109/TPDS.2019.2906172 ]

https://hal.inria.fr/hal-02400019
10P. Alliez, R. Di Cosmo, B. Guedj, A. Girault, M.-S. Hacid, A. Legrand, N. P. Rougier.

Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria, in: Computing in Science & Engineering, 2019, pp. 1-14, https://arxiv.org/abs/1905.11123. [ DOI : 10.1109/MCSE.2019.2949413 ]

https://hal.archives-ouvertes.fr/hal-02135891
11S. Cherrared, S. Imadali, E. Fabre, G. Gössler, I. G. B. Yahia.

A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions, in: IEEE Transactions on Network and Service Management, October 2019, pp. 1-15. [ DOI : 10.1109/TNSM.2019.2948420 ]

https://hal.inria.fr/hal-02370378
12A. Girard, G. Gössler.

Safety Synthesis for Incrementally Stable Switched Systems using Discretization-Free Multi-Resolution Abstractions, in: Acta Informatica, 2019. [ DOI : 10.1007/s00236-019-00341-x ]

https://hal.archives-ouvertes.fr/hal-02286661

International Conferences with Proceedings

13P. Fradet, A. Girault, R. Krishnaswamy, X. Nicollin, A. Shafiei.

RDF: Reconfigurable Dataflow, in: DATE 2019 - Design, Automation & Test in Europe Conference & Exhibition, Florence, Italy, March 2019, pp. 1709-1714. [ DOI : 10.23919/DATE.2019.8714987 ]

https://hal.inria.fr/hal-01960788
14P. Fradet, X. Guo, J.-F. Monin, S. Quinton.

CertiCAN: A Tool for the Coq Certification of CAN Analysis Results, in: RTAS 2019 - 25th IEEE Real-Time and Embedded Technology and Applications Symposium, Montreal, Canada, IEEE, April 2019, pp. 1-10. [ DOI : 10.1109/RTAS.2019.00023 ]

https://hal.archives-ouvertes.fr/hal-02119024
15B. Gaujal, A. Girault, S. Plassart.

A Linear Time Algorithm for Computing Off-line Speed Schedules Minimizing Energy Consumption, in: MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Angers, France, November 2019, pp. 1-14.

https://hal.archives-ouvertes.fr/hal-02372136
16A. Girault, N. Hili, É. Jenn, E. Yip.

A Multi-Rate Precision Timed Programming Language for Multi-Cores, in: FDL 2019 - Forum for Specification and Design Languages, Southampton, United Kingdom, IEEE, September 2019, pp. 1-8. [ DOI : 10.1109/FDL.2019.8876950 ]

https://hal.inria.fr/hal-02399998
17N. Hili, A. Girault, É. Jenn.

Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages, in: RTCSA2019 2019 - 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Hangzhou, China, IEEE, August 2019, pp. 1-11. [ DOI : 10.1109/RTCSA.2019.8864570 ]

https://hal.inria.fr/hal-02400009
18J.-B. Stefani, M. Vassor.

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework, in: FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Copenhagen, Denmark, J. A. Pérez, N. Yoshida (editors), Formal Techniques for Distributed Objects, Components, and Systems, Springer International Publishing, 2019, vol. LNCS-11535, pp. 242-260, Part 1: Full Papers. [ DOI : 10.1007/978-3-030-21759-4_14 ]

https://hal.inria.fr/hal-02313751

Conferences without Proceedings

19B. Gaujal, A. Girault, S. Plassart.

A Linear Time Algorithm for Computing Off-line Speed Schedules Minimizing Energy Consumption, in: MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Angers, France, November 2019, pp. 1-14.

https://hal.archives-ouvertes.fr/hal-02432311
20X. Guo, M. Lesourd, M. Liu, L. Rieg, Z. Shao.

Integrating Formal Schedulability Analysis into a Verified OS Kernel, in: Computer Aided Verification, New York, United States, July 2019, pp. 496-514. [ DOI : 10.1007/978-3-030-25543-5_28 ]

https://hal.archives-ouvertes.fr/hal-02289494
21G. Gössler, T. Mari, Y. Pencolé, L. Travé-Massuyès.

Towards Causal Explanations of Property Violations in Discrete Event Systems, in: DX'19 - 30th International Workshop on Principles of Diagnosis, Klagenfurt, Austria, November 2019, pp. 1-8.

https://hal.inria.fr/hal-02369014
22A. N. Sylla, K. Guillouard, F. Klamm, M. Ouzzif, P. Merle, S. Ben Rayana, J.-B. Stefani.

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat, in: CNSM 2019 - 15th International Conference on Network and Service Management, Halifax, Canada, October 2019, pp. 1-5.

https://hal.inria.fr/hal-02375386

Internal Reports

23A. 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 ; 37, March 2019, n^o RR-9196, pp. 1-37.

https://hal.inria.fr/hal-01848087
24F. Berthoud, P. Guitton, L. Lefèvre, S. Quinton, A. Rousseau, J. Sainte-Marie, C. Serrano, J.-B. Stefani, P. Sturm, E. Tannier.

Sciences, Environnements et Sociétés : Rapport long du groupe de travail MakeSEnS d’Inria, Inria, October 2019.

https://hal.inria.fr/hal-02340948
25B. Gaujal, A. Girault, S. Plassart.

A Discrete Time Markov Decision Process for Energy Minimization Under Deadline Constraints, Grenoble Alpes ; Inria Grenoble Rhône-Alpes, Université de Grenoble, December 2019, n^o RR-9309, 46 p.

https://hal.inria.fr/hal-02391948
26B. Gaujal, A. Girault, S. Plassart.

Exploiting Job Variability to Minimize Energy Consumption under Real-Time Constraints, Inria Grenoble Rhône-Alpes, Université de Grenoble ; Université Grenoble - Alpes, November 2019, n^o RR-9300, 23 p.

https://hal.inria.fr/hal-02371742
27B. Gaujal, A. Girault, S. Plassart.

Feasibility of on-line speed policies in real-time systems, Inria Grenoble Rhône-Alpes, Université de Grenoble ; Univ. Grenoble Alpes, November 2019, n^o RR-9301, 38 p.

https://hal.inria.fr/hal-02371996
28G. Gössler, J.-B. Stefani.

Causality Analysis and Fault Ascription in Component-Based Systems, Inria - Research Centre Grenoble – Rhône-Alpes, June 2019, n^o RR-9279, pp. 1-27.

https://hal.inria.fr/hal-02161534

Other Publications

29S. Cherrared, S. Imadali, E. Fabre, G. Gössler.

SAKURA a Model Based Root Cause Analysis Framework for vIMS, ACM Press, June 2019, pp. 594-595, MobiSys 2019 - 17th ACM International Conference on Mobile Systems, Applications, and Services, Poster.

https://hal.inria.fr/hal-02291163

References in notes

30Automotive Open System Architecture, 2003.

http://www.autosar.org
31A Library for formally proven schedulability analysis.

http://prosa.mpi-sws.org/
32ARTEMIS Joint Undertaking.

ARTEMIS Strategic Research Agenda, 2011.
33S. Andalam, P. S. 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.
34S. Andalam, P. S. Roop, A. Girault, C. Traulsen.

A Predictable Framework for Safety-Critical Embedded Systems, in: IEEE Transactions on Computers, July 2014, 13 p.

https://hal.inria.fr/hal-01095468
35P. 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.
36E. 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.
37N. Bansal, T. Kimbrel, K. Pruhs.

Speed Scaling to Manage Energy and Temperature, in: Journal of the ACM, 2007, vol. 54, n^o 1.
38A. 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.
39V. 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.
40A. 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.
41S. Borkar.

Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation, in: IEEE Micro, 2005, vol. 25, n^o 6.
42A. 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
43A. 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
44F. Boussinot, R. de simone.

The Esterel Language, in: Proceedings of the IEEE, September 1991, vol. 79, n^o 9, pp. 1293–1304.
45R. Davis, A. Burns.

A Survey of Hard Real-Time Scheduling for Multiprocessor Systems, in: ACM Computing Surveys, 2011, vol. 43, n^o 4.
46S. A. Edwards, E. A. Lee.

The Case for the Precision Timed (PRET) Machine, in: 44th Design Automation Conference (DAC), IEEE, 2007.
47J. 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.
48P. 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
49P. Fradet, A. Girault, P. Polpavko.

SPDF: A schedulable parametric data-flow MoC, in: Design, Automation and Test in Europe, DATE'12, IEEE, 2012.
50A. 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.
51D. 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.
52C. Glymour, D. Danks, B. Glymour, F. Eberhardt, J. Ramsey, R. Scheines, P. Spirtes, C. M. Teng, J. Zhang.

Actual causation: a stone soup essay, in: Synthese, 2010, vol. 175, n^o 2, pp. 169–192.
53F. C. Gärtner.

Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments, in: ACM Computing Surveys, 1999, vol. 31, n^o 1.
54S. 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.
55T. Henzinger, J. Sifakis.

The Embedded Systems Design Challenge, in: Formal Methods 2006, Lecture Notes in Computer Science, Springer, 2006, vol. 4085.
56H. Jin, K. Ravi, F. Somenzi.

Fate and free will in error traces, in: STTT, 2004, vol. 6, n^o 2, pp. 102–116.

http://dx.doi.org/10.1007/s10009-004-0146-9
57R. Küsters, T. Truderung, A. Vogt.

Accountability: definition and relationship to verifiability, in: ACM Conference on Computer and Communications Security, 2010, pp. 526-535.
58I. 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.
59E. Le Corronc, A. Girard, G. Gössler.

Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems, in: CDC - 52nd Conference on Decision and Control - 2013, IEEE, December 2013, pp. 3225-3230.

http://hal.inria.fr/hal-00924815
60M. Li, F. Yao, H. Yuan.

An $O (n^{2})$ Algorithm for Computing Optimal Continuous Voltage Schedules, in: Annual Conference on Theory and Applications of Models of Computation, TAMC'17, Bern, Switzerland, LNCS, April 2017, vol. 10185, pp. 389–400.
61P. Menzies.

Counterfactual Theories of Causation, in: Stanford Encyclopedia of Philosophy, E. Zalta (editor), Stanford University, 2009.

http://plato.stanford.edu/entries/causation-counterfactual
62M. Moore.

Causation and Responsibility, Oxford, 1999.
63J. Pearl.

Causal inference in statistics: An overview, in: Statistics Surveys, 2009, vol. 3, pp. 96-146.
64P. 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.
65J. Rushby.

Partitioning for Safety and Security: Requirements, Mechanisms, and Assurance, NASA Langley Research Center, 1999, n^o CR-1999-209347.
66J.-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
67P. Tabuada.

Verification and Control of Hybrid Systems - A Symbolic Approach, Springer, 2009.
68K. 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
69R. 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.
70F. 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.
71E. Yip, P. S. Roop, M. Biglari-Abhari, A. Girault.

Programming and Timing Analysis of Parallel Programs on Multicores, in: International Conference on Application of Concurrency to System Design, ACSD'13, Barcelona, Spain, IEEE, July 2013, pp. 167–176.

https://hal.inria.fr/hal-00842402
72E. Yip, P. S. Roop, A. Girault, M. Biglari-Abhari.

Synchronous Deterministic Parallel Programming for Multicores with ForeC, Inria - Research Centre Grenoble – Rhône-Alpes, August 2016, n^o RR-8943.

https://hal.inria.fr/hal-01351552

Previous |

Home