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.
4A. 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
5G. Goessler, J. Sifakis.

Composition for Component-based Modeling, in: Science of Computer Programming, 3 2005, vol. 55, n^o 1–3, pp. 161–183.
6G. Gössler, L. Astefanoaei.

Blaming in component-based real-time systems, in: Proceedings of the 14th International Conference on Embedded Software - EMSOFT'14, Delhi, India, ACM, October 2014. [ DOI : 10.1145/2656045.2656048 ]

https://hal.inria.fr/hal-01078214
7B. Jeannet, A. Loginov, T. Reps, M. Sagiv.

A Relational Approach to Interprocedural Shape Analysis, in: ACM Trans. on Programming Languages and Systems, 2010, vol. 32, n^o 2.

http://doi.acm.org/10.1145/1667048.1667050
8T. Le Gall, B. Jeannet.

Lattice Automata: A Representation of Languages over an Infinite Alphabet, and some Applications to Verification, in: Static Analysis Symposium, SAS'07, Copenhagen (Denmark), LNCS, August 2007, vol. 4634.

http://pop-art.inrialpes.fr/people/bjeannet/publications/sas07.ps
9S. 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.

Publications of the year

Articles in International Peer-Reviewed Journals

10S. Andalam, P. 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
11P. Axer, R. Ernst, H. Falk, A. Girault, D. Grund, N. Guan, B. Jonsson, P. Marwedel, J. Reineke, C. Rochange, M. Sebastian, R. von Hanxleden, R. Wilhelm, W. Yi.

Building Timing Predictable Embedded Systems, in: ACM Transactions in Embedded Computing Systems, February 2014, vol. 13, n^o 4, 38 p.

https://hal.inria.fr/hal-01095461
12G. Gössler, D. Le Métayer, E. Mazza, M.-L. Potet, L. Astefanoaei.

Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel, in: Technique et Science Informatiques (TSI), 2014, pp. 63-84. [ DOI : 10.3166/tsi.33.63-84 ]

https://hal.inria.fr/hal-01078220
13R. Sinha, A. Girault, G. Gössler, P. Roop.

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design, in: ACM Transactions on Design Automation of Electronic Systems (TODAES), 2014, vol. 20, 30 p. [ DOI : 10.1145/2663344 ]

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

Invited Conferences

14S. Quinton, J. Hennig, T. Bone, M. Neukirchner, R. Ernst, M. Negrean.

Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design, in: The 51st Annual Design Automation Conference 2014, San Francisco, CA, United States, June 2014. [ DOI : 10.1145/2593069.2602977 ]

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

International Conferences with Proceedings

16V. Bebelis, P. Fradet, A. Girault.

A framework to schedule parametric dataflow applications on many-core platforms, in: Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, Compilers and Tools for Embedded Systems- LCTES, Edinburgh, United Kingdom, June 2014. [ DOI : 10.1145/2666357.2597819 ]

https://hal.inria.fr/hal-01095767
17D. Burlyaev, P. Fradet, A. Girault.

Verification-guided Voter Minimization in Triple-Modular Redundant Circuits, in: DATE - Design, Automation and Test in Europe Conference, Dresden, Germany, March 2014.

https://hal.inria.fr/hal-00911768
18D. Burlyaev, P. Fradet, A. Girault.

Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits, in: FPGA'15 - 23rd ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Monterey, United States, February 2015, forthcoming. [ DOI : 10.1145/2684746.2689058 ]

https://hal.inria.fr/hal-01095747
19G. 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
20G. Gössler, L. Astefanoaei.

Blaming in component-based real-time systems, in: Proceedings of the 14th International Conference on Embedded Software - EMSOFT'14, Delhi, India, ACM, October 2014. [ DOI : 10.1145/2656045.2656048 ]

https://hal.inria.fr/hal-01078214
21Z. A. H. Hammadeh, S. Quinton, R. Ernst.

Extending typical worst-case analysis using response-time dependencies to bound deadline misses, in: 14th International Conference on Embedded Software 2014 (EMSOFT), New Delhi, India, October 2014. [ DOI : 10.1145/2656045.2656059 ]

https://hal.inria.fr/hal-01097621
22W.-T. Sun, A. Girault, Z. Salcic, A. Malik.

libDGALS: A Library-based Approach to Design Dynamic GALS Systems, in: 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014), Pisa, Italy, June 2014.

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

Patents

23D. Burlyaev, P. Fradet, A. Girault.

Procédé de fabrication automatisée d'un circuit électronique adapté pour détecter ou masquer des fautes par redondance temporelle, programme d'ordinateur et circuit électronique associés, June 2014, n^o 1456080.

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

Other Publications

24I. Lanese, C. A. Mezzina, J.-B. Stefani.

Reversibility in the higher-order π-calculus, June 2014.

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

References in notes

25Automotive Open System Architecture, 2003.

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

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

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

ARTEMIS Strategic Research Agenda, 2011.
29E. 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.
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.
31A. 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.
32A. 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.
33A. 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.
34B. Bonakdarpour, S. S. Kulkarni, F. Abujarad.

Symbolic synthesis of masking fault-tolerant distributed programs, in: Distributed Computing, 2012, vol. 25, n^o 1.
35M. Boreale, D. Sangiorgi.

A Fully Abstract Semantics for Causality in the $π$ -Calculus, in: Acta Informatica, 1998, vol. 35, n^o 5.
36S. Borkar.

Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation, in: IEEE Micro, 2005, vol. 25, n^o 6.
37R. 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.
38S. 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.
39T. Chothia, D. Duggan.

Abstractions for fault-tolerant global computing, in: Theor. Comput. Sci., 2004, vol. 322, n^o 3.
40Coq development team.

The Coq proof assistant, 1989-2014.

http://coq.inria.fr/
41R. I. Davis, A. Burns.

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

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

Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler, in: Discrete Event Dynamic System, December 2013, vol. 23, n^o 4, pp. 1–34.
44J. 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.
45G. L. Ferrari, D. Hirsch, I. Lanese, U. Montanari, E. Tuosto.

Synchronised Hyperedge Replacement as a Model for Service Oriented Computing, in: FMCO 2005, Lecture Notes in Computer Science, Springer, 2005, vol. 4111.
46J. 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.
47P. 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
48D. 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.
49F. C. Gärtner.

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

The Embedded Systems Design Challenge, in: Formal Methods 2006, Lecture Notes in Computer Science, Springer, 2006, vol. 4085.
54I. 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.
55V. 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.
56R. Küsters, T. Truderung, A. Vogt.

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

Component-based design for the future, in: Design, Automation and Test in Europe, DATE 2011, IEEE, 2011.
59H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic.

Synthesis of Discrete-Event Controllers based on the Signal Environment, in: Discrete Event Dynamical System: Theory and Applications, October 2000, vol. 10, n^o 4, pp. 325–346.
60P. Menzies.

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

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

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

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

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

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

Partitioning for Safety and Security: Requirements, Mechanisms, and Assurance, NASA Langley Research Center, 1999, n^o CR-1999-209347.
67Q. Sabah.

SIAAM:Simple Isolation for an Actor Abstract Machine, Université de Grenoble, December 2013.
68M. Sheeran.

muFP, A Language for VLSI Design, in: LISP and Functional Programming, 1984, pp. 104–112.
69D. 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.

Previous |

Home