Bibliography

Major publications by the team in recent years

1T. Ayav, P. Fradet, A. Girault.

Implementing Fault-Tolerance in Real-Time Programs by Automatic Program Transformations, in: ACM Trans. Embedd. Comput. Syst., July 2008, vol. 7, n^o 4, pp. 1–43.
2E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, J.-B. Stefani.

The Fractal Component Model and its Support in Java, in: Software - Practice and Experience, 2006, vol. 36, n^o 11-12.
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
6A. Girault, H. Kalla.

A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate, in: IEEE Trans. Dependable Secure Comput., December 2009, vol. 6, n^o 4, pp. 241–254, Research report Inria 6319.

http://hal.inria.fr/inria-00177117
7G. 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
8S. Lenglet, A. Schmitt, J.-B. Stefani.

Characterizing Contextual Equivalence in Calculi with Passivation, in: Inf. Comput., 2011, vol. 209, n^o 11, pp. 1390-1433.
9S. 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

10C. Aubert, I. Cristescu.

Contextual equivalences in configuration structures and reversibility, in: Journal of Logical and Algebraic Methods in Programming, 2016.

https://hal.archives-ouvertes.fr/hal-01229408
11A. 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
12A. 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
13A. 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
14I. 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

Invited Conferences

15E. Yip, A. Girault, P. S. Roop, M. Biglari-Abhari.

The ForeC Synchronous Deterministic Parallel Programming Language for Multicores, in: IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC'16, Lyon, France, IEEE, September 2016.

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

International Conferences with Proceedings

16A. Bouakaz, P. Fradet, A. Girault.

Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs, in: RTAS 2016 - 22nd IEEE Real-Time Embedded Technology & Applications Symposium, Vienne, Austria, April 2016. [ DOI : 10.1109/RTAS.2016.7461360 ]

https://hal.inria.fr/hal-01253168
17A. Bouakaz, P. Fradet, A. Girault.

Symbolic computation of the latency for dataflow graphs, in: Integrating Dataflow, Embedded computing and Architecture (IDEA'2016), Vienne, Austria, April 2016.

https://hal.inria.fr/hal-01417111
18Z. A. H. Hammadeh, E. Rolf, S. Quinton, R. Henia, L. Rioux.

Bounding Deadline Misses in Weakly-Hard Real-Time Systems with Task Dependencies, in: Design, Automation and Test in Europe, Lausanne, Switzerland, March 2017.

https://hal.inria.fr/hal-01426632
19S. Holthusen, S. Quinton, I. Schaefer, J. Schlatow, M. Wegner.

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates, in: Workshop on Pre- and Post-Deployment Verification Techniques, Reykjavik, Iceland, June 2016. [ DOI : 10.4204/EPTCS.208.3 ]

https://hal.inria.fr/hal-01426654
20J. 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

Conferences without Proceedings

21R. Henia, A. Girault, C. Prévot, S. Quinton, L. Rioux.

Quantifying the Flexibility of Real-Time Systems, in: 10th Junior Researcher Workshop on Real-Time Computing, Brest, France, October 2016.

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

Scientific Books (or Scientific Book chapters)

22G. Gössler, O. Sokolsky (editors)

Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, EPTCS, August 2016, vol. 224. [ DOI : 10.4204/EPTCS.224 ]

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

Books or Proceedings Editing

23V. Nélis, S. Quinton (editors)

Work-in-Progress and Demo Proceedings - 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), April 2016.

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

Internal Reports

24A. Bouakaz, P. Fradet, A. Girault.

Symbolic Analysis of Dataflow Graphs (Extended Version), Inria - Research Centre Grenoble – Rhône-Alpes, January 2016, n^o 8742.

https://hal.inria.fr/hal-01166360
25D. Burlyaev, P. Fradet, A. Girault.

A static analysis for the minimization of voters in fault-tolerant circuits, Inria - Research Centre Grenoble – Rhône-Alpes, December 2016, n^o RR-9004, pp. 1-27.

https://hal.inria.fr/hal-01417164
26L. Shan, S. Graf, S. Quinton.

RTLib: A Library of Timed Automata for Modeling Real-Time Systems, Grenoble 1 UGA - Université Grenoble Alpe ; Inria Grenoble - Rhone-Alpes, November 2016.

https://hal.archives-ouvertes.fr/hal-01393888
27E. Yip, P. S. Roop, A. Girault, M. Biglari-Abhari.

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

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

References in notes

28Automotive Open System Architecture, 2003.

http://www.autosar.org
29G. Leavens, M. Sitaraman (editors)

Foundations of Component-Based Systems, Cambridge University Press, 2000.
30Z. Liu, H. Jifeng (editors)

Mathematical Frameworks for Component Software - Models for Analysis and Synthesis, World Scientific, 2006.
31ARTEMIS Joint Undertaking.

ARTEMIS Strategic Research Agenda, 2011.
32S. 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.
33I. Assayad, A. Girault, H. Kalla.

Tradeoff Exploration between Reliability, Power Consumption, and Execution Time for Embedded Systems, in: Int. J. Software Tools for Technology Transfer, June 2013, vol. 15, n^o 3, pp. 229–245.
34P. 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.
35E. 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.
36A. 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.
37V. Bebelis, P. Fradet, A. Girault.

A Framework to Schedule Parametric Dataflow Applications on Many-Core Platforms, in: International Conference on Languages, Compilers and Tools for Embedded Systems, LCTES'14, Edinburgh, UK, ACM, June 2014.
38V. 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.
39A. 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.
40A. Benveniste, J. Raclet, B. Caillaud, D. Nickovic, R. Passerone, A. Sangiovanni-Vicentelli, T. Henzinger, K. Larsen.

Contracts for the Design of Embedded Systems Part I: Methodology and Use Cases, in: Proceedings of the IEEE, 2012.
41A. Benveniste, J. Raclet, B. Caillaud, D. Nickovic, R. Passerone, A. Sangiovanni-Vicentelli, T. Henzinger, K. Larsen.

Contracts for the Design of Embedded Systems Part II: Theory, in: Proceedings of the IEEE, 2012.
42B. Bonakdarpour, S. S. Kulkarni, F. Abujarad.

Symbolic synthesis of masking fault-tolerant distributed programs, in: Distributed Computing, 2012, vol. 25, n^o 1.
43S. Borkar.

Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation, in: IEEE Micro, 2005, vol. 25, n^o 6.
44R. Bruni, H. C. Melgratti, U. Montanari.

Theoretical foundations for compensations in flow composition languages, in: 32nd ACM Symposium on Principles of Programming Languages (POPL), ACM, 2005.
45S. Burckhardt, D. Leijen.

Semantics of Concurrent Revisions, in: European Symposium on Programming, ESOP'11, Saarbrucken, Germany, LNCS, Springer, March 2011, n^o 6602, pp. 116–135.
46P. Caspi, M. Pouzet.

Synchronous Kahn Networks, in: ACM SIGPLAN International Conference on Functional Programming, ICFP'96, Philadelphia (PA), USA, ACM, May 1996.
47T. Chothia, D. Duggan.

Abstractions for fault-tolerant global computing, in: Theor. Comput. Sci., 2004, vol. 322, n^o 3.
48R. Davis, A. Burns.

A Survey of Hard Real-Time Scheduling for Multiprocessor Systems, in: ACM Computing Surveys, 2011, vol. 43, n^o 4.
49V. De Florio, C. Blondia.

A Survey of Linguistic Structures for Application-Level Fault-Tolerance, in: ACM Computing Surveys, 2008, vol. 40, n^o 2.
50G. Delaval.

Répartition modulaire de programmes synchrones, INPG, Inria Grenoble Rhône-Alpes, July 2008, PhD thesis.
51G. Delaval, A. Girault, M. Pouzet.

A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs, in: International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES'08, Tucson (AZ), USA, ACM, June 2008, pp. 101–110.

ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Lctes08/main.pdf
52S. A. Edwards, E. A. Lee.

The Case for the Precision Timed (PRET) Machine, in: 44th Design Automation Conference (DAC), IEEE, 2007.
53J. 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.
54J. Field, C. A. Varela.

Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, in: 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ACM, 2005.
55P. Fradet, A. Girault, P. Poplavko.

SPDF: A Schedulable Parametric Data-Flow MoC, in: Design Automation and Test in Europe, DATE'12, Dresden, Germany, 2012.

http://hal.inria.fr/hal-00744376
56A. 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.
57A. Girault, H. Kalla.

A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate, in: IEEE Trans. Dependable Secure Comput., December 2009, vol. 6, n^o 4, pp. 241–254, Research report Inria 6319.

http://www.computer.org/portal/web/csdl/doi/10.1109/TDSC.2008.50
58D. 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.
59F. C. Gärtner.

Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments, in: ACM Computing Surveys, 1999, vol. 31, n^o 1.
60G. 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.
61S. 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.
62Y. Haimes, L. Lasdon, D. Wismer.

On a Bicriterion Formulation of the Problems of Integrated System Identification and System Optimization, in: IEEE Trans. Systems, Man, and Cybernetics, 1971, vol. 1, pp. 296–297.
63J. 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.
64D. Harmanci, V. Gramoli, P. Felber.

Atomic Boxes: Coordinated Exception Handling with Transactional Memory, in: 25th European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science, 2011, vol. 6813.
65T. Henzinger, J. Sifakis.

The Embedded Systems Design Challenge, in: Formal Methods 2006, Lecture Notes in Computer Science, Springer, 2006, vol. 4085.
66I. Hwang, S. Kim, Y. Kim, C. E. Seah.

A Survey of Fault Detection, Isolation and Reconfiguration Methods, in: IEEE Trans. on Control Systems Technology, 2010, vol. 18, n^o 3.
67V. Izosimov, P. Pop, P. Eles, Z. Peng.

Scheduling and Optimization of Fault-Tolerant Embedded Systems with Transparency/Performance Trade-Offs, in: ACM Trans. Embedded Comput. Syst., 2012, vol. 11, n^o 3, 61 p.
68C. 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.
69R. Küsters, T. Truderung, A. Vogt.

Accountability: definition and relationship to verifiability, in: ACM Conference on Computer and Communications Security, 2010, pp. 526-535.
70I. 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.
71E. A. Lee, A. L. Sangiovanni-Vincentelli.

Component-based design for the future, in: Design, Automation and Test in Europe, DATE 2011, IEEE, 2011.
72P. Menzies.

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

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

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

Causal inference in statistics: An overview, in: Statistics Surveys, 2009, vol. 3, pp. 96-146.
75P. 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.
76G. Ramalingam, K. Vaswani.

Fault tolerance via idempotence, in: 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ACM, 2013.
77B. Randell.

System Structure for Software Fault Tolerance, in: IEEE Trans. on Software Engineering, 1975, vol. 1, n^o 2.
78J. Rushby.

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

Verification and Control of Hybrid Systems - A Symbolic Approach, Springer, 2009.
81D. Walker, L. W. Mackey, J. Ligatti, G. A. Reis, D. I. August.

Static typing for a faulty lambda calculus, in: 11th ACM SIGPLAN International Conference on Functional Programming (ICFP), ACM, 2006.
82R. 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.
83E. Yip, P. 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

Previous |

Home