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, p. 1–43. -
2S. Djoko Djoko, R. Douence, P. Fradet.
Aspects Preserving Properties, in: Proc. of the ACM SIGPLAN 2008 Symposium on Partial Evaluation and Program Manipulation (PEPM'08), San Francisco, ACM, January 2008, p. 135–145. -
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, no 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, no 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, no 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, 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 -
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, no 4, p. 317–344.
Articles in International Peer-Reviewed Journal
-
10S. Djoko Djoko, R. Douence, P. Fradet.
Aspects Preserving Properties, in: Science of Computer Programming, March 2012, vol. 77, no 3, p. 393-422.
http://www. sciencedirect. com/ science/ article/ pii/ S0167642311001870 -
11G. Gössler.
Component-Based Modeling and Reachability Analysis of Genetic Networks, in: IEEE/ACM Trans. Comput. Biology Bioinform., 2011, vol. 8, no 3, p. 672–682. -
12A. Malik, A. Girault, Z. Salcic.
Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ, in: IEEE Trans. Parallel and Distributed Systems, 2012, to appear. -
13P. Schrammel, B. Jeannet.
Applying Abstract Acceleration to (Co-)Reachability Analysis of Reactive Programs, in: Journal of Symbolic Computation – Special issue on WING2010, 2011, to appear. -
14A. B. Seboui, N. B. Hadj-Alouane, G. Delaval, É. Rutten, M. M. Yeddes.
An approach for the synthesis of decentralised supervisors for distributed adaptive systems, in: International Journal of Critical Computer-Based Systems, 2011, vol. 2, no 3/4, p. 246-265.
International Conferences with Proceedings
-
15S. Aboubekr, G. Delaval, R. Pissard-Gibollet, É. Rutten, D. Simon.
Automatic Generation of Discrete Handlers of Real-Time Continuous Control Tasks, in: Proceedings of the 18th IFAC World Congress, Milano, Italy, August 2011, vol. 18. -
16S. 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. -
17I. 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. -
18B. Bonakdarpour, M. Bozga, G. Gössler.
A Theory of Fault Recovery for Component-Based Models, in: Symposium on Reliable and Distributed Systems, SRDS'11, IEEE, 2011, p. 265–270. -
19T. Bouhadiba, Q. Sabah, G. Delaval, É. Rutten.
Synchronous Control of Reconfiguration in Fractal Component-based Systems: a Case Study, in: Proceedings of the ninth ACM international conference on Embedded software, New York, NY, USA, EMSOFT'11, ACM, 2011, p. 309–318.
http://doi. acm. org/ 10. 1145/ 2038642. 2038690 -
20F. Boyer, G. Delaval, N. de Palma, O. Gruber, É. Rutten.
Case Studies in Discrete Control of Autonomic Computing Systems, in: Proc. of the Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Karlsruhe, Germany, June 2011. -
21J. Cámara, A. Girard, G. Gössler.
Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models, in: CDC-ECC, 2011, to appear. -
22J. Cámara, A. Girard, G. Gössler.
Synthesis of switching controllers using approximately bisimilar multiscale abstractions, in: Hybrid Systems Computation and Control, HSCC'11, M. Caccamo, E. Frazzoli, R. Grosu (editors), ACM, 2011, p. 191–200. -
23P. Fradet, A. Girault, P. Poplavko.
SPDF: A Schedulable Parametric DataFlow MoC, in: Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE'12), March 2012, to appear. -
24G. Gössler, G. Salaün.
Realizability of Choreographies for Services Interacting Asynchronously, in: Formal Aspects of Computer Software, FACS'11, LNCS, Springer, 2012, to appear. -
25B. Jeannet, P. Sotin.
Inferring Effective Types for Static Analysis of C Programs, in: Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'11, Venice (Italy), ENTCS, 2011, to appear. -
26L. Lakhdar-Chaouch, B. Jeannet, A. Girault.
Widening with Thresholds for Programs with Complex Control Graphs, in: Automated Technology for Verification and Analysis, ATVA'11, Taipei (Taiwan), LNCS, 2011, vol. 6996, p. 492–502. -
27A. Malik, A. Girault, Z. Salcic.
A GALS Language for Dynamic Distributed and Reactive Programs, in: International Conference on Application of Concurrency to System Design, ACSD'11, Newcastle, UK, IEEE, June 2011. -
28P. Schrammel, B. Jeannet.
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs, in: Static Analysis Symposium, SAS'11, Venice (Italy), LNCS, 2011, vol. 6887, p. 233–248. -
29P. Sotin, B. Jeannet.
Precise Interprocedural Analysis in the Presence of Pointers to the Stack, in: European Symposium on Programming, ESOP'11, Sarrebrück, LNCS, 2011, vol. 6602, p. 459–479. -
30P. Sotin, B. Jeannet, F. Védrine, É. Goubault.
Policy Iteration within Logico-Numerical Abstract Domains, in: Automated Technology for Verification and Analysis, ATVA'11, LNCS, 2011, vol. 6996, p. 290–305.
National Conferences with Proceeding
-
31G. Delaval, É. Rutten, H. Marchand.
Intégration de la synthèse de contrôleurs discrets dans un langage de programmation, in: Actes du 8ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR 2011), Lille, France, November 2011, p. 125–140.
Internal Reports
-
32P. Fradet, A. Girault, P. Poplavko.
SPDF: A Schedulable Parametric Dataflow Graph Model (extended version), INRIA, December 2011, no 7828. -
33L. Lakhdar-Chaouch, B. Jeannet, A. Girault.
Widening with Thresholds for Programs with Complex Control Graphs, INRIA, July 2011, no RR-7673.
http://hal. inria. fr/ inria-00606961/ en/
Other Publications
-
34P. Fradet, A. Girault, P. Poplavko.
A Statically Analyzable Dataflow Model for Dynamic Streaming, in: 5th Workshop on Mapping of Applications to MPSoCs, 2011, one-page abstract. -
35P. Fradet, A. Girault, P. Poplavko.
A Statically Analyzable Dataflow Model for Dynamic Streaming, in: Platform 2012 Developers' Conference, 2011, one-page abstract. -
36P. Fradet, A. Girault, P. Poplavko, A.-E. Ozcan.
A Dataflow Model for Interactive Data-dependent Streaming Applications, in: Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications, 2011, poster.
- 37Norme Internationale – Automates programmables : Langages de programmation, CEI (Commission Électrotechnique Internationale), 1993.
-
38X. 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. -
39C. Ancourt, F. Coelho, F. Irigoin.
A Modular Static Analysis Approach to Affine Loop Invariants Detection, in: Numerical and Symbolic Abstract Domains, ENTCS, Elsevier, 2010, vol. 267, p. 3–16. -
40S. 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, July 2010. -
41A. Arnold.
Systèmes de transitions finis et sémantique des processus communicants, Masson, 1992. -
42E. 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, no 7, p. 1011–1025. -
43A. 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. -
44R. Bryant.
Graph-based algorithms for boolean function manipulation, in: IEEE Trans. on Computers, 1986, vol. C-35, no 8, p. 677–692. -
45P. Caspi, M. Pouzet.
Synchronous Kahn Networks, in: ACM SIGPLAN International Conference on Functional Programming, ICFP'96, Philadelphia (PA), USA, ACM Press, May 1996. -
46C. Cassandras, S. Lafortune.
Introduction to Discrete Event Systems, Kluwer, 1999. -
47D. 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 -
48E. 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, no 2, p. 244-263, Introduction of Model-checking; impartiality, justice, fairness. -
49D. 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. -
50A. Costan, S. Gaubert, É. Goubault, M. Martel, S. Putot.
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs, in: Computer Aided Verification, CAV'05, LNCS, 2005, vol. 3576, p. 462–475. -
51P. Cousot, R. Cousot.
Abstract Interpretation and Application to Logic Programs, in: Journal of Logic Programming, 1992, vol. 13, no 2–3, p. 103–179. -
52P. 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. -
53P. 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. -
54P. Darondeau, B. Genest, P. Thiagarajan, S. Yang.
Quasi-static scheduling of communicating tasks, in: Inf. Comput., 2010, vol. 208, no 10, p. 1154-1168. -
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, p. 101–110.
ftp://ftp. inrialpes. fr/ pub/ bip/ pub/ girault/ Publications/ Lctes08/ main. pdf -
57G. 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 -
58D. 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. -
59E. Dumitrescu, A. Girault, H. Marchand, É. Rutten.
Multicriteria Optimal Reconfiguration of Fault-Tolerant Real-Time Tasks, in: Workshop on Discrete Event Systems, WODES'10, Berling, Germany, IFAC, New-York, September 2010. -
60A. Dunkels, O. Schmidt, T. Voigt, M. Ali.
Protothreads: Simplifying Event-Driven Programming of Memory-Constrained Embedded Systems, in: Conference on Embedded Networked Sensor Systems, SenSys'06, Boulder (CO), USA, ACM, November 2006. -
61F. 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. -
62K. Ghorbal, É. Goubault, S. Putot.
The Zonotope Abstract Domain Taylor1+, in: Computer Aided Verification, CAV'09, LNCS, 2009, vol. 5643. -
63A. Girard, G. Pappas.
Approximation metrics for discrete and continuous systems, in: IEEE Trans. on Automatic Control, 2007, vol. 52, no 5, p. 782–798. -
64A. Girault.
System-Level Design of Fault-Tolerant Embedded Systems, October 2006, vol. 67. -
65A. 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. -
66A. 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. -
67A. Girault, É. Rutten.
Automating the Addition of Fault Tolerance with Discrete Controller Synthesis, in: Formal Methods in System Design, October 2009, vol. 35, no 2, p. 190–225.
http://www. springerlink. com/ content/ w726262156h4822j -
68L. Gonnord.
Accélération abstraite pour l'amélioration de la précision en Analyse des Relations Linéaires, Université Joseph Fourier, Grenoble, October 2007. -
69L. Gonnord, N. Halbwachs.
Combining widening and acceleration in linear relation analysis, in: Static Analysis Symposium (SAS), Seoul, Korea, Aug 2006, p. 144–160. -
70D. 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 -
71G. Gössler.
Component-based Design of Heterogeneous Reactive Systems in Prometheus , INRIA, 2006, no 6057. -
72G. Gössler, J. Sifakis.
Priority Systems, in: Proc. FMCO'03, F. de Boer, M. Bonsangue, S. Graf, W.-P. de Roever (editors), LNCS, Springer-Verlag, 2004, vol. 3188, p. 314-329. -
73N. Halbwachs.
Synchronous Programming of Reactive Systems, Kluwer, 1993. -
74N. 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. -
75N. Halbwachs, Y. Proy, P. Roumanoff.
Verification of real-time systems using linear relation analysis, in: Formal Methods in System Design, August 1997, vol. 11, no 2. -
76T. Henzinger, P. Ho, H. Wong-Toï.
HyTech: The Next Generation, in: RTSS'95, 1995. -
77C. Hymans, O. Levillain.
Newspeak, Doubleplussimple Minilang for Goodthinkful Static Analysis of C, EADS, 2008.
http://penjili. org -
78B. 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. -
79B. Jeannet.
Dynamic Partitioning in Linear Relation Analysis. Application To The Verification Of Reactive Systems, in: Formal Methods in System Design, July 2003, vol. 23, no 1, p. 5–37. -
80B. 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. -
81E. Komninos.
Power consumption optimization of data-flow applications on many-core systems, KTH, August 2011. -
82L. Lamport.
Time, Clocks, and the Ordering of Events in a Distributed System, in: CACM, 1978, vol. 21, no 7, 558 565 p. -
83J.-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. -
84Y. 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. -
85O. 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. -
86A. Miné.
The Octagon Abstract Domain, in: Higher-Order and Symbolic Computation, 2006, vol. 19.
http://www. di. ens. fr/ ~mine/ publi/ article-mine-HOSC06. pdf -
87J.-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. -
88P. 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, p. 206–230. -
89P. Ramadge, W. Wonham.
The Control of Discrete Event Systems, in: Proceedings of the IEEE, 1989, vol. 77, no 1. -
90P. Schrammel, B. Jeannet.
Extending Abstract Acceleration to Data-Flow Programs with Numerical Inputs, in: ENTCS, 2010, vol. 267, no 1, p. 101–114. -
91P. Schrammel, B. Jeannet.
Extending Abstract Acceleration to Data-Flow Programs with Numerical Inputs, in: ENTCS, 2010, vol. 267, no 1, p. 101–114. -
92P. Tabuada.
Verification and Control of Hybrid Systems - A Symbolic Approach, Springer, 2009. -
93R. 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. -
94R. von Hanxleden.
SyncCharts in C – A Proposal for Light-Weight Deterministic Concurrency, in: International Conference on Embedded Software, EMSOFT'09, Grenoble, France, October 2009.