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.
  • 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, no 4, pp. 241–254, Research report Inria 6319.

    http://hal.inria.fr/inria-00177117
  • 5G. Goessler, D. Le Métayer.

    A General Trace-Based Framework of Logical Causality, in: FACS - 10th International Symposium on Formal Aspects of Component Software - 2013, Nanchang, Chine, 2013.

    http://hal.inria.fr/hal-00924048
  • 6G. Goessler, J. Sifakis.

    Composition for Component-based Modeling, in: Science of Computer Programming, 3 2005, vol. 55, no 1–3, pp. 161–183.
  • 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, no 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, no 11, pp. 1390-1433.
Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 10Q. Sabah.

    SIAAM: Isolation dynamique pour une machine abstraite à base d'acteurs, Université de Grenoble, December 2013.

    http://hal.inria.fr/tel-00933072
  • 11G. Smeding.

    Vérification de propriétés faiblement dures des systèmes quasi-synchrones, Université de Grenoble, December 2013.

    http://hal.inria.fr/tel-00925626

Articles in International Peer-Reviewed Journals

  • 12I. Assayad, A. Girault, H. Kalla.

    Tradeoff exploration between reliability, power consumption, and execution time for embedded systems, in: Software Tools for Technology Transfer (STTT), June 2013, vol. 15, no 3, pp. 229-245. [ DOI : 10.1007/s10009-012-0263-9 ]

    http://hal.inria.fr/hal-00923926
  • 13A. Benoit, F. Dufossé, A. Girault, Y. Robert.

    Reliability and performance optimization of pipelined real-time systems, in: Journal of Parallel and Distributed Computing, 2013, vol. 73, no 6, pp. 851-865. [ DOI : 10.1016/j.jpdc.2013.02.009 ]

    http://hal.inria.fr/hal-00926123

International Conferences with Proceedings

  • 14S. Andalam, R. Sinha, P. Roop, A. Girault, J. Reineke.

    Precise timing analysis for direct-mapped caches, in: Design Automaton Conference, DAC, Austin, TX, United States, ACM, June 2013. [ DOI : 10.1145/2463209.2488917 ]

    http://hal.inria.fr/hal-00842368
  • 15V. 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.

    http://hal.inria.fr/hal-00842421
  • 16D. Burlyaev, P. Fradet, A. Girault.

    Verification-guided Voter Minimization in Triple-Modular Redundant Circuits, in: Design, Automation and Test in Europe Conference, DATE'14, Dresden, Germany, November 2013.

    http://hal.inria.fr/hal-00911768
  • 17G. Gössler, D. Le Métayer.

    A General Trace-Based Framework of Logical Causality, in: FACS - 10th International Symposium on Formal Aspects of Component Software - 2013, Nanchang, China, 2013.

    http://hal.inria.fr/hal-00924048
  • 18I. Lanese, M. Lienhardt, C. Mezzina, A. Schmitt, J.-B. Stefani.

    Concurrent Flexible Reversibility, in: 22nd European Symposium on Programming, ESOP 2013, Rome, Italy, M. Felleisen, P. Gardner (editors), Lecture Notes in Computer Science (LNCS), Springer, March 2013, vol. 7792, pp. 370-390. [ DOI : 10.1007/978-3-642-37036-6_21 ]

    http://hal.inria.fr/hal-00811629
  • 19E. 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, Florence, Italy, IEEE, December 2013.

    http://hal.inria.fr/hal-00924815
  • 20S. Mouelhi, A. Girard, G. Goessler.

    CoSyMA: a tool for controller synthesis using multi-scale abstractions, in: HSCC'13 - 16th International Conference on Hybrid systems: computation and control, Philadelphie, United States, ACM, 2013, pp. 83-88. [ DOI : 10.1145/2461328.2461343 ]

    http://hal.inria.fr/hal-00839613
  • 21S. Wang, A. Ayoub, B. Kim, G. Gössler, O. Sokolsky, I. Lee.

    A Causality Analysis Framework for Component-based Real-time Systems, in: RV - 4th International Conference on Runtime Verification - 2013, Rennes, France, A. Legay, S. Bensalem (editors), Springer, 2013, vol. 8174, pp. 285-303.

    http://hal.inria.fr/hal-00919081
  • 22E. 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.

    http://hal.inria.fr/hal-00842402

Conferences without Proceedings

  • 23V. Bebelis, P. Fradet, A. Girault, B. Lavigueur.

    A Framework to Schedule Parametric Dataflow Applications on Many-Core Platforms, in: CPC 2013, 17th Workshop on Compilers for Parallel Computing, Lyon, France, July 2013.

    http://hal.inria.fr/hal-00923670
  • 24V. Bebelis, P. Fradet, A. Girault, B. Lavigueur.

    BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters, in: The Tenth Biennial Ptolemy Miniconference, Berkeley, United States, November 2013.

    http://hal.inria.fr/hal-00923672

Internal Reports

  • 25S. Andalam, R. Sinha, P. S. Roop, A. Girault, J. Reineke.

    Precise Modelling of Instruction Cache Behaviour, Inria, January 2013, no RR-8214, 62 p.

    http://hal.inria.fr/hal-00781566
  • 26V. Bebelis, P. Fradet, A. Girault, B. Lavigueur.

    BPDF: Boolean Parametric Data Flow, Inria, July 2013, no RR-8333, 21 p.

    http://hal.inria.fr/hal-00846645
  • 27Z. E. Bhatti, R. Sinha, P. Roop.

    Unified Functional Safety Assessment of Industrial Automation Systems, Inria, September 2013, no RR-8357.

    http://hal.inria.fr/hal-00858218
  • 28G. Gössler, D. Le Métayer.

    A General Trace-Based Framework of Logical Causality, Inria, October 2013, no RR-8378.

    http://hal.inria.fr/hal-00873665

Other Publications

  • 29V. Bebelis, P. Fradet, A. Girault, B. Lavigueur.

    A Flexible Approach for Scheduling Parametric Data Flow Applications on Sthorm, March 2013, Poster at Workshop on Platform 2012 / STHORM embedded many-core acceleration, DATE 2013.

    http://hal.inria.fr/hal-00923669
  • 30B. Jeannet, P. Schrammel, S. Sankaranarayanan.

    Abstract Acceleration of General Linear Loops, November 2013, Extended version of the POPL'14 paper.

    http://hal.inria.fr/hal-00924264
References in notes
  • 31Automotive Open System Architecture, 2003.

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

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

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

    ARTEMIS Strategic Research Agenda, 2011.
  • 35S. 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.
  • 36S. Andalam, P. Roop, A. Girault.

    Pruning Infeasible Paths for Tight WCRT Analysis of Synchronous Programs, in: Design Automation and Test in Europe Conference, DATE'11, Grenoble, France, April 2011.
  • 37I. Assayad, A. Girault, H. Kalla.

    Tradeoff Exploration between Reliability, Power Consumption, and Execution Time, in: International Conference on Computer Safety, Reliability and Security, SAFECOMP'11, Napoli, Italy, LNCS, Springer-Verlag, September 2011, vol. 6894, pp. 437–451.
  • 38I. Assayad, A. Girault, H. Kalla.

    Scheduling of Real-Time Embedded Systems under Reliability and Power Constraints, in: International Conference on Complex Systems, ICCS'12, Agadir, Morocco, IEEE, November 2012.
  • 39P. 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.
  • 40E. 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.
  • 41A. 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.
  • 42A. 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.
  • 43A. 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.
  • 44A. 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.
  • 45G. Bernat, A. Burns, A. Llamosí.

    Weakly Hard Real-Time Systems, in: IEEE Transactions on Computers, 2001, vol. 50, no 4, pp. 308-321.

    http://doi.ieeecomputersociety.org/10.1109/12.919277
  • 46B. Bonakdarpour, S. S. Kulkarni, F. Abujarad.

    Symbolic synthesis of masking fault-tolerant distributed programs, in: Distributed Computing, 2012, vol. 25, no 1.
  • 47S. Borkar.

    Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation, in: IEEE Micro, 2005, vol. 25, no 6.
  • 48R. 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.
  • 49P. Caspi, M. Pouzet.

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

    Abstractions for fault-tolerant global computing, in: Theor. Comput. Sci., 2004, vol. 322, no 3.
  • 51P. Cousot, R. Cousot.

    Abstract Interpretation and Application to Logic Programs, in: Journal of Logic Programming, 1992, vol. 13, no 2–3, pp. 103–179.
  • 52J. Cámara, A. Girard, G. Goessler.

    Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models, in: CDC-ECC, IEEE, 2011, pp. 520-525.
  • 53R. I. Davis, A. Burns.

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

    A Survey of Linguistic Structures for Application-Level Fault-Tolerance, in: ACM Computing Surveys, 2008, vol. 40, no 2.
  • 55G. Delaval.

    Répartition modulaire de programmes synchrones, INPG, Inria Grenoble Rhône-Alpes, July 2008, PhD thesis.
  • 56G. 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
  • 57S. A. Edwards, E. A. Lee.

    The Case for the Precision Timed (PRET) Machine, in: 44th Design Automation Conference (DAC), IEEE, 2007.
  • 58J. 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.
  • 59J. 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.
  • 60P. 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
  • 61A. Girard, G. Pappas.

    Approximation metrics for discrete and continuous systems, in: IEEE Trans. on Automatic Control, 2007, vol. 52, no 5, pp. 782–798.
  • 62A. Girault.

    System-Level Design of Fault-Tolerant Embedded Systems, October 2006, vol. 67, pp. 25–26.
  • 63A. Girault, H. Kalla, M. Sighireanu, Y. Sorel.

    An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules, in: International Conference on Dependable Systems and Networks, DSN'03, San-Francisco (CA), USA, IEEE, June 2003.
  • 64A. Girault, H. Kalla, Y. Sorel.

    Transient Processor/Bus Fault Tolerance for Embedded Systems, in: IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, Braga, Portugal, Springer, October 2006, pp. 135–144.
  • 65D. 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.
  • 66D. Gopan, T. Reps.

    Guided Static Analysis, in: Static Analysis Symposium, SAS'07, LNCS, August 2007, vol. 4634, pp. 349–365.

    http://dx.doi.org/10.1007/978-3-540-74061-2_22
  • 67F. C. Gärtner.

    Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments, in: ACM Computing Surveys, 1999, vol. 31, no 1.
  • 68S. 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.
  • 69J. 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.
  • 70D. 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.
  • 71T. Henzinger, J. Sifakis.

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

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

    Component-based design for the future, in: Design, Automation and Test in Europe, DATE 2011, IEEE, 2011.
  • 77Y. Lee, A. Zomaya.

    Minimizing Energy Consumption for Precedence-Constrained Applications Using Dynamic Voltage Scaling, in: IEEE/ACM International Symposium on Cluster Computing and the Grid, SCCG'09, 2009.
  • 78P. Menzies.

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

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

    Causation and Responsibility, Oxford, 1999.
  • 80H. Negi, T. Mitra, A. Roychoudhury.

    Accurate Estimation of Cache-Related Preemption Delay, in: International Conference on Hardware-Software Codesign and System Synthesis, CODES+ISSS'03, ACM, 2003, pp. 201–206.
  • 81J. Pearl.

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

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

    System Structure for Software Fault Tolerance, in: IEEE Trans. on Software Engineering, 1975, vol. 1, no 2.
  • 85J. Reineke, D. Grund, C. Berg, R. Wilhelm.

    Timing Predictability of Cache Replacement Policies, in: Real-Time Syst., November 2007, vol. 37, no 2, pp. 99–122.

    http://rw4.cs.uni-saarland.de/~grund/papers/rts07-predictability.pdf
  • 86J. Rushby.

    Partitioning for Safety and Security: Requirements, Mechanisms, and Assurance, NASA Langley Research Center, 1999, no CR-1999-209347.
  • 87P. Tabuada.

    Verification and Control of Hybrid Systems - A Symbolic Approach, Springer, 2009.
  • 88H. Theiling, C. Ferdinand, R. Wilhelm.

    Fast and Precise WCET Prediction by Separate Cache and Path Analyses, in: Real-Time Syst., May 2000, vol. 18, no 2/3, pp. 157–179.
  • 89D. 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.
  • 90R. 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.