Verimag

by years

2015

Conference Articles

  1. Self-Stabilizing L-Exclusion Revisited. Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore - ICDCN'2015, 16th International Conference on Distributed Computing and Networking - [bibtex]

2014

Journal Articles

  1. Comparison of Mean Hitting Times for a Degree-Biased Random Walk. Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade - Discrete Applied Mathematics - [bibtex]
  2. Compte-rendu d'habilitation : Modélisation à haut niveau d'abstraction pour les systèmes embarqués. Matthieu Moy - Technique et Science Informatiques - [bibtex]
  3. Weak vs. Self vs. Probabilistic Stabilization. Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita - International Journal of Foundations of Computer Science - [bibtex]

Book Chapters

  1. Estimation de temps d'exécution et délais. Claire Maiza, Christine Rochange, Pascal Raymond - Ordonnancement dans les systèmes temps réel - [bibtex]
  2. Estimation of Execution Time and Delays. Claire Maiza, Christine Rochange, Pascal Raymond - Real-time Systems Scheduling 1 - [bibtex]

Conference Articles

  1. On Probabilistic Snap-Stabilization. Karine Altisen, Stéphane Devismes - ICDCN'2014, 15th International Conference on Distributed Computing and Networking - [bibtex]
  2. Environment-Model Based Testing of Control Systems: Case Studies. Erwan Jahier, Simplice Djoko-Djoko, Chaouki Maiza, Eric Lafont - International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014), Held as Part of ETAPS 2014. - [bibtex]
  3. Stabilisation Instantanée Probabiliste. Karine Altisen, Stéphane Devismes - 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) - [bibtex]
  4. Modular and lightweight certification of polyhedral abstract domains. Alexis Fouilhé, Sylvain Boulmé, Michaël Périn - Types for Proofs and Programs (TYPES 2014) -- Book of Abstracts - [bibtex]
  5. A certifying frontend for (sub)polyhedral abstract domains. Alexis Fouilhé, Sylvain Boulmé - Verified Software: Theories, Tools and Experiments (VSTTE 2014) - [bibtex]
  6. Schedulability and modular analysis: how to fit timing model? Hugues Cass'e, Claire Maiza, Catherine and Parent-Vigouroux, Pascal Raymond - OPRTC - PDF - [bibtex]
  7. Timing analysis enhancement for synchronous program. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae - Workshop on Reconciling Performance and Predictability (REPP) - PDF - [bibtex]
  8. Selfish-LRU: Preemption-Aware Caching for Predictability and Performance. Jan Reineke, Sebastian Altmeyer, Daniel Grund, Sebastian Hahn, Claire Maiza - Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS'14) - PDF - [bibtex]
  9. How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics. Julien Henry, Mihail Asavoae, David Monniaux, Claire Maiza - SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, LCTES '14 - [bibtex]
  10. The WCET Analysis using Counters - A Preliminary Assessment. Remy Boutonnet, Mihail Asavoae - In Proceedings of 8th JRWRTC, in conjunction with RTNS14 - [bibtex]
  11. Self-Stabilizing Leader Election in Polynomial Steps. Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit - SSS'2014, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems - [bibtex]
  12. A General Approach for Expressing Infeasibility in Implicit Path Enumeration Technique. Pascal Raymond - International Conference on Embedded Software (EMSOFT 2014) - PDF - [bibtex]

PhD Thesis and HDR

  1. High-level Models for Embedded Systems. Matthieu Moy - Habilitation à Diriger des Recherches (HDR) - [bibtex]

2013

Journal Articles

  1. Self-Stabilizing Small k-Dominating Sets. Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, Karel Heurtefeux, Yvan Rivierre - IJNC, International Journal of Networking and Computing - [bibtex]
  2. Optimal Probabilistic Ring Exploration by Semi-Synchronous Oblivious Robots. Stéphane Devismes, Franck Petit, Sébastien Tixeuil - Theoretical Computer Science (TCS) - [bibtex]
  3. Specification and Validation of Embedded Systems: A Case Study of a Fault-Tolerant Data Acquisition System with Lustre Programming environment. Florence Maraninchi, Nicolas Halbwachs, Pascal Raymond, Catherine Parent, R. K. Shyamasundar - CSI Journal of Computing - [bibtex]
  4. Self-Stabilizing Labeling and Ranking in Ordered Trees. Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, Yvan Rivierre - Theoretical Computer Science (Special Issue SSS 2011) - [bibtex]

Conference Articles

  1. Parallel Programming with SystemC for Loosely Timed Models: A Non-Intrusive Approach. Matthieu Moy - The Design, Automation, and Test in Europe (DATE) - [bibtex]
  2. System-Level Modeling of Energy in TLM for Early Validation of Power and Thermal Management. Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi - Design Automation and Test Europe (DATE) - [bibtex]
  3. Fast and Accurate TLM Simulations using Temporal Decoupling for FIFO-based Communications. Claude Helmstetter, Jérôme Cornet, Bruno Galilée, Matthieu Moy, Pascal VIVET - Design, Automation and Test in Europe (DATE) - [bibtex]
  4. Co-Simulation of Functional SystemC TLM Models with Power/Thermal Solvers. Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi, Jérôme Cornet, Laurent Maillet-Contoz, Ilija Materic - Virtual Prototyping of Parallel and Embedded Systems (VIPES) - [bibtex]
  5. Explorer une grille avec un minimum de robots amnésiques. Franck Petit, Anissa Lamani, Stéphane Devismes, Sébastien Tixeuil, Pascal Raymond - 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) - [bibtex]
  6. Engineering Functional Requirements of Reactive Systems using Synchronous Languages. Erwan Jahier, Nicolas Halbwachs, Pascal Raymond - International Symposium on Industrial Embedded Systems, 2013. SIES'13. - [bibtex]
  7. Integrating cache related pre-emption delay analysis into EDF scheduling. Will Lunniss, Sebastian Altmeyer, Claire Maiza, Robert I. Davis - 19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Philadelphia, PA, USA, April 9-11, 2013 - [bibtex]
  8. Analysis of Probabilistic Cache Related Pre-emption Delays. Rob Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza, Liliana Cucu-Grosjean - 25th Euromicro Conference on Real-Time Systems (ECRTS 2013) - [bibtex]
  9. SR3: Secure Resilient Reputation-based Routing. Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade - The annual IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 2013) - [bibtex]
  10. Implementing hash-consed data structures in Coq. Thomas Braibant, Jacques-Henri Jourdan, David Monniaux - Interactive theorem proving (ITP) - [bibtex]
  11. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra. Alexis Fouilhé, David Monniaux, Michaël Périn - Static analysis (SAS) - [bibtex]
  12. Self-Stabilizing (f,g)-Alliances with Safe Convergence. Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre - SSS'2013, 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems - [bibtex]
  13. Self-stabilizing Silent Disjunction in an Anonymous Network. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore - ICDCN: 14th International Conference on Distributed Computing and Networking - [bibtex]
  14. Fast Leader (Full) Recovery despite Dynamic Faults. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Sébastien Tixeuil - ICDCN: 14th International Conference on Distributed Computing and Networking - [bibtex]
  15. Routage sécurisé et résilient pour réseaux de capteurs sans fil. Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade - 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) - [bibtex]
  16. Algorithme autostabilisant avec convergence sûre construisant une $(f,g)$-alliance. Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre - Algotel : 15èmes Rencontres Francophones pour les Aspects Algorithmiques des Télécommunications - [bibtex]
  17. Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. Mihail Asavoae, Claire Maiza, Pascal Raymond - 13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France - PDF - [bibtex]
  18. Timing analysis enhancement for synchronous program. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier - RTNS - PDF - [bibtex]

PhD Thesis and HDR

  1. Self-Stabilizing Algorithms for Constructing Distributed Spanning Structures. Yvan Rivierre - [bibtex]
  2. Analyse statique de programmes manipulant des tableaux. Valentin Perrelle - Thesis - [bibtex]

2012

Journal Articles

  1. Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems. Nicolas Berthier, Florence Maraninchi, Laurent Mounier - ACM Transactions on Embedded Computing Systems (TECS) - [bibtex]
  2. Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs. Thomas Gawlitza, David Monniaux - Logical Methods in Computer Science - [bibtex]
  3. Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. Sebastian Altmeyer, Robert I. Davis, Claire Maiza - Real-Time Systems - [bibtex]
  4. Introduction à la calculabilité. David Monniaux - Quadrature - [bibtex]
  5. Algorithme autostabilisant construisant un petit ensemble k-dominant. Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre - Technique et Science Informatiques - [bibtex]

Conference Articles

  1. Is RSSI a good choice for localization in Wireless Sensor Network? Karel Heurtefeux, Fabrice Valois - IEEE International Conference on Advanced Information Networking and Applications - [bibtex]
  2. Un dispositif pour alerter les étudiants sur leur maîtrise des pré-requis nécessaires pour réussir leur entrée à l'université. Julien Douady, Christian Hoffmann, Fabienne Carrier, Benoit Chabaud, Arnaud Mantoux, Yves Markowicz, Michaël Périn, Virginie Stoppin-Mellet, Gabrielle Tichtinsky, Bernard Ycart, Hubert Borderiou - Congrès de l'Association Internationale de Pédagogie Universitaire - [bibtex]
  3. Experiments on the feasibility of using a floating-point simplex in an SMT solver. Diego Caminha Barbosa de Oliveira, David Monniaux - Workshop on Practical Aspects of Automated Reasoning (PAAR) - [bibtex]
  4. Anatomy of Alternating Quantifier Satisfiability (Work in progress). Anh-Dung Phan, Nikolaj Bj\orner, David Monniaux - 10th International Workshop on Satisfiability Modulo Theories (SMT) - [bibtex]
  5. Algorithme de k-partitionnement auto-stabilisant et compétitif. Kumar Ajoy Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre - 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) - [bibtex]
  6. Co-Simulation of a SystemC TLM Virtual Platform with a Power Simulator at the Architectural Level: Case of a Set-Top Box. Jérôme Cornet, Laurent Maillet-Contoz, Ilija Materic, Sylvian Kaiser, Hela Boussetta, Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi - Design Automation Conference - [bibtex]
  7. PAGAI: a path sensitive static analyzer. Julien Henry, David Monniaux, Matthieu Moy - Tools for Automatic Program Analysis (TAPAS) - [bibtex]
  8. Analysis of Random Walks using Tabu Lists. Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade - 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'2012) - PDF - [bibtex]
  9. Optimal Grid Exploration by Asynchronous Oblivious Robots. Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil - 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS - [bibtex]
  10. Competitive Self-Stabilizing k-Clustering. Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre - ICDCS - [bibtex]
  11. Succinct Representations for Abstract Interpretation. Julien Henry, David Monniaux, Matthieu Moy - Static analysis (SAS) - [bibtex]
  12. When the decreasing sequence fails. Nicolas Halbwachs, Julien Henry - 19th International Static Analysis Symposium, SAS'12 - PDF - [bibtex]
  13. Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore - Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings - [bibtex]
  14. On efficiency of unison. Stéphane Devismes, Franck Petit - 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems, TADDS - [bibtex]
  15. Investigation of Scratchpad Memory for Preemptive Multitasking. Jack Whitham, Robert I. Davis, Neil C. Audsley, Sebastian Altmeyer, Claire Maiza - RTSS - [bibtex]

PhD Thesis and HDR

  1. Programmation synchrone de pilotes de périphériques pour un contrôle global de ressources dans les systèmes embarqués. Nicolas Berthier - [bibtex]

2011

Journal Articles

  1. Self-Stabilizing k-out-of-l exclusion on tree networks. Ajoy Kumar Datta, Stéphane Devismes, Florian Horn, Lawrence L. Larmore - International Journal of Foundations of Computer Science - [bibtex]
  2. Asymptotically Optimal Deterministic Rendezvous. Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre - International Journal of Foundations of Computer Science (IJFCS) - [bibtex]
  3. Autour de l'Auto-stabilisation. Partie I : Techniques généralisant l'approche. Stéphane Devismes, Franck Petit, Vincent Villain - Technique et science informatiques (TSI) - [bibtex]
  4. Autour de l'Auto-Stabilisation. Partie II : Techniques spécialisant l'approche. Stéphane Devismes, Franck Petit, Vincent Villain - Technique et science informatiques (TSI) - [bibtex]

Conference Articles

  1. Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems. Nicolas Berthier, Florence Maraninchi, Laurent Mounier - ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES) - [bibtex]
  2. Improving Strategies via SMT Solving. Thomas Gawlitza, David Monniaux - ESOP - PDF - [bibtex]
  3. Faithfulness Considerations for Virtual Prototyping of Systems-on-Chip. Giovanni Funchal, Matthieu Moy, Laurent Maillet-Contoz, Florence Maraninchi - 3rd Workshop on: Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO) - PDF - [bibtex]
  4. jTLM: an Experimentation Framework for the Simulation of Transaction-Level Models of Systems-on-Chip. Giovanni Funchal, Matthieu Moy - Design, Automation and Test in Europe (DATE) - PDF - [bibtex]
  5. Efficient and Playful Tools to Teach Unix to New Students. Matthieu Moy - 16th Annual Conference on Innovation and Technology in Computer Science Education ITiCSE - [bibtex]
  6. Modeling of Time in Discrete-Event Simulation of Systems-on-Chip. Giovanni Funchal, Matthieu Moy - ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign MEMOCODE - [bibtex]
  7. AreaCast : une communication par zone dans les réseaux de capteurs sans fil. Karel Heurtefeux, Florence Maraninchi, Fabrice Valois - 13 èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel) - PDF - [bibtex]
  8. Using bounded model checking to focus fixpoint iterations. David Monniaux, Laure Gonnord - Static analysis (SAS) - PDF - [bibtex]
  9. AreaCast: a Cross-Layer Approach for a Communication by Area in Wireless Sensor Networks. Karel Heurtefeux, Florence Maraninchi, Fabrice Valois - 17th IEEE International Conference on networks - [bibtex]
  10. Cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. Sebastian Altmeyer, Robert I. Davis, Claire Maiza - Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS) - [bibtex]
  11. A framework for the timing analysis of dynamic branch predictors. Claire Maiza, Christine Rochange - Proceedings of the 19th International Conference on Real-Time and Network Systems (RTNS2011) - PDF - [bibtex]
  12. Stratified Static Analysis Based on Variable Dependencies. David Monniaux, Julien Le Guen - Third International Workshop on Numerical and Symbolic Abstract Domains - PDF - [bibtex]
  13. Modular Abstractions of Reactive Nodes using Disjunctive Invariants. David Monniaux, Martin Bodin - Programming Languages and Systems (APLAS) - PDF - [bibtex]
  14. On the Generation of Positivstellensatz Witnesses in Degenerate Cases. David Monniaux, Pierre Corbineau - Interactive Theorem Proving (ITP) - PDF - [bibtex]
  15. Causality closure for a new class of curves in real-time calculus. Karine Altisen, Matthieu Moy - Proceedings of the 1st International Workshop on Worst-Case Traversal Time - [bibtex]
  16. Self-Stabilizing Small k-Dominating Sets. Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre - The Second International Conference on Networking and Computing (ICNC'11) - [bibtex]
  17. Sorting on Skip Chains. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore - Proceedings of PDAA'2011, 3rd International Workshop on Parallel and Distributed Algorithms and Applications - [bibtex]
  18. Multi-resource Allocation with Unknown Participants.. Ajoy Kumar Datta, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, François Kawala, Lawrence L. Larmore - PDAA'2011, 3rd International Workshop on Parallel and Distributed Algorithms and Applications - [bibtex]
  19. Efficient Encoding of SystemC/TLM in Promela. Kevin Marquet, Matthieu Moy, Bertrand Jeannet - DATICS-IMECS - [bibtex]
  20. Snap-Stabilizing Committee Coordination. Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit - IPDPS'2011, 25th IEEE International Parallel and Distributed Processing Symposium - [bibtex]
  21. Self-Stabilizing Labeling and Ranking in Ordered Trees. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre - SSS'2011, 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems - [bibtex]
  22. Brief Announcement: Sorting on Skip Chains. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore - SSS'2011, 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems - [bibtex]
  23. Algorithme auto-stabilisant construisant un ensemble k-dominant minimal borné. Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre - 20èmes Rencontres francophones du Parallélisme - PDF - [bibtex]
  24. Routage par marche aléatoire à listes tabous. Karine Altisen, Stéphane Devismes, Pascal Lafourcade, Clément Ponsonnet - Algotel - [bibtex]
  25. Coordination de Comités Instantanément Stabilisante. Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit - Algotel - [bibtex]

PhD Thesis and HDR

  1. Contributions to the Transaction-Level Modeling of Systems-on-a-Chip. Giovanni Funchal - [bibtex]

2010

Journal Articles

  1. Stabilizing leader election in partial synchronous systems with crash failures. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier - J. Parallel Distrib. Comput. - [bibtex]
  2. Automatic Modular Abstractions for Template Numerical Constraints. David Monniaux - Logical Methods in Computer Science - PDF - [bibtex]
  3. Snap-Stabilization in Message-Passing Systems. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]
  4. A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks. Stéphane Devismes, Hirotsugu Kakugawa, Sayaka Kamei, Sébastien Tixeuil - Journal of Combinatorial Optimization (Special Issue) - [bibtex]

Conference Articles

  1. Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions. Karine Altisen, Matthieu Moy - TACAS - [bibtex]
  2. An analysis of permutations in arrays. Valentin Perrelle, Nicolas Halbwachs - 11th International Conference on Verification, Model-checking, and Abstract Interpretation, VMCAI 2010 - [bibtex]
  3. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. Karine Altisen, Yanhong Liu, Matthieu Moy - Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL) - [bibtex]
  4. Algorithms For Extracting Timeliness Graphs. Stéphane Devismes, Carole Delporte-Gallet, Hugues Fauconnier, Mikel Larrea - 17th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2010) - [bibtex]
  5. A Theoretical and Experimental Review of SystemC Front-ends. Kevin Marquet, Matthieu Moy, Bageshri Karkare - Forum for Design Languages (FDL) - [bibtex]
  6. A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks. Stéphane Devismes, Hirotsugu Kakugawa, Sayaka Kamei, Sébastien Tixeuil - COCOON 2010, The 16th Annual International Computing and Combinatorics Conference - [bibtex]
  7. A Unifying View Of Loosely Time-Triggered Architectures. Albert Benveniste, Anne Bouillard, Paul Caspi - International Conference on Embedded Software International Conference on Embedded Software - [bibtex]
  8. Approximation of $\delta$-timeliness. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier - 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010) - [bibtex]
  9. Communications Efficaces et Auto-Stabilisation. Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil - 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (Algotel 2010) - [bibtex]
  10. ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. Karine Altisen, Matthieu Moy - 22nd Euromicro Conference on Real-Time Systems (ECRTS) - PDF - [bibtex]
  11. Probabilistic Self-Stabilizing Vertex Coloring in Unidirectional Anonymous Networks. Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Katy Paroux, Sébastien Tixeuil - ICDCN'2010, 11th International Conference on Distributed Computing and Networking - [bibtex]
  12. Quantifier elimination by lazy model enumeration. David Monniaux - Computer-aided verification (CAV) - PDF - [bibtex]
  13. Optimal Exploration of Small Rings. Stéphane Devismes - WRAS'2010, Third International ACM SIGOPS/SIGACT Workshop on Reliability, Availability, and Security - [bibtex]
  14. PinaVM: a SystemC Front-End Based on an Executable Intermediate Representation. Kevin Marquet, Matthieu Moy - International Conference on Embedded Software - [bibtex]
  15. Rendez-vous d'agents amnésiques. Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre - 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (Algotel 2010) - [bibtex]

PhD Thesis and HDR

  1. 42, A Component-Based Approach to Virtual Prototyping of Heterogeneous Embedded Systems. Tayeb Bouhadiba - PDF - [bibtex]
  2. Contributions à l'analyse statique de programmes manipulant des tableaux. Mathias Péron - PDF - [bibtex]

2009

Journal Articles

  1. Full Simulation Coverage for SystemC Transaction-Level Models of Systems-on-a-Chip. Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz - Formal Methods in System Design - [bibtex]
  2. Flush: an example of development by refinements in SCADE/Lustre. Jan Mikác, Paul Caspi - International Journal on Software Tools for Technology Transfer (STTT) - [bibtex]
  3. A minimalistic look at widening operators. David Monniaux - Higher order and symbolic computation - PDF - [bibtex]

Conference Articles

  1. Contract-Based Coordination of Hardware Components for the Development of Embedded Software. Tayeb Bouhadiba, Florence Maraninchi - COORDINATION'09, the 11th international conference on Coordination Models and Languages - [bibtex]
  2. Formal and Executable Contracts for Transaction-Level Modeling in SystemC. Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal - ACM International Conference on Embedded Sofware (EMSOFT 09) - [bibtex]
  3. Model-Based Design of Embeded Control Systems with a Synchronous Intermediate Model. Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond - 6th IEEE International Conference on Embedded Systems and Software (ICESS-09) - [bibtex]
  4. Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes. Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil - AlgoTel'09 - [bibtex]
  5. Evaluating Design Trade-offs in Customizable Processors. Unmesh D. Bordoloi, Huynh Phung Huynh, Samarjit Chakraborty, Tulika Mitra - 46th Annual ACM IEEE Design Automation Conference - [bibtex]
  6. Designing Heterogeneous ECU Networks via Compact Architecture Encoding and Hybrid Timing Analysis. Michael Glaß, Martin Lukasiewycz, Jürgen Teich, Unmesh D. Bordoloi, Samarjit Chakraborty - 46th Annual ACM IEEE Design Automation Conference - [bibtex]
  7. A DECOMSYS Based Tool-Chain for Analyzing FlexRay based Automotive Control Applications. Dip Goswami, Pradeep Seshadri, Unmesh D. Bordoloi, Samarjit Chakraborty - IEEE Conference on Automation Science and Engineering -(CASE) - [bibtex]
  8. Space-Optimal Deterministic Rendezvous. Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre - WRAS'09, Second International Workshop on Reliability, Availability, and Security (associated with PDCAT'09) - [bibtex]
  9. Quand le consensus est plus simple que la diffusion fiable. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg - AlgoTel'09 - [bibtex]
  10. Self-Stabilizing k-out-of-l exclusion on tree networks. Ajoy Kumar Datta, Stéphane Devismes, Florian Horn, Lawrence L. Larmore - IPDPS'09, International Conference on Parallel and Distributed Processing Symposium - [bibtex]
  11. A Self-Stabilizing O(n)-Round k-Clustering Algorithm. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore - SRDS'09, 28th International Symposium on Reliable Distributed Systems - [bibtex]
  12. Snap-Stabilization in Message-Passing Systems. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil - ICDCN, 10th International Conference on Distributed Computing and Networking - [bibtex]
  13. Stabilisation instantanée dans les systèmes à passage de messages. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil - AlgoTel'09 - [bibtex]
  14. Communication Efficiency in Self-Stabilizing Silent Protocols. Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil - ICDCS'09, International Conference on Distributed Computing Systems - [bibtex]
  15. Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious Robots. Stéphane Devismes, Franck Petit, Sébastien Tixeuil - Structural Information and Communication Complexity, 16th International Colloquium, SIROCCO 2009 - [bibtex]
  16. Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques. Stéphane Devismes, Franck Petit, Sébastien Tixeuil - AlgoTel'09 - [bibtex]
  17. Synchronous Modeling and Validation of Priority Inheritance Schedulers. Erwan Jahier, Nicolas Halbwachs, Pascal Raymond - Fundamental Approaches to Software Engineering, FASE'09 - [bibtex]
  18. Modular Static Scheduling of Synchronous Data-flow Networks -- An efficient symbolic representation. Marc Pouzet, Pascal Raymond - International Conference on Embedded Software (EMSOFT'09) - [bibtex]
  19. Actors without directors: A Kahnian view of heterogeneous systems. Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis - Hybrid Systems Computation and Control, HSCC09 - [bibtex]
  20. Synchronous Objects with Scheduling Policies, Introducing safe shared memory in Lustre. Paul Caspi, Jean-louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond - ACM SIGPLAN/SIGBED 2009 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2009) - [bibtex]
  21. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi - Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09) - [bibtex]
  22. Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks. Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil - IPDPS '09: Proceedings of the 2009 IEEE International Symposium on Parallel&Distributed Processing - [bibtex]
  23. On using floating-point computations to help an exact linear arithmetic decision procedure. David Monniaux - Computer-aided verification (CAV) - PDF - [bibtex]
  24. Automatic Modular Abstractions for Linear Constraints. David Monniaux - POPL (Principles of programming languages) - PDF - [bibtex]

PhD Thesis and HDR

  1. Analyse statique : de la théorie à la pratique. David Monniaux - Habilitation to direct research - [bibtex]

2008

Journal Articles

  1. Implementing synchronous models on Loosely Time-Triggered Architectures. Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale - IEEE trans. on Computers - [bibtex]
  2. The pitfalls of verifying floating-point computations. David Monniaux - TOPLAS - [bibtex]
  3. Formal Analysis Tools for the Synchronous Aspect Language Larissa. David Stauch - EURASIP Journal on Embedded Systems - [bibtex]
  4. Semantic-preserving multitask implementation of synchronous programs. Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis - ACM Trans. Embedded Computing Systems - [bibtex]
  5. Lutin: a language for specifying and executing reactive scenarios. Pascal Raymond, Yvan Roux, Erwan Jahier - EURASIP Journal on Embedded Systems - [bibtex]

Book Chapters

  1. Synchronous Program Verification with Lustre/Lesar. Pascal Raymond - Modeling and Verification of Real-Time Systems - [bibtex]

Conference Articles

  1. Time-robust discrete control over networked Loosely Time-Triggered Architectures. Paul Caspi, Albert Benveniste - IEEE Decision and Control Conference, Cancun, December - [bibtex]
  2. With Finite Memory Consensus Is Easier Than Reliable Broadcast. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg - OPODIS'09, 12th International Conference On Principles of DIstributed Systems - [bibtex]
  3. On the timed automata-based verification of Ravenscar systems. Ileana Ober, Nicolas Halbwachs - 13th International Conference on Reliable Software Technologies - Ada-Europe 2008 - [bibtex]
  4. Combination of Abstractions in the ASTRÉE Static Analyzer. Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival - Advances in Computer Science --- ASIAN 2006. Secure Software and Related Issues - [bibtex]
  5. Discovering Properties about Arrays in Simple Programs. Nicolas Halbwachs, Mathias Péron - ACM Conference on Programming Language Design and Implementation, PLDI 2008 - [bibtex]
  6. A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip. Jérôme Cornet, Florence Maraninchi, Laurent Maillet-Contoz - Design Automation and Test in Europe (DATE) - [bibtex]
  7. SystemC/TLM Semantics for Heterogeneous System-on-Chip Validation. Florence Maraninchi, Matthieu Moy, Jérôme Cornet, Laurent Maillet-Contoz, Claude Helmstetter, Claus Traulsen - 2008 Joint IEEE-NEWCAS and TAISA Conference - [bibtex]
  8. A Quantifier Elimination Algorithm for Linear Real Arithmetic. David Monniaux - LPAR (Logic for Programming Artificial Intelligence and Reasoning) - PDF - [bibtex]

PhD Thesis and HDR

  1. Separation of Functional and Non-Functional Aspects in Transactional Level Models of Systems-on-Chip. Jérôme Cornet - [bibtex]
  2. Modélisations et analyses de réseaux de capteurs. Ludovic Samper - [bibtex]

2007

Book Chapters

  1. Generating Random Values Using Binary Decision Diagrams and Convex Polyhedra. Erwan Jahier, Pascal Raymond - Trends in Constraint Programming - [bibtex]
  2. Synchronous languages. Paul Caspi, Pascal Raymond, Stavros Tripakis - Handbook of Real-Time And Embedded Systems - [bibtex]
  3. Lucid synchrone: un langage pour la programmation des systèmes réactifs. Paul Caspi, Grégoire Hamon, Marc Pouzet - Systèmes temps réel - [bibtex]
  4. Synchronous Programming. Paul Caspi, Pascal Raymond, Stavros Tripakis - Handbook of Real-Time amd Embedded Systems - [bibtex]

Conference Articles

  1. 42: Programmable Models of Computation for a Component-Based Approach to Heterogeneous Embedded Systems. Florence Maraninchi, Tayeb Bouhadiba - Sixth ACM International Conference on Generative Programming and Component Engineering (GPCE'07) - [bibtex]
  2. Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. Franck Cassez, Stavros Tripakis, Karine Altisen - ACSD '07: Proceedings of the Seventh International Conference on Application of Concurrency to System Design - [bibtex]
  3. Loosely Time-Triggered Architectures based on Communication by Sampling. Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis - 7th Intl. Conf. on Embedded Software (EMSOFT'06) - [bibtex]
  4. Larissa, un langage d'aspects pour le développement des systèmes réactifs sûrs. David Stauch, Karine Altisen, Florence Maraninchi - 3èmes Journées Francophones sur le Développement de Logiciels par Aspects - [bibtex]
  5. Verification of Device Drivers and Intelligent Controllers: a Case Study. David Monniaux - EMSOFT - [bibtex]
  6. An abstract domain extending Difference-Bound Matrices with disequality constraints. Mathias Péron, Nicolas Halbwachs - 8th International Conference on Verification, Model-checking, and Abstract Intepretation, VMCAI'07 - [bibtex]
  7. The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. Mischa Dohler, Dominique Barthel, Florence Maraninchi, Laurent Mounier, Stéphane Aubert, Christophe Dugas, Aurélien Buhrig, Franck Paugnat, Marc Renaudin, Andrzej Duda, Martin Heusse, Fabrice Valois - IEEE SECON'07 (Fourth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks) - [bibtex]
  8. Specifying and executing reactive scenarios with Lutin. Pascal Raymond, Yvan Roux, Erwan Jahier - SLA++P'07, ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems - [bibtex]
  9. Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur - SLA++P'07, ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems - [bibtex]
  10. A SystemC/TLM semantics in Promela and its possible applications. Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi - 14th Workshop on Model Checking Software SPIN - [bibtex]
  11. Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. Franck Cassez, Stavros Tripakis, Karine Altisen - TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering - [bibtex]
  12. Virtual execution of AADL models via a translation into synchronous programs. Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens - Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria - [bibtex]

Master Thesis

  1. Accélération des simulations de systèmes sur puce au niveau transactionnel. Yussef Bouzouzou - Diplôme de Recherche Technologique - PDF - [bibtex]

PhD Thesis and HDR

  1. Acceleration abstraite pour l'amelioration de la precision en analyse des relations lineaires. Laure Gonnord - [bibtex]
  2. Validation de modèles de systèmes sur puce en présence d'ordonnancements indéterministes et de temps imprécis. Claude Helmstetter - [bibtex]
  3. Larissa, an Aspect-Oriented Language for Reactive Systems. David Stauch - [bibtex]

2006

Journal Articles

  1. Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework. Karine Altisen, Florence Maraninchi, David Stauch - Science of Computer Programming - [bibtex]
  2. LusSy: an open Tool for the Analysis of Systems-on-a-Chip at the Transaction Level. Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz - Design Automation for Embedded Systems - [bibtex]
  3. Some ways to reduce the space dimension in polyhedra computations. Nicolas Halbwachs, David Merchat, Laure Gonnord - Formal Methods in System Design - [bibtex]
  4. Case Studies with Lurette V2. Erwan Jahier, Pascal Raymond, Philippe Baufreton - Software Tools for Technology Transfer - [bibtex]
  5. Automatic rate desynchronization of embedded reactive programs. Alain Girault, Xavier Nicollin, Marc Pouzet - ACM TECS - PDF - [bibtex]

Book Chapters

  1. Vérification de programmes synchrones avec Lustre/Lesar. Pascal Raymond - Systèmes temps réel 1 -- techniques de description et de vérification - [bibtex]

Conference Articles

  1. Monitoring and Fault Diagnosis with Digital Clocks. Karine Altisen, Franck Cassez, Stavros Tripakis - Application of Concurrency to System Design (ACSD'06) - [bibtex]
  2. A Memory-Optimal Buffering Protocol for Preservation of Synchronous Semantics under Preemptive Scheduling. Christos Sofronis, Stavros Tripakis, Paul Caspi - 6th Intl. Conf. on Embedded Software (EMSOFT'06) - [bibtex]
  3. Communication by Sampling in Time-Sensitive Distributed Systems. Albert Benveniste, Benoît Caillaud, Lucas Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis - 6th Intl. Conf. on Embedded Software (EMSOFT'06) - [bibtex]
  4. Interference of Larissa Aspects. David Stauch, Karine Altisen, Florence Maraninchi - FOAL : Foundations of Aspect-Oriented Languages workshop (an AOSD'06 satellite event) - [bibtex]
  5. Combining widening and acceleration in linear relation analysis. Laure Gonnord, Nicolas Halbwachs - 13th International Static Analysis Symposium, SAS'06 - [bibtex]
  6. Simulation and verification of asynchronous systems by means of a synchronous model. Nicolas Halbwachs, Louis Mandel - Sixth International Conference on Application of Concurrency to System Design, ACSD 2006 - [bibtex]
  7. Test Coverage for Loose Timing Annotations. Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz - 11th International Workshop on Formal Methods for Industrial Critical Systems - [bibtex]
  8. Approximation, Sampling and Voting in Hybrid Computing Systems. Chiheb Kossentini, Paul Caspi - Hybrid Systems Computation and Control, HSCC06 - [bibtex]
  9. GLONEMO: Global and Accurate Formal Models for the Analysis of Ad-Hoc Sensor Networks. Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel - InterSense: First International Conference on Integrated Internet Ad hoc and Sensor Networks - [bibtex]
  10. On the Importance of Modeling the Environment when Analyzing Sensor Networks. Ludovic Samper, Florence Maraninchi, Laurent Mounier, Erwan Jahier, Pascal Raymond - 3rd International Workshop on Wireless Ad-hoc and Sensor Networks (IWWAN'06) - [bibtex]
  11. Describing and executing random reactive systems. Pascal Raymond, Erwan Jahier, Yvan Roux - SEFM 2006, 4th IEEE International Conference on Software Engineering and Formal Methods - [bibtex]
  12. Larissa: Modular Design of Man-Machine Interfaces with Aspects. Karine Altisen, Florence Maraninchi, David Stauch - Fifth International Symposium on Software Composition (an ETAPS satellite event) - [bibtex]
  13. Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy - Formal Methods in Computer Aided Design (FMCAD) - [bibtex]
  14. Generating Random Values Using Binary Decision Diagrams and Convex Polyhedra. Erwan Jahier, Pascal Raymond - Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'06) - [bibtex]

PhD Thesis and HDR

  1. Embedded Code Generation from High-level Heterogeneous Components. Christos Sofronis - [bibtex]

2005

Journal Articles

  1. Formation en systèmes embarqués à l'INPG. Florence Maraninchi, Marc Renaudin - Revue des ingénieurs INPG - [bibtex]
  2. Translating Discrete-Time Simulink to Lustre. Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis - ACM Trans. Embedded Computing Systems - [bibtex]
  3. Guidelines for a graduate curriculum on embedded software and systems.. Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, Francois Laroussinie, Lucia Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan De la Puente, Norman Scaife, Joseph Sifakis, Robert De Simone, Martin Torngren, Paulo Veríssimo, Andrew J. Wellings, Reinhard Wilhelm, Tim Willemse, Wang Yi - ACM Trans. Embedded Comput. Syst. - [bibtex]

Book Chapters

  1. From Control Loops to Real-Time Programs. Paul Caspi, Oded Maler - Handbook of Networked and Embedded Computing Systems - [bibtex]
  2. Chapter 5.9, Formal Verification. Matthieu Moy - Transaction-Level Modeling with SystemC. TLM Concepts and Applications for Embedded Systems - [bibtex]

Conference Articles

  1. Introduction au contrôle des systèmes temps-réel. Karine Altisen, Patricia Bouyer, Thierry Cachat, Franck Cassez, Guillaume Gardey - Modélisation des Systèmes Réactifs (MSR'05), session invitée de l'ACI CORTOS - [bibtex]
  2. Implémentabilité des automates temporisés. Karine Altisen, Nicolas Markey, Pierre-Alain Reynier, Stavros Tripakis - Modélisation des Systèmes Réactifs (MSR'05), session invitée de l'ACI CORTOS - [bibtex]
  3. Semantic-Preserving and Memory Efficient Implementation of Inter-Task Communication on Static-Priority or EDF Schedulers. Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi - 5th International Conference on Embedded Software, EMSOFT05 - [bibtex]
  4. Flush: a system development tool based on Scade/Lustre. Jan Mikác, Paul Caspi - Formal methods for industrial critical systems, FMICS05 - [bibtex]
  5. Implementation of Timed Automata: An Issue of Semantics or Modeling? Karine Altisen, Stavros Tripakis - FORMATS - [bibtex]
  6. A synchronous language at work: the story of Lustre. Nicolas Halbwachs - Third ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE'2005 - [bibtex]
  7. Temporal Refinement for Lustre. Jan Mikác, Paul Caspi - Synchronous Languages Applications and Programming, SLAP'05 - [bibtex]
  8. LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz - International Conference on Application of Concurrency to System Design - [bibtex]
  9. Pinapa: An Extraction Tool for SystemC descriptions of Systems-on-a-Chip. Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz - EMSOFT - [bibtex]

PhD Thesis and HDR

  1. Implementing Lustre Programs on Distributed Platforms with Real-time Constraints. Adrian Curic - [bibtex]
  2. Réduction du nombre de variables en analyse de relations linéaires. David Merchat - [bibtex]
  3. Raffinements et preuves de systèmes Lustre. Jan Mikác - [bibtex]
  4. Exploitation des structures régulières et des spécifications locales pour le développement correct de systèmes réactifs de grande taille. Lionel Morel - [bibtex]
  5. Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level. Matthieu Moy - [bibtex]

2004

Journal Articles

  1. Counter-example generation in symbolic abstract model-checking. Gordon Pace, Nicolas Halbwachs, Pascal Raymond - Software Tools for Technology Transfer - [bibtex]

Conference Articles

  1. Arrays and Contracts for the Specification and Analysis of Regular Systems. Florence Maraninchi, Lionel Morel - Fourth International Conference on Application of Concurrency to System Design - [bibtex]
  2. Logical-Time Contracts for the Development of Reactive Embedded Software. Florence Maraninchi, Lionel Morel - 30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE) - [bibtex]
  3. Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems. Norman Scaife, Paul Caspi - Euromicro Conference on Real-Time Systems, ECRTS04 - [bibtex]
  4. Heterogeneous Reactive Systems Modeling: capturing causality and the correctness of loosely time-triggered protocols. Albert Benveniste, Benoît Caillaud, Lucas Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli - Emsoft04 - [bibtex]
  5. Exploring Aspects in the Context of Reactive Systems. Karine Altisen, Florence Maraninchi, David Stauch - Workshop on the Foundations of Aspect-Oriented Languages (FOAL), affiliated with AOSD (International Conference on Aspect-Oriented Software Development) - [bibtex]
  6. Mixed delay and threshold voters in critical real-time systems. Chiheb Kossentini, Paul Caspi - Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT04 - [bibtex]
  7. Case Studies with Lurette V2. Erwan Jahier, Pascal Raymond, Philippe Baufreton - 1st International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004 - [bibtex]
  8. From Discrete Duration Calculus to Symbolic Automata. Laure Gonnord, Nicolas Halbwachs, Pascal Raymond - 3rd International Workshop on Synchronous Languages, Applications, and Programs, SLAP'04, see also Electronic Notes in Theoretical Computer Science Volume 153, Issue 4, 27 June 2006, Pages 3-18 - [bibtex]
  9. Defining and translating a ``safe'' subset of Simulink/Stateflow into Lustre. Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi - Fourth ACM International Conference on Embedded Software (EMSOFT) - [bibtex]

PhD Thesis and HDR

  1. Description et simulation de systèmes réactifs non-déterministes. Yvan Roux - [bibtex]

2003

Journal Articles

  1. The synchronous languages 12 years later. Albert Benveniste, Paul Caspi, Stefan A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone - Proceedings of the IEEE - [bibtex]
  2. Mode-Automata: a new Domain-Specific Construct for the Development of Safe Critical Systems. Florence Maraninchi, Yann Rémond - Science of Computer Programming - [bibtex]

Conference Articles

  1. Automatic State Reaching for Debugging Reactive Programs. Erwan Jahier, Bertrand Jeannet, Fabien Gaucher, Florence Maraninchi - AADEBUG'2003 -- Fifth International Workshop on Automated Debugging - [bibtex]
  2. Translating Discrete-Time Simulink to Lustre. Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis - Embedded Software EMSOFT2003 - [bibtex]
  3. Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. Albert Benveniste, Lucas Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli - 3rd International Wokshop on Embedded Software, EMSOFT03 - [bibtex]
  4. Using Controller Synthesis to Build Property-Enforcing Layers. Karine Altisen, Aurélie Clodic, Florence Maraninchi, Eric Rutten - European Symposium on Programming (ESOP) - [bibtex]
  5. Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. Albert Benveniste, Benoît Caillaud, Lucas Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli - FMCO 2003 - [bibtex]
  6. Cartesian factoring of polyhedra in linear relation analysis. Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux - Static Analysis Symposium, SAS'03 - [bibtex]
  7. From Simulink to SCADE/Lustre to TTA: A Layered Approach for Distributed Embedded Applications. Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert - Languages, Compilers and Tools for Embedded Systems, LCTES 2003 - [bibtex]
  8. Finite state machines: composition, verification, minimization: a case study. Paul Amblard, Fabienne Lagnier, Michel Levy - 10th International Conference on Mixed Design (MIXDES03), Lodz, Poland - [bibtex]
  9. Automatique continue, automatique discrète, informatique industrielle : le triangle des Bermudes ? Paul Caspi - Actes du colloque Modélisation des systèmes réactifs, MSR03 - [bibtex]

PhD Thesis and HDR

  1. étude du débogage de systèmes réactifs et application au langage synchrone Lustre. Fabien Gaucher - [bibtex]

2002

Conference Articles

  1. Using Formal Tools to Study Complex Circuits Behaviour. Paul Amblard, Fabienne Lagnier, Michel Levy - IEEE Symposium on Digital Systems Design (Euromicro DSD 2002) - [bibtex]
  2. Toward an Approximation Theory for Computerised Control. Paul Caspi, Albert Benveniste - 2nd International Workshop on Embedded Software, EMSOFT02 - [bibtex]
  3. A Protocol for Loosely Time-Triggered Architectures. Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis - 2nd International Wokshop on Embedded Software, EMSOFT02 - [bibtex]
  4. Synchronous modeling of asynchronous systems. Nicolas Halbwachs, Siwar Baghdadi - ACM Conference on Embedded Systems Software, EMSOFT'02 - [bibtex]
  5. Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. Pascal Raymond, Yvan Roux - First Workshop on Synchronous Languages, Applications and Programming, SLAP'02 - Electr. Notes Theor. Comput. Sci. - [bibtex]

2001

Journal Articles

  1. Argos: an Automaton-Based Synchronous Language. Florence Maraninchi, Yann Rémond - Computer Languages - [bibtex]
  2. Automatic Verification of Parameterized Networks of Processes. David Lesens, Nicolas Halbwachs, Pascal Raymond - Theoretical Computer Science - [bibtex]

Conference Articles

  1. From Control System Design to Embedded Code: The Synchronous Data-Flow Approach. Paul Caspi, Pascal Raymond - IEEE-CDC - [bibtex]
  2. Embedded control: from asynchrony to synchrony and back. Paul Caspi - First International Workshop on Embedded Software - [bibtex]
  3. Counter-example generation in symbolic abstract model-checking. Gordon Pace, Nicolas Halbwachs, Pascal Raymond - 6th International Workshop on Formal Methods for Industrial Critical Systems, FMICS'2001 - [bibtex]
  4. Effective programming language support for discrete-continuous mode-switching control systems. Florence Maraninchi, Yann Rémond, Eric Rutten - 40th IEEE Conference on Decision and Control (CDC) - [bibtex]
  5. About the design of distributed control systems: the quasi-synchronous approach. Paul Caspi, Christine Mazuet, Natacha Reynaud-Paligot - Proc. Safecomp'01 - [bibtex]

PhD Thesis and HDR

  1. Répartition de programmes synchrones temps-réel. Rym Salem-Habermehl - [bibtex]
  2. Un support langage pour les modes de fonctionnement des systèmes temps-réel : extension de Lustre par des automates de modes. Yann Rémond - [bibtex]

2000

Journal Articles

  1. Langages pour la conception de systèmes réactifs. Paul Caspi - Technique et science informatique - [bibtex]

Conference Articles

  1. Threshold and Bounded-Delay Voting in Critical Control Systems. Paul Caspi, Rym Salem-Habermehl - Formal Techniques in Real-Time and Fault-Tolerant Systems - [bibtex]
  2. A PVS Proof Obligation Generator for Lustre Programs. Cécile Dumas, Paul Caspi - 7th International Conference on Logic for Programming and Automated Reasoning - [bibtex]
  3. Step-wise + Algorithmic debugging for Reactive Programs: LuDiC, a debugger for Lustre. Florence Maraninchi, Fabien Gaucher - AADEBUG'2000 -- Fourth International Workshop on Automated Debugging - [bibtex]
  4. MATOU: An Implementation of Mode-Automata. Florence Maraninchi, Yann Rémond, Yannick Raoul - International Conference on Compiler Construction (CC) - [bibtex]
  5. Running-Modes of Real-Time Systems: A Case-Study with Mode-Automata. Florence Maraninchi, Yann Rémond - 12th Euromicro Conference on Real-Time Systems - [bibtex]
  6. Applying Formal Methods to Industrial Cases: The Language Approach (The Production-Cell and Mode-Automata). Florence Maraninchi, Yann Rémond - 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS) - [bibtex]
  7. The Quasi-Synchronous Approach to Distributed Control Systems. Paul Caspi, Rym Salem-Habermehl - Proceedings of the Summer School "Modelling and Verification of Parallel Processes (MOVEP'2k), - [bibtex]
  8. Stability of discrete sampled systems. Nicolas Halbwachs, Jean-François Héry, Jen-Claude Laleuf, Xavier Nicollin - 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000 - [bibtex]

PhD Thesis and HDR

  1. Méthodes déductives pour la preuve de programmes Lustre. Cécile Dumas Canovas - [bibtex]
  2. Partitionnement dynamique dans l'analyse de relations linéaires et application à la vérification de programmes synchrones. Bertrand Jeannet - [bibtex]

1999

Journal Articles

  1. Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. Paul Caspi, Alain Girault, Daniel Pilaud - IEEE Transactions on Software Engineering - [bibtex]

Conference Articles

  1. Validation of Synchronous Reactive Systems: from Formal Verification to Automatic Testing. Nicolas Halbwachs, Pascal Raymond - ASIAN'99, Asian Computing Science Conference - [bibtex]
  2. A methodology for proving control systems with Lustre and PVS. Saddek Bensalem, Paul Caspi, Cécile Dumas, Catherine Parent-Vigouroux - Dependable Computing for Critical Applications (DCCA7) - [bibtex]
  3. Formal Design of Distributed Control Systems with Lustre. Paul Caspi, Christine Mazuet, Rym Salem-Habermehl, Daniel Weber - Proc. Safecomp'99 - [bibtex]
  4. Dynamic Partitioning in Analyses of Numerical Properties. Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond - Static Analysis Symposium, SAS'99 - [bibtex]

1998

Journal Articles

  1. About synchronous programming and abstract interpretation. Nicolas Halbwachs - Science of Computer Programming, Special Issue on SAS'94 - [bibtex]

Conference Articles

  1. A tool for proving Lustre programs in PVS. Saddek Bensalem, Paul Caspi, Cécile Dumas, Catherine Parent-Vigouroux - TOOLS'98 - [bibtex]
  2. A Co-iterative Characterization of Synchronous Stream Functions. Paul Caspi, Marc Pouzet - Proceedings of the Workshop on Coalgebraic Methods in Computer Science, Lisbon - [bibtex]
  3. Synchronous programming of reactive systems, a tutorial and commented bibliography. Nicolas Halbwachs - Tenth International Conference on Computer-Aided Verification, CAV'98 - [bibtex]
  4. Test automatique de systèmes réactifs. Nicolas Halbwachs, Xavier Nicollin, Pascal Raymond, Daniel Weber - Ecole d'été ``MOdélisation et VÉrification des Processus parallèles - [bibtex]
  5. Automatic Testing of Reactive Systems. Pascal Raymond, Daniel Weber, Xavier Nicollin, Nicolas Halbwachs - 19th IEEE Real-Time Systems Symposium - [bibtex]
  6. Mode-Automata: About Modes and States for Reactive Systems. Florence Maraninchi, Yann Rémond - European Symposium On Programming (ESOP) - [bibtex]

1997

Journal Articles

  1. Distributing Automata for Asynchronous Networks of Processors. Benoît Caillaud, Paul Caspi, Alain Girault, Claude Jard - Journal Européen des Systèmes Automatisés - [bibtex]
  2. Verifying programs in the Calculus of Inductive Constructions. Catherine Parent-Vigouroux - Formal Aspects of Computing - [bibtex]
  3. Verification of real-time systems using linear relation analysis. Nicolas Halbwachs, Yann-Eric Proy, Patrick Roumanoff - Formal Methods in System Design - [bibtex]

Book Chapters

  1. Aperçu du langage Lustre. Paul Caspi - Applications des Méthodes Formelles au Logiciel - [bibtex]

Conference Articles

  1. What can we learn from synchronous data-flow languages. Paul Caspi - Hybrid and Real-Time Systems - [bibtex]
  2. Automatic Verification of Parameterized Linear Networks of Processes. David Lesens, Nicolas Halbwachs, Pascal Raymond - 24th ACM Symposium on Principles of Programming Languages, POPL'97 - [bibtex]
  3. A Kleene Theorem for Timed Automata. Eugene Asarin, Oded Maler, Paul Caspi - Proc. Logic in Computer Science, LICS'97 - [bibtex]
  4. Compositionality Criteria for Defining Mixed-Styles Synchronous Languages (invited paper). Florence Maraninchi, Yann Rémond - International Symposium: Compositionality - The Significant Difference - [bibtex]

PhD Thesis and HDR

  1. HDR - Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates. Florence Maraninchi - Document d’Habilitation à Diriger des Recherches - [bibtex]
  2. Vérification et synthèse de systèmes réactifs. David Lesens - [bibtex]

1996

Conference Articles

  1. Compiling ARGOS into Boolean equations. Florence Maraninchi, Nicolas Halbwachs - Formal Techniques for Real-Time and Fault Tolerance (FTRTFT) - [bibtex]
  2. Vérification de systèmes réactifs en Argos temporisé. Muriel Jourdan, Florence Maraninchi - Congrès AFCET : Modélisation des systèmes réactifs - [bibtex]
  3. Un modèle pour la distribution d'automates réactifs sur réseau asynchrone de processeurs. Benoît Caillaud, Paul Caspi, Alain Girault, Claude Jard - Conférence Afcet sur la Modélisation des systèmes réactifs, Brest - [bibtex]
  4. Compositional Semantics of Non-deterministic Synchronous Languages. Florence Maraninchi, Nicolas Halbwachs - European Symposium On Programming (ESOP) - [bibtex]
  5. Synchronous Kahn networks. Paul Caspi, Marc Pouzet - Int. Conf. on Functional Programming - [bibtex]
  6. Réseaux de Kahn synchrones. Marc Pouzet, Paul Caspi - Journées Francophones des langages applicatifs, Val Morin, Quebec - [bibtex]
  7. Automatic Construction of Network Invariants. David Lesens, Nicolas Halbwachs, Pascal Raymond - International Workshop on Verification of Infinite State Systems (INFINITY) - [bibtex]
  8. Natural proofs and programs optimization in the Calculus of Inductive Constructions. Catherine Parent-Vigouroux - International Conference on Theorem Proving in Higher Order Logic - [bibtex]
  9. Recognizing Regular Expressions by Means of Dataflow Networks. Pascal Raymond - Automata, Languages and Programming, 23rd International Colloquium - [bibtex]

1995

Journal Articles

  1. The Algorithmic Analysis of Hybrid Systems. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine - Theoretical Computer Science B - [bibtex]

Conference Articles

  1. The railroad crossing problem, modeling with Hybrid Argos - Analysis with Polka. Nicolas Halbwachs, Florence Maraninchi, Yann-Eric Proy - Second European Workshop on Real-Time and Hybrid Systems - [bibtex]
  2. Static Timing Analysis of Real-Time Systems. Muriel Jourdan, Florence Maraninchi - ACM Sigplan Workshop on Language, compiler and tool support for real-time systems - [bibtex]
  3. An algorithm for reducing binary branchings. Paul Caspi, Jean-Claude Fernandez, Alain Girault - Fifteenth Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS - [bibtex]
  4. On the symbolic analysis of combinational loops in circuits and synchronous programs. Nicolas Halbwachs, Florence Maraninchi - Euromicro'95 - [bibtex]
  5. A functional extension to Lustre. Paul Caspi, Marc Pouzet - 8th Int. Symp. on Languages for Intensional Programming - [bibtex]
  6. Formal verification of a critical system written in Saga/Lustre. Fabienne Lagnier, Pascal Raymond, Christian Dubois - Workshop on Formal Methods, Modelling and Simulation for System Engineering - [bibtex]
  7. Vérification de propriétés de programmes écrits en Lustre. Christian Dubois, Paul Ghaleb, Fabienne Lagnier, Pascal Raymond - RTS'95 - [bibtex]
  8. Execution of reactive distributed systems. Paul Caspi, Alain Girault - EURO--PAR'95, Stockholm - [bibtex]

1994

Book Chapters

  1. Tolérance aux fautes logicielles. Paul Caspi, Jean-Claude Laprie - Informatique tolérante aux fautes - [bibtex]

Conference Articles

  1. A Modular State/Transition Approach for Programming Real-Time Systems. Muriel Jourdan, Florence Maraninchi - ACM Sigplan Workshop on Language, compiler and tool support for real-time systems - [bibtex]
  2. A Multiparadigm Language for Reactive Systems. Muriel Jourdan, Fabienne Lagnier, Pascal Raymond, Florence Maraninchi - In 5th IEEE International Conference on Computer Languages - [bibtex]
  3. Distributing Reactive Systems. Paul Caspi, Alain Girault, Daniel Pilaud - Seventh International Conference on Parallel and Distributed Computing Systems, PDCS'94 - [bibtex]
  4. Verification of linear hybrid systems by means of convex approximations. Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond - International Symposium on Static Analysis, SAS'94 - [bibtex]
  5. About synchronous programming and abstract interpretation. Nicolas Halbwachs - International Symposium on Static Analysis, SAS'94 - [bibtex]
  6. Studying Synchronous Communication Mechanisms by Abstractions. Muriel Jourdan, Florence Maraninchi - IFIP Working Conference on Programming Concepts, Methods and Calculi - [bibtex]
  7. Towards recursive block diagrams. Paul Caspi - Proc. 19th IFAC/IFIP Workshop on real-time programming, Isle of Reichenau - [bibtex]

PhD Thesis and HDR

  1. Sur la répartition de programmes synchrones. Alain Girault - [bibtex]
  2. Etude d'un environnement de programmation et de vérification des systèmes réactifs, multi-langages et multi-outils. Muriel Jourdan - [bibtex]

1993

Conference Articles

  1. Embedding declarative subprograms into imperative constructs. Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond - Fifth International Symposium on Programming Language Implementation and Logic Programming, Tallin, Estonia - [bibtex]
  2. Data-flow synchronous languages. Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs - Rex Symposium ``Ten Years of Concurrency, Reflections and Perspectives'' - [bibtex]
  3. An executable temporal logic to express safety properties and its connection with the language Lustre. Nicolas Halbwachs, Jean-Claude Fernandez, Ahmed Bouajjani - Sixth International Symp. on Lucid and Intensional Programming, ISLIP'93 - [bibtex]
  4. Verifying quantitative real-time properties of synchronous programs. Muriel Jourdan, Florence Maraninchi, Alfredo Olivero - International Conference on Computer-Aided Verification (CAV) - [bibtex]
  5. Rôle de l'expression fonctionnelle dans l'enseignement de l'informatique en DEUG A. Florence Maraninchi, Pierre-Claude Scholl, Marie-Christine Fauvet, Fabienne Lagnier - 2èmes journées de travail : les langages applicatifs dans l'enseignement de l 'informatique - [bibtex]
  6. Lucid Synchrone. Paul Caspi - Actes du colloque INRIA OPOPAC, Lacanau - [bibtex]
  7. Delay analysis in synchronous programs. Nicolas Halbwachs - Fifth Conference on Computer-Aided Verification - [bibtex]
  8. Synchronous observers and the verification of reactive systems. Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond - Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93 - [bibtex]

1992

Journal Articles

  1. An experience in proving regular networks of processes by modular model checking. Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel - Acta Informatica - [bibtex]
  2. Clocks in Dataflow languages. Paul Caspi - Theoretical Computer Science - [bibtex]
  3. Minimal State Graph Generation. Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond - Sci. Comput. Program. - [bibtex]
  4. Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre. Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel - IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems - [bibtex]

Conference Articles

  1. Operational and Compositional Semantics of Synchronous Automaton Compositions. Florence Maraninchi - International Conference on Concurrency Theory (CONCUR) - [bibtex]
  2. Minimization of timed transition systems (extended abstract). Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David Dill, Howard Wong-Toi - CONCUR'92 - [bibtex]
  3. An Experience in compiling a mixed imperative/declarative language for reactive systems. Florence Maraninchi, Muriel Vachon - International Workshop on Compiler Construction (poster session) - [bibtex]
  4. Distributing a finite transition system on a shared/distributed memory system. Alain Girault, Paul Caspi - PARLE'92 Paris - [bibtex]
  5. An implementation of three algorithms for timing verification based on automata emptiness. Rajeev Alur, Costas Courcoubetis, David Dill, Nicolas Halbwachs, Howard Wong-Toi - 13th IEEE Real-Time Systems Symposium - [bibtex]

PhD Thesis and HDR

  1. Vérification des systèmes matérieles numériques séquentiels synchrones : Application du langage Lustre et de l'outil de vérification Lesar. Bachir Berkane - [bibtex]
  2. Définition et réalisation d'un outil de vérification Formelle de Programmes Lustre : Le système LESAR. Christophe Ratel - [bibtex]
  3. Extension du langage Lustre et application à la conception de circuits : Le langage Lustre-V4 et le système POLLUX. Frédéric Rocheteau - [bibtex]

Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 9 ; visits: 471861