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, p. 1–43.
2S. Djoko Djoko, R. Douence, P. Fradet.

Aspects preserving properties, in: Sci. Comput. Program., 2012, vol. 77, n^o 3, p. 393-422.
3A. 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, p. 241–254, Research report Inria 6319.

http://hal.inria.fr/inria-00177117
4A. Girault, É. Rutten.

Automating the Addition of Fault Tolerance with Discrete Controller Synthesis, in: Formal Methods in System Design, October 2009, vol. 35, n^o 2, p. 190–225.

http://www.springerlink.com/content/w726262156h4822j
5G. Gössler, J. Sifakis.

Composition for Component-based Modeling, in: Science of Computer Programming, 3 2005, vol. 55, n^o 1–3, p. 161–183.
6G. Gössler, D. Le Métayer, J.-B. Raclet.

Causality Analysis in Contract Violation, in: Runtime Verification, LNCS, Springer-Verlag, 2010, p. 270-284.
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
9A. Malik, Z. Salcic, P. Roop, A. Girault.

SystemJ: A GALS Language for System Level Design, in: Elsevier Computer Languages, Systems and Structures, December 2010, vol. 36, n^o 4, p. 317–344.

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 Trans. Computers, 2013, To appear.
11I. 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, 2013, To appear.
12P. 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., 2013, To appear.
13S. Djoko Djoko, R. Douence, P. Fradet.

Aspects preserving properties, in: Sci. Comput. Program., 2012, vol. 77, n^o 3, p. 393-422.
14G. Goessler, D. Xu, A. Girault.

Probabilistic contracts for component-based design, in: Formal Methods in System Design, 2012, vol. 41, n^o 2, p. 211-231. [ DOI : 10.1007/s10703-012-0162-4 ]

http://hal.inria.fr/hal-00747620
15A. Malik, A. Girault, Z. Salcic.

Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ, in: IEEE Trans. Parallel and Distributed Systems, July 2012, vol. 23, n^o 7, p. 1240–1254.
16P. Schrammel, B. Jeannet.

Applying abstract acceleration to (co-)reachability analysis of reactive programs, in: Journal of Symbolic Computation, 2012, vol. 47, n^o 12, p. 1512-1532. [ DOI : 10.1016/j.jsc.2011.12.051 ]

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

International Conferences with Proceedings

17I. 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.
18B. Bonakdarpour, M. Bozga, G. Goessler.

A Theory of Fault Recovery for Component-Based Models, in: Stabilization, Safety, and Security of Distributed Systems, Toronto, Canada, 2012. [ DOI : 10.1109/SRDS.2011.39 ]

http://hal.inria.fr/hal-00747622
19F. Boyer, G. Delaval, N. de Palma, O. Gruber, E. Rutten.

Discrete supervisory control application to computing systems administration, in: Proc. of the 14th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'012, Bucarest, Romania, May 2012.
20P. 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
21B. Jeannet, P. Sotin.

Inferring Effective Types for Static Analysis of C Programs, in: NSAD - Int. Workshop on Numerical and Symbolic Abstract Domains - 2011, Venise, Italy, D. Massé, L. Mauborgne (editors), ENTCS, Elsevier, October 2012, vol. 288, p. 37-47. [ DOI : 10.1016/j.entcs.2012.10.006 ]

http://hal.inria.fr/hal-00763426
22P. Schrammel, B. Jeannet.

From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation, in: Hybrid Systems: Computation and Control, Beijing, China, T. Dang, I. Mitchell (editors), ACM, 2012, p. 167-176. [ DOI : 10.1145/2185632.2185658 ]

http://hal.inria.fr/hal-00749891
23P. Schrammel, P. Subotic.

Logico-Numerical Max-Strategy Iteration, in: Verification, Model Checking, and Abstract Interpretation, Rome, Italy, R. Giacobazzi, J. Berdine, I. Mastroeni (editors), LNCS, Springer, 2013, vol. 7737, p. 414-433.

http://hal.inria.fr/hal-00756833
24G. Smeding, G. Goessler.

A Correlation Preserving Performance Analysis for Stream Processing Systems, in: MEMOCODE, Washington DC, United States, July 2012. [ DOI : 10.1109/MEMCOD.2012.6292295 ]

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

Internal Reports

25G. Gössler, D. Xu, A. Girault.

Probabilistic Contracts for Component-based Design, Inria, July 2012, n^o RR-7328.

http://hal.inria.fr/hal-00715750
26S. Mouelhi, A. Girard, G. Gössler.

CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions, Inria, October 2012, n^o RR-8108.

http://hal.inria.fr/hal-00743982
27P. Schrammel, B. Jeannet.

From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation, Inria, January 2012, n^o RR-7859, 37 p.

http://hal.inria.fr/hal-00659698
28P. Schrammel, B. Jeannet.

Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs, Inria, November 2012, n^o RR-7630, 22 p.

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

References in notes

29Norme Internationale – Automates programmables : Langages de programmation, CEI (Commission Électrotechnique Internationale), 1993.
30X. Allamigeon, S. Gaubert, É. Goubault.

Inferring Min and Max Invariants Using Max-Plus Polyhedra, in: Static Analysis Symposium, SAS'08, LNCS, 2008, vol. 5079, p. 189–204.
31A. Arnold.

Systèmes de transitions finis et sémantique des processus communicants, Masson, 1992.
32E. Asarin, O. Bournez, T. Dang, O. Maler, A. Pnueli.

Effective Synthesis of Switching Controllers for Linear Systems, in: Proceedings of the IEEE, 2000, vol. 88, n^o 7, p. 1011–1025.
33I. 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, p. 437–451.
34A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.

Divide and recycle: types and compilation for a hybrid synchronous language, in: LCTES, ACM, 2011, p. 61-70.
35B. Bonakdarpour, M. Bozga, G. Gössler.

A Theory of Fault Recovery for Component-Based Models, in: SRDS, 2011, p. 265-270.
36X. Briand, B. Jeannet.

Combining control and data abstraction in the verification of hybrid systems, in: Formal Methods and Models for Codesign, MEMOCODE'2009, IEEE, 2009.
37R. Bryant.

Graph-based algorithms for boolean function manipulation, in: IEEE Trans. on Computers, 1986, vol. C-35, n^o 8, p. 677–692.
38P. Caspi, M. Pouzet.

Synchronous Kahn Networks, in: ACM SIGPLAN International Conference on Functional Programming, ICFP'96, Philadelphia (PA), USA, ACM Press, May 1996.
39C. Cassandras, S. Lafortune.

Introduction to Discrete Event Systems, Kluwer, 1999.
40D. Chase, M. Wegman, F. Zadeck.

Analysis of Pointers and Structures, in: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM Press, 1990, p. 296–310.

http://doi.acm.org/10.1145/93542.93585
41E. Clarke, E. Emerson, A. Sistla.

Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, in: ACM Trans. Programming Languages and Systems, 4 1986, vol. 8, n^o 2, p. 244-263, Introduction of Model-checking; impartiality, justice, fairness.
42D. Clarke, T. Jéron, V. Rusu, E. Zinovieva.

STG: a Symbolic Test Generation tool, in: (Tool paper) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), LNCS, 2002, vol. 2280.
43P. Cousot, R. Cousot.

Abstract Interpretation and Application to Logic Programs, in: Journal of Logic Programming, 1992, vol. 13, n^o 2–3, p. 103–179.
44P. Cousot, N. Halbwachs.

Automatic discovery of linear restraints among variables of a program, in: 5th ACM Symposium on Principles of Programming Languages, POPL'78, Tucson (Arizona), January 1978.
45J. Cámara, A. Girard, G. Gössler.

Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models, in: CDC-ECC, IEEE, 2011, p. 520-525.
46P. D'Argenio, B. Jeannet, H. Jensen, K. Larsen.

Reduction and Refinement Strategies for Probabilistic Analysis, in: Process Algebra and Probabilistic Methods - Performance Modelling and Verification, PAPM-PROBMIV'02, Copenhagen (Denmark), LNCS, July 2002, vol. 2399.
47G. Delaval.

Modular Distribution and Application to Discrete Controller Synthesis, in: International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P'08), Budapest, Hungary, April 2008.

http://pop-art.inrialpes.fr/people/delaval/pub/slap08.pdf
48G. Delaval.

Répartition modulaire de programmes synchrones, INPG, Inria Grenoble Rhône-Alpes, July 2008, PhD thesis.
49G. 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, p. 101–110.

ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Lctes08/main.pdf
50G. Delaval, H. Marchand, É. Rutten.

Contracts for Modular Discrete Controller Synthesis, in: ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2010), Stockholm, Sweden, April 2010.

http://pop-art.inrialpes.fr/people/delaval/pub/lctes2010.pdf
51D. Delmas, É. Goubault, S. Putot, J. Souyris, K. Tekkal, F. Védrine.

Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software, in: Formal Methods for Industrial Critical Systems, FMICS'09, LNCS, 2009, vol. 5825.
52F. Gaucher, E. Jahier, B. Jeannet, F. Maraninchi.

Automatic State Reaching for Debugging Reactive Programs, in: 5th Int. Workshop on Automated and Algorithmic Debugging, AADEBUG'03, September 2003.
53K. Ghorbal, É. Goubault, S. Putot.

The Zonotope Abstract Domain Taylor1+, in: Computer Aided Verification, CAV'09, LNCS, 2009, vol. 5643.
54A. Girard, G. Pappas.

Approximation metrics for discrete and continuous systems, in: IEEE Trans. on Automatic Control, 2007, vol. 52, n^o 5, p. 782–798.
55A. Girault.

System-Level Design of Fault-Tolerant Embedded Systems, October 2006, vol. 67, p. 25–26.
56A. 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.
57A. 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, p. 135–144.
58L. Gonnord, N. Halbwachs.

Combining widening and acceleration in linear relation analysis, in: Static Analysis Symposium (SAS), Seoul, Korea, Aug 2006, p. 144–160.
59D. Gopan, T. Reps.

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

http://dx.doi.org/10.1007/978-3-540-74061-2_22
60N. Halbwachs.

Synchronous Programming of Reactive Systems, Kluwer, 1993.
61N. Halbwachs.

Synchronous Programming of Reactive Systems – a Tutorial and Commented Bibliography, in: Proc. of the Int. Conf. on Computer-Aided Verification, CAV'98, Vancouver, Canada, Springer-Verlag, 1998, LNCS Vol. 1427.
62J. 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, p. 843-887.
63T. Henzinger, P. Ho, H. Wong-Toï.

HyTech: The Next Generation, in: RTSS'95, 1995.
64B. Jeannet, P. D'Argenio, K. Larsen.

RAPTURE: A tool for verifying Markov Decision Processes, in: Tools Day, International Conference on Concurrency Theory, CONCUR'02, Brno (Czech Republic), August 2002, Technical Report, Faculty of Informatics at Masaryk University Brno.
65B. Jeannet.

Dynamic Partitioning in Linear Relation Analysis. Application To The Verification Of Reactive Systems, in: Formal Methods in System Design, July 2003, vol. 23, n^o 1, p. 5–37.
66B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva.

Symbolic Test Selection based on Approximate Analysis, in: 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), Edinburgh (UK), LNCS, April 2005, vol. 3440.
67J.-Y. Le Boudec, P. Thiran.

Network Calculus: A Theory of Deterministic Queuing Systems for the Internet, Lecture Notes in Computer Science, Springer, 2001, vol. 2050.
68Y. 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.
69O. Maler, A. Pnueli, J. Sifakis.

On the Synthesis of Discrete Controllers for Timed Systems, in: Proc. of STACS'95, LNCS, Springer Verlag, 1995, vol. 900.
70J.-P. Queille, J. Sifakis.

Specification and Verification of Concurrent Systems in CESAR, in: Proc. International Symposium on Programming, LNCS, Springer-Verlag, 1982, vol. 137, p. 337–351.
71P. 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, p. 206–230.
72P. Ramadge, W. Wonham.

The Control of Discrete Event Systems, in: Proceedings of the IEEE, 1989, vol. 77, n^o 1.
73P. Tabuada.

Verification and Control of Hybrid Systems - A Symbolic Approach, Springer, 2009.

Previous |

Home