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, 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, n^o 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, 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

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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 1.
• 47S. Borkar.
  Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation, in: IEEE Micro, 2005, vol. 25, n^o 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, n^o 3.
• 51P. Cousot, R. Cousot.
  Abstract Interpretation and Application to Logic Programs, in: Journal of Logic Programming, 1992, vol. 13, n^o 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, n^o 4.
• 54V. De Florio, C. Blondia.
  A Survey of Linguistic Structures for Application-Level Fault-Tolerance, in: ACM Computing Surveys, 2008, vol. 40, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 2.
• 85J. Reineke, D. Grund, C. Berg, R. Wilhelm.
  Timing Predictability of Cache Replacement Policies, in: Real-Time Syst., November 2007, vol. 37, n^o 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, n^o 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, n^o 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, n^o 3.