by years

2018

Journal Articles

  1. Optimal Torus Exploration by Oblivious Robots. Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil - Computing - [bibtex]
  2. A Silent Self-Stabilizing Algorithm for the Generalized Minimal k-Dominating Set Problem. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore - Theoretical Computer Science - [bibtex]
  3. Gradual Stabilization. Karine Altisen, Stéphane Devismes, Anaïs Durand, Petit Franck - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]

Conference Articles

  1. Parallel Code Generation of Synchronous Programs for a Many-core Architecture. Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont De Dinechin - Design, Automation and Test in Europe - [bibtex]
  2. Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt. Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond - 9th European Congress Embedded Real Time Software and Systems (ERTS2 2018) - [bibtex]
  3. L-Exclusion autostabilisante revisitée. Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore - ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - [bibtex]
  4. Schéma général auto-stabilisant et silencieux de constructions de type arbres couvrants. Stéphane Devismes, David Ilcinkas, Colette Johnen - ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - [bibtex]
  5. Stabilisation progressive. Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit - ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - [bibtex]
  6. Eviter les collisions dans les réseaux 6TiSCH. Ali Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes - CoRes - Rencontres Francophones sur la Conception de Protocoles, lévaluation de Performance et l'Expérimentation des Réseaux de Communication - [bibtex]
  7. Acyclic Strategy for Silent Self-Stabilization in Spanning Forests. Karine Altisen, Stéphane Devismes, Anaïs Durand - SSS'2018, 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems - [bibtex]

2017

Journal Articles

  1. Self-stabilizing silent disjunction in an anonymous network. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore - Theor. Comput. Sci. - [bibtex]
  2. Concurrency in snap-stabilizing local resource allocation. Karine Altisen, Stéphane Devismes, Anaïs Durand - J. Parallel Distrib. Comput. - [bibtex]
  3. Self-Stabilizing Leader Election in Polynomial Steps. Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit - Information and Computation - [bibtex]
  4. Self-Stabilizing Weak Leader Election in Anonymous Trees Using Constant Memory per Edge. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Vincent Villain - Parallel Processing Letters - [bibtex]
  5. On probabilistic snap-stabilization. Karine Altisen, Stéphane Devismes - Theoretical Computer Science - [bibtex]
  6. Online and offline scheduling with cache-related preemption delays. Guillaume Phavorin, Pascal Richard, Joël Goossens, Claire Maiza, Laurent George, Thomas Chapeaux - Real-Time Systems - [bibtex]
  7. An extensible framework for multicore response time analysis. Robert I. Davis, Sebastian Altmeyer, Leandro Indrusiak, Claire Maiza, Vincent Nelis, Jan Reineke - Real-Time Systems - [bibtex]
  8. SR3: secure resilient reputation-based routing. Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade - Wireless Networks - [bibtex]
  9. Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps. Stéphane Devismes, David Ilcinkas, Colette Johnen - Discrete Mathematics & Theoretical Computer Science - [bibtex]
  10. A Framework for Certified Self-Stabilization. Karine Altisen, Pierre Corbineau, Stéphane Devismes - Logical Methods in Computer Science (special issue of FORTE 2016) - [bibtex]

Conference Articles

  1. Leader Election in Asymmetric Labeled Unidirectional Rings. Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore - 2017 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2017, Orlando, FL, USA, May 29 - June 2, 2017 - [bibtex]
  2. The W-SEPT Project: Towards Semantic-Aware WCET Estimation. Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cass'e, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, others - OASIcs-OpenAccess Series in Informatics - [bibtex]
  3. Election et anneaux unidirectionnels en présence d'homonymes. Anaïs Durand - Algotel'2017 - [bibtex]
  4. Composition certifié d'algorithmes autostabilisants silencieux. Karine Altisen, Pierre Corbineau - Algotel'2017 - [bibtex]
  5. Collision Prevention in Distributed 6TiSCH Networks. Karine Altisen, Olivier Alphand, Rodolphe Bertolini, Stéphane Devismes, Ali Fahs, Franck Rousseau - WiMob 2017, The 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications - [bibtex]
  6. Ascertaining Uncertainty for Efficient Exact Cache Analysis. Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke - Computer Aided Verification - 29th International Conference - [bibtex]
  7. Collision Prevention in Distributed 6TiSCH Networks. Ali Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes - IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - [bibtex]

PhD Thesis and HDR

  1. Many-Core timing Analysis of Real-Time Systems. Hamza Rihani - [bibtex]

2016

Journal Articles

  1. Knowledge-based construction of distributed constrained systems. Susanne Graf, Sophie Quinton - Software and System Modeling - [bibtex]
  2. Snap-Stabilizing Committee Coordination. Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]
  3. The Expressive Power of Snap-Stabilization. Alain Cournier, Ajoy Kumar Datta, Stéphane Devismes, Franck Petit, Vincent Villain - Theoretical Computer Science (TCS) - [bibtex]
  4. Competitive Self-Stabilizing k-Clustering. Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre - Theoretical Computer Science (TCS) - [bibtex]
  5. Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study. Denis Becker, Matthieu Moy, Jérôme Cornet - MDPI Electronics - [bibtex]
  6. Modeling Power Consumption and Temperature in TLM Models. Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi - Leibniz Transactions on Embedded Systems - [bibtex]
  7. Causality Problem in Real-Time Calculus. Karine Altisen, Matthieu Moy - Formal Methods in System Design - [bibtex]
  8. Silent Self-stabilizing BFS Tree Algorithms Revisited. Stéphane Devismes, Colette Johnen - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]

Conference Articles

  1. Efficient Monitoring of Loose-Ordering Properties for SystemC TLM. Yuliia Romenska, Florence Maraninchi - Design, Automation, and Test in Europe (DATE) - [bibtex]
  2. RDBG: a Reactive Programs Extensible Debugger. Erwan Jahier - 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES'16), May 23th to 25th, 2016, Sankt Goar, Germany - [bibtex]
  3. Environment-Model Based Testing with Differential Evolution in an Industrial Setting. Annamária Szenkovits, Noémi Gask\'o, Erwan Jahier - Applications of Evolutionary Computation - 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings, Part I - [bibtex]
  4. SycView: Visualize and Profile SystemC Simulations. Denis Becker, Matthieu Moy, Jérôme Cornet - Workshop on Design Automation for Understanding Hardware Designs (DUHDe) - [bibtex]
  5. A Framework for Certified Self-Stabilization. Karine Altisen, Corbineau Pierre, Stéphane Devismes - FORTE'2016, the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and System - [bibtex]
  6. Gradual Stabilization under T-Dynamics. Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit - Euro-Par 2016, 22nd International European Conference on Parallel and Distributed Computing - [bibtex]
  7. Efficient Execution of Dependent Tasks on Many-Core Processors. Hamza Rihani, Claire Maiza, Matthieu Moy - RTSOPS 2016 - [bibtex]
  8. Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor. Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis, Sebastian Altmeyer - RTNS 2016 - [bibtex]
  9. Model Checking of Cache for WCET Analysis Refinement. Valentin Touzeau, Claire Maiza, David Monniaux - 10th Junior Researcher Workshop on Real-Time Computing - [bibtex]
  10. When the worst-case execution time estimation gains from the application semantics. Armelle Bonenfant, Fabienne Carrier, Hugues Cass'e, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Hanbing Li, Claire Maiza, Marianne De Michiel, Vincent Mussot, Catherine Parent-Vigouroux, Isabelle Puaut, Pascal Raymond, Erven Rohou, Pascal Sotin - 8th European Congress on Embedded Real-Time Software and Systems - PDF - [bibtex]
  11. Leader Election in Rings with Bounded Multiplicity (Short Paper). Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore - Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings - [bibtex]
  12. Concurrence en allocation de ressources locales instantanément stabilisante. Karine Altisen, Stéphane Devismes, Anaïs Durand - Algotel'2016 - [bibtex]
  13. Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps. Stéphane Devismes, David Ilcinkas, Colette Johnen - OPODIS 2016, the 20th International Conference on Principles of Distributed Systems - [bibtex]
  14. Implementing a Real-time Avionic Application on a Many-core Processor. Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond - 42nd European Rotorcraft Forum (ERF) - [bibtex]

2015

Journal Articles

  1. Self-Stabilizing (f,g)-Alliances with Safe Convergence. Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]
  2. Weak vs. Self vs. Probabilistic Stabilization. Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita - International Journal of Foundations of Computer Science - [bibtex]
  3. Timing analysis enhancement for synchronous program. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae - Real-Time Systems - PDF - [bibtex]

Conference Articles

  1. Introduction to ACES-MB 2015. Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober - Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & - [bibtex]
  2. Election autostabilisante en un nombre polynomial de pas de calcul. Karine Altisen, Stéphane Devismes, Anaïs Durand - 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) - [bibtex]
  3. 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]
  4. WCET analysis in shared resources real-time systems with TDMA buses. Hamza Rihani, Matthieu Moy, Claire Maiza, Sebastian Altmeyer - RTNS 2015 - [bibtex]
  5. Scheduling with Preemption Delays: Anomalies and Issues. Guillaume Phavorin, Pascal Richard, Joël Goossens, Thomas Chapeaux, Claire Maiza - Proceedings of the 23rd International Conference on Real Time and Networks Systems - [bibtex]
  6. Complexity of scheduling real-time tasks subjected to cache-related preemption delays. Guillaume Phavorin, Pascal Richard, Claire Maiza - Emerging Technologies Factory Automation (ETFA), 2015 IEEE 20th Conference on - [bibtex]
  7. A Generic and Compositional Framework for Multicore Response Time Analysis. Sebastian Altmeyer, Robert I. Davis, Leandro Indrusiak, Claire Maiza, Vincent Nelis, Jan Reineke - Proceedings of the 23rd International Conference on Real-Time Networks and Systems (RTNS 2015) - [bibtex]
  8. WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon? Sebastian Altmeyer, Bjorn Lisper, Claire Maiza, Jan Reineke, Christine Rochange - 15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, July 7, 2015, Lund, Sweden - [bibtex]
  9. Synthesis of ranking functions using extremal counterexamples. Laure Gonnord, David Monniaux, Gabriel Radanne - Programming Language Design and Implementation (PLDI) - [bibtex]
  10. A simple abstraction of arrays and maps by program translation. David Monniaux, Francesco Alberti - Static analysis (SAS) - [bibtex]
  11. Concurrency in Snap-Stabilizing Local Resource Allocation. Karine Altisen, Stéphane Devismes, Anaïs Durand - NETYS'2015, The International Conference on NETworked sYStems - [bibtex]
  12. Optimal Torus Exploration by Oblivious Robots. Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil - NETYS'2015, The International Conference on NETworked sYStems - [bibtex]
  13. Challenges for the Parallelization of Loosely Timed SystemC Programs. Denis Becker, Matthieu Moy, Jérôme Cornet - IEEE International Symposium on Rapid System Prototyping (RSP) - [bibtex]

2014

Journal Articles

  1. Compte-rendu d'habilitation : Modélisation à haut niveau d'abstraction pour les systèmes embarqués. Matthieu Moy - Technique et Science Informatiques - [bibtex]
  2. Implementing and Reasoning About Hash-consed Data Structures in Coq. Thomas Braibant, Jacques-Henri Jourdan, David Monniaux - Journal of Automated Reasoning - [bibtex]
  3. Comparison of Mean Hitting Times for a Degree-Biased Random Walk. Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade - Discrete Applied Mathematics - [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. 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]
  10. A General Approach for Expressing Infeasibility in Implicit Path Enumeration Technique. Pascal Raymond - International Conference on Embedded Software (EMSOFT 2014) - PDF - [bibtex]
  11. The WCET Analysis using Counters - A Preliminary Assessment. Remy Boutonnet, Mihail Asavoae - In Proceedings of 8th JRWRTC, in conjunction with RTNS14 - PDF - [bibtex]
  12. 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]
  13. Speeding Up Logico-Numerical Strategy Iteration. David Monniaux, Peter Schrammel - Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings - [bibtex]

PhD Thesis and HDR

  1. High-level Models for Embedded Systems. Matthieu Moy - Habilitation à Diriger des Recherches (HDR) - [bibtex]
  2. Static Analysis by Abstract Interpretation and Decision Procedures. Julien Henry - PDF - [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. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Implementing hash-consed data structures in Coq. Thomas Braibant, Jacques-Henri Jourdan, David Monniaux - Interactive theorem proving (ITP) - [bibtex]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Timing analysis enhancement for synchronous program. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier - RTNS - PDF - [bibtex]
  15. 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) - PDF - [bibtex]
  16. Parallel Programming with SystemC for Loosely Timed Models: A Non-Intrusive Approach. Matthieu Moy - The Design, Automation, and Test in Europe (DATE) - [bibtex]
  17. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra. Alexis Fouilhé, David Monniaux, Michaël Périn - Static analysis (SAS) - [bibtex]
  18. Analysis of Probabilistic Cache Related Pre-emption Delays. Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza, Liliana Cucu-Grosjean - 25th Euromicro Conference on Real-Time Systems (ECRTS 2013) - [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]
  5. Modular static scheduling of synchronous data-flow networks. Marc Pouzet, Pascal Raymond - Design Automation for Embedded Systems - [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 - 6