EN FR
EN FR


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, no 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, no 11-12.
  • 3S. Djoko Djoko, R. Douence, P. Fradet.

    Aspects preserving properties, in: Science of Computer Programming, 2012, vol. 77, no 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, no 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, no 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, no 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, no 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, no 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, no 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, no 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, no 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, no 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, no 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, no 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, no 1.
  • 43S. Borkar.

    Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation, in: IEEE Micro, 2005, vol. 25, no 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, no 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, no 3.
  • 48R. Davis, A. Burns.

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

    A Survey of Linguistic Structures for Application-Level Fault-Tolerance, in: ACM Computing Surveys, 2008, vol. 40, no 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, no 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, no 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, no 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, no 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, no 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, no 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, no 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, no 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, no 2.
  • 78J. Rushby.

    Partitioning for Safety and Security: Requirements, Mechanisms, and Assurance, NASA Langley Research Center, 1999, no 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, no 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