Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
S. 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, no 7, pp. 1600–1612.
[2]
A. Bouakaz, P. Fradet, A. Girault.
A Survey of Parametric Dataflow Models of Computation, in: ACM Trans. Design Autom. Electr. Syst., 2017, vol. 22, no 2, pp. 38:1–38:25.
https://doi.org/10.1145/2999539
[3]
S. Djoko Djoko, R. Douence, P. Fradet.
Aspects preserving properties, in: Science of Computer Programming, 2012, vol. 77, no 3, pp. 393-422.
[4]
G. 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
[5]
A. 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, no 6, pp. 1537-1549. [ DOI : 10.1109/TAC.2015.2478131 ]
https://hal.archives-ouvertes.fr/hal-01197426
[6]
G. 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
[7]
I. 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
[8]
S. 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

[9]
A. 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, no 10, pp. 2193-2210. [ DOI : 10.1109/TPDS.2019.2906172 ]
https://hal.inria.fr/hal-02400019
[10]
P. 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
[11]
S. 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
[12]
A. 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

[13]
P. 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
[14]
P. 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
[15]
B. 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
[16]
A. 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
[17]
N. 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
[18]
J.-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

[19]
B. 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
[20]
X. 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
[21]
G. 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
[22]
A. 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

[23]
A. 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, no RR-9196, pp. 1-37.
https://hal.inria.fr/hal-01848087
[24]
F. 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
[25]
B. 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, no RR-9309, 46 p.
https://hal.inria.fr/hal-02391948
[26]
B. 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, no RR-9300, 23 p.
https://hal.inria.fr/hal-02371742
[27]
B. 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, no RR-9301, 38 p.
https://hal.inria.fr/hal-02371996
[28]
G. Gössler, J.-B. Stefani.
Causality Analysis and Fault Ascription in Component-Based Systems, Inria - Research Centre Grenoble – Rhône-Alpes, June 2019, no RR-9279, pp. 1-27.
https://hal.inria.fr/hal-02161534

Other Publications

[29]
S. 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
[30]
Automotive Open System Architecture, 2003.
http://www.autosar.org
[31]
A Library for formally proven schedulability analysis.
http://prosa.mpi-sws.org/
[32]
ARTEMIS Joint Undertaking.
ARTEMIS Strategic Research Agenda, 2011.
[33]
S. 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.
[34]
S. 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
[35]
P. 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.
[36]
E. Bainomugisha, A. Carreton, T. Van Cutsem, S. Mostinckx, W. De Meuter.
A Survey on Reactive Programming, in: ACM Computing Surveys, 2013, vol. 45, no 4.
[37]
N. Bansal, T. Kimbrel, K. Pruhs.
Speed Scaling to Manage Energy and Temperature, in: Journal of the ACM, 2007, vol. 54, no 1.
[38]
A. 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, no 3.
[39]
V. 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.
[40]
A. 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, no 1.
[41]
S. Borkar.
Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation, in: IEEE Micro, 2005, vol. 25, no 6.
[42]
A. 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
[43]
A. 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
[44]
F. Boussinot, R. de simone.
The Esterel Language, in: Proceedings of the IEEE, September 1991, vol. 79, no 9, pp. 1293–1304.
[45]
R. Davis, A. Burns.
A Survey of Hard Real-Time Scheduling for Multiprocessor Systems, in: ACM Computing Surveys, 2011, vol. 43, no 4.
[46]
S. A. Edwards, E. A. Lee.
The Case for the Precision Timed (PRET) Machine, in: 44th Design Automation Conference (DAC), IEEE, 2007.
[47]
J. 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, no 1.
[48]
P. 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
[49]
P. Fradet, A. Girault, P. Polpavko.
SPDF: A schedulable parametric data-flow MoC, in: Design, Automation and Test in Europe, DATE'12, IEEE, 2012.
[50]
A. Girard, G. Pappas.
Approximation metrics for discrete and continuous systems, in: IEEE Trans. on Automatic Control, 2007, vol. 52, no 5, pp. 782–798.
[51]
D. 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.
[52]
C. 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, no 2, pp. 169–192.
[53]
F. C. Gärtner.
Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments, in: ACM Computing Surveys, 1999, vol. 31, no 1.
[54]
S. 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.
[55]
T. Henzinger, J. Sifakis.
The Embedded Systems Design Challenge, in: Formal Methods 2006, Lecture Notes in Computer Science, Springer, 2006, vol. 4085.
[56]
H. Jin, K. Ravi, F. Somenzi.
Fate and free will in error traces, in: STTT, 2004, vol. 6, no 2, pp. 102–116.
http://dx.doi.org/10.1007/s10009-004-0146-9
[57]
R. Küsters, T. Truderung, A. Vogt.
Accountability: definition and relationship to verifiability, in: ACM Conference on Computer and Communications Security, 2010, pp. 526-535.
[58]
I. 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.
[59]
E. 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
[60]
M. Li, F. Yao, H. Yuan.
An O(n2) 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.
[61]
P. Menzies.
Counterfactual Theories of Causation, in: Stanford Encyclopedia of Philosophy, E. Zalta (editor), Stanford University, 2009.
http://plato.stanford.edu/entries/causation-counterfactual
[62]
M. Moore.
Causation and Responsibility, Oxford, 1999.
[63]
J. Pearl.
Causal inference in statistics: An overview, in: Statistics Surveys, 2009, vol. 3, pp. 96-146.
[64]
P. Ramadge, W. Wonham.
Supervisory Control of a Class of Discrete Event Processes, in: SIAM Journal on control and optimization, January 1987, vol. 25, no 1, pp. 206–230.
[65]
J. Rushby.
Partitioning for Safety and Security: Requirements, Mechanisms, and Assurance, NASA Langley Research Center, 1999, no CR-1999-209347.
[66]
J.-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
[67]
P. Tabuada.
Verification and Control of Hybrid Systems - A Symbolic Approach, Springer, 2009.
[68]
K. 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
[69]
R. 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, no 3.
[70]
F. 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.
[71]
E. 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
[72]
E. 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, no RR-8943.
https://hal.inria.fr/hal-01351552