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.

Previous |

Home