Synchrone by years ; by kinds
Tempo by years ; by kinds
Pacss by years ; by kinds
RSD by years ; by kinds
Verimag by years ; by kinds
2017
Book Chapters
SimSoC: A Fast, Proven Faithful, Full System Virtual Prototyping Framework. Vania Joloboff, Jean-François Monin, Xiaomu Shi - Model-Implementation Fidelity in Cyber Physical System Design - [bibtex]
Conference Articles
Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic. Andrew Reynolds, Radu Iosif, Cristina Serban - Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings - [bibtex]
scat: Learning from a Single Execution of a Binary. Franck de Goer, Christopher Ferreira, Laurent Mounier - Proceedings of SANER 2017 - [bibtex]
2016
Journal Articles
Distinguishing extended finite state machine configurations using predicate abstraction. Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem - J. Software Eng. R&D - [bibtex]
Component-based verification using incremental design and invariants. Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan - Software and System Modeling - [bibtex]
ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem - ACM Trans. Embedded Comput. Syst. - [bibtex]
Knowledge-based construction of distributed constrained systems. Susanne Graf, Sophie Quinton - Software and System Modeling - [bibtex]
Snap-Stabilizing Committee Coordination. Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]
The Expressive Power of Snap-Stabilization. Alain Cournier, Ajoy Kumar Datta, Stéphane Devismes, Franck Petit, Vincent Villain - Theoretical Computer Science (TCS) - [bibtex]
Competitive Self-Stabilizing k-Clustering. Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre - Theoretical Computer Science (TCS) - [bibtex]
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]
Modeling Power Consumption and Temperature in TLM Models. Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi - Leibniz Transactions on Embedded Systems - [bibtex]
Self-Stabilizing Leader Election in Polynomial Steps. Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit - Information and Computation - [bibtex]
SR3: Secure Resilient Reputation-based Routing. Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade - Wireless Networks - [bibtex]
Causality Problem in Real-Time Calculus. Karine Altisen, Matthieu Moy - Formal Methods in System Design - [bibtex]
Silent Self-stabilizing BFS Tree Algorithms Revisited. Stéphane Devismes, Colette Johnen - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]
Guided search for hybrid systems based on coarse-grained space abstractions. Sergiy Bogomolov, Alexandre Donz\' e, Goran Frehse, Radu Grosu, Taylor T Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle - STTT - [bibtex]
Concurrency in Snap-Stabilizing Local Resource Allocation. Karine Altisen, Stéphane Devismes, Anaïs Durand - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]
Self-Stabilizing Silent Disjunction in an Anonymous Network. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore - Theoretical Computer Science (TCS) - [bibtex]
On the existence and decidability of unique decompositions of processes in the applied (pi)-calculus. Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech - Theor. Comput. Sci. - [bibtex]
De la surveillance secrète à la prédiction des risques : les dérives du fichage dans le champ de la lutte contre le terrorisme. Virginie Gautron, David Monniaux - Archives de politique criminelle - [bibtex]
Conference Articles
Concurrence en allocation de ressources locales instantanément stabilisante. Karine Altisen, Stéphane Devismes, Anaïs Durand - Algotel'2016 - [bibtex]
Finding Recurrent Sets with Backward Analysis and Trace Partitioning. Alexey Bakhirkin, Nir Piterman - Tools and Algorithms for the Construction and Analysis of System (TACAS) - [bibtex]
Polynomial Invariants by Linear Algebra. Steven de Oliveira, Saddek Bensalem, Virgile Prevosto - Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - [bibtex]
A Compositional Approach to the Verification of Hybrid Systems. Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga - Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - [bibtex]
Compositional Parameter Synthesis. Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess - FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings - [bibtex]
Local Planning of Multiparty Interactions with Bounded Horizons. Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem - FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings - [bibtex]
Monitoring Multi-threaded Component-Based Systems. Hosein Nazarpour, Ylies Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz - Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings - [bibtex]
Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa - [bibtex]
A Model-Based Approach to Secure Multiparty Distributed Systems. Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa - [bibtex]
Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem - 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016 - [bibtex]
Performance Evaluation of Complex Systems Using the SBIP Framework. Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem - Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. - [bibtex]
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis. Robin David, Sebastien Bardin, Josselin Feist, Jean-Yves Marion, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta - Proceedings of SANER 2016 - [bibtex]
Efficient Monitoring of Loose-Ordering Properties for SystemC TLM. Yuliia Romenska, Florence Maraninchi - Design, Automation, and Test in Europe (DATE) - [bibtex]
Program Analysis with Local Policy Iteration. Egor George Karpenkov, David Monniaux, Philipp Wendler - Verification, Model Checking, and Abstract Interpretation (VMCAI) - [bibtex]
Toward large-scale vulnerability discovery using Machine Learning. Gustavo Grieco, Guillermo Luis Grinblat, Lucas Uzal, Sanjay Rawat, Josselin Feist, Laurent Mounier - Proceedings of CODASPY 2016 publisher = ACM - [bibtex]
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]
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]
SycView: Visualize and Profile SystemC Simulations. Denis Becker, Matthieu Moy, Jérôme Cornet - Workshop on Design Automation for Understanding Hardware Designs (DUHDe) - [bibtex]
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]
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]
Efficient Execution of Dependent Tasks on Many-Core Processors. Hamza Rihani, Claire Maiza, Matthieu Moy - RTSOPS 2016 - [bibtex]
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]
Application of the Reachability Analysis for the Iron Homeostasis Study. Alexandre Rocca, Thao Dang, Eric Fanchon, Jean Marc Moulis - Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings - [bibtex]
Parallelotope Bundles for Polynomial Reachability. Tommaso Dreossi, Thao Dang, Carla Piazza - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 - [bibtex]
Verification and Synthesis of Timing Contracts for Embedded Controllers. Mohammad Al Khatib, Antoine Girard, Thao Dang - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 - [bibtex]
SL2SX Translator: From Simulink to SpaceEx Models. Stefano Minopoli, Goran Frehse - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 - [bibtex]
From Simulation Models to Hybrid Automata Using Urgency and Relaxation. Stefano Minopoli, Goran Frehse - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 - [bibtex]
Some Thoughts on Runtime Verification. Oded Maler - Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings - [bibtex]
Online Timed Pattern Matching Using Derivatives. Dogan Ulus, Thomas Ferrére, Eugene Asarin, Oded Maler - Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETA - [bibtex]
Implementing a real-time avionic application on a many-core processor. Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond - 42nd European Rotorcraft Forum - [bibtex]
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]
A Survey of Satisfiability Modulo Theory. David Monniaux - Computer Algebra in Scientific Computing - [bibtex]
Cell Morphing: From Array Programs to Array-Free Horn Clauses. David Monniaux, Laure Gonnord - Static analysis - [bibtex]
Formula Slicing: Inductive Invariants from Preconditions. Egor George Karpenkov, David Monniaux - Hardware and Software: Verification and Testing (Haifa Verification Conference) - [bibtex]
Model Checking of Cache for WCET Analysis Refinement. Valentin Touzeau, Claire Maiza, David Monniaux - 10th Junior Researcher Workshop on Real-Time Computing - [bibtex]
Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn - Verification, Model Checking, and Abstract Interpretation (VMCAI) - [bibtex]
Specification of concretization and symbolization policies in symbolic execution. Robin David, Sebastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion - Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrucken, Germany, July 18-20, 2016 - [bibtex]
FISSC: A Fault Injection and Simulation Secure Collection. Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Lee, Aude Crohen, Philippe De Choudens - Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings - [bibtex]
Finding the Needle in the Heap: Combining Static Analysis and Dynamic Symbolic Execution to Trigger Use-After-Free. Feist Josselin, Mounier Laurent, Marie-Laure Potet, Sebastien Bardin, David Robin - Proceedings of the 6th Software Security, Protection, and Reverse Engineering Workshop, SSPREW 2016, Los Angeles, USA, December 5-6, 2016 - [bibtex]
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]
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]
Domain Specific Stateful Filtering with Worst-Case Bandwidth. Maxime Puys, Jean-Louis Roch, Marie-Laure Potet - 11th International Conference on Critical Information Infrastructures Security (CRITIS 2016) - [bibtex]
Private Multi-party Matrix Multiplication and Trust Computations. Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys - SECRYPT 2016 : 13th International Conference on Security and Cryptography - [bibtex]
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. Maxime Puys, Marie-Laure Potet, Pascal Lafourcade - International Conference on Computer Safety, Reliability, and Security (SAFECOMP'16) - [bibtex]
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property? Radu Iosif, Arnaud Sangnier - Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - [bibtex]
A Decision Procedure for Separation Logic in SMT. Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King - Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - [bibtex]
PhD Thesis and HDR
Methods for cryptographic protocols verification in the computational model. Mathilde Duclos - [bibtex]
Analyse de code et processus d'évaluation des composants sécurisé contre l'injection de faute. Louis Dureuil - Theses - [bibtex]
2015
Journal Articles
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]
Weak vs. Self vs. Probabilistic Stabilization. Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita - International Journal of Foundations of Computer Science - [bibtex]
Optimized distributed implementation of multiparty interactions with Restriction. Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis - Sci. Comput. Program. - [bibtex]
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Ylies Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem - Software and System Modeling - [bibtex]
Statistical model checking QoS properties of systems with SBIP. Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille J'egourel, Axel Legay - STTT - [bibtex]
Timing analysis enhancement for synchronous program. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae - Real-Time Systems - PDF - [bibtex]
On Probabilistic Snap-Stabilization. Karine Altisen, Stéphane Devismes - Theoretical Computer Science (TCS) - [bibtex]
Learning Regular Languages over Large Ordered Alphabets. Irini-Eleftheria Mens, Oded Maler - Logical Methods in Computer Science - [bibtex]
Book Chapters
Correctness of Service Components and Service Component Ensembles. Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron - Software Engineering for Collective Autonomic Systems - The ASCENS Approach - [bibtex]
Conference Articles
A Forward Analysis for Recurrent Sets. Alexey Bakhirkin, Josh Berdine, Nir Piterman - Static Analysis Symposium (SAS) - [bibtex]
Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. Martin Torngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schatz - Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015, Amsterdam, The Netherlands, October 4-9, 2015 - [bibtex]
A Robust Framework for Securing Composed Web Services. Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga - Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers - [bibtex]
Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga - 17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, 7th IEEE International Symposium on Cyberspace Safety and Security, CSS 2015, and 12th IEEE In - [bibtex]
A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. Lavindra de Silva, Rongjie Yan, Felix Ingrand, Rachid Alami, Saddek Bensalem - Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2015 Extended Abstracts, Portland, OR, USA, March 02 - 05, 2015 - [bibtex]
Optimized distributed implementation of timed component-based systems. Ahlem Triki, Jacques Combaz, Saddek Bensalem - 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015 - [bibtex]
Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem - NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - [bibtex]
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]
Towards Verified Faithful Simulation. Vania Joloboff, Jean-François Monin, Xiaomu Shi - Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings - [bibtex]
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]
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]
A Theory Agenda for Component-Based Design. Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga - Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering - [bibtex]
Compositional Verification of Parameterised Timed Systems. Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz - NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - [bibtex]
Using BIP to reinforce correctness of resource-constrained IoT applications. Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis - 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015 - [bibtex]
Models for deterministic execution of real-time multiprocessor applications. Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga - Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015 - [bibtex]
Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga - IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015, Auckland, New Zealand, 13-17 April, 2015 - [bibtex]
A Timed-Automata Based Middleware for Time-Critical Multicore Applications. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga - 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2015, Auckland, New Zealand, April 13-17, 2015 - [bibtex]
Building Distributed Sensor Network Applications using BIP. Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko-Djoko, Marius Bozga, Saddek Bensalem - Proceedings of 2015 IEEE Sensors Applications Symposium, Zadar, Croatia - [bibtex]
Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra. Sylvain Boulmé, Alexandre Maréchal - Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings - [bibtex]
From Code Review to Fault Injection Attacks: Filling the Gap using Fault Model Inference). Louis Dureuil, Marie-Laure Potet, Philippe de Choudens, Cécile Dumas, Jessy Clediére - 14th Smart Card Research and Advanced Application Conference) - [bibtex]
WCET analysis in shared resources real-time systems with TDMA buses. Hamza Rihani, Matthieu Moy, Claire Maiza, Sebastian Altmeyer - RTNS 2015 - [bibtex]
Lightweight Heuristics to Retrieve Parameter Associations from Binaries. Franck de Goer, Roland Groz, Laurent Mounier - Proceedings of the 5th Program Protection and Reverse Engineering Workshop - [bibtex]
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]
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]
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]
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]
Polyhedra to the rescue of array interpolants. Francesco Alberti, David Monniaux - ACM Symposium on Applied Computing, software verification and testing track - [bibtex]
Synthesis of ranking functions using extremal counterexamples. Laure Gonnord, David Monniaux, Gabriel Radanne - Programming Language Design and Implementation (PLDI) - [bibtex]
A simple abstraction of arrays and maps by program translation. David Monniaux, Francesco Alberti - Static analysis (SAS) - [bibtex]
Concurrency in Snap-Stabilizing Local Resource Allocation. Karine Altisen, Stéphane Devismes, Anaïs Durand - NETYS'2015, The International Conference on NETworked sYStems - [bibtex]
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]
Runtime-behavior based malware classification using online machine learning. Abdurrahman Pektas, Tankut Acarman, Ylies Falcone, Jean-Claude Fernandez - 2015 World Congress on Internet Security, WorldCIS 2015, Dublin, Ireland, October 19-21, 2015 - [bibtex]
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]
Performance Evaluations of Cryptographic Protocols. Verification Tools Dealing with Algebraic Properties. Pascal Lafourcade, Maxime Puys - To appear in FPS 2015 - [bibtex]
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. Tommaso Dreossi, Thao Dang, Alexandre Donz\' e, James Patrick Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh - NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - [bibtex]
Computing maximizer trajectories of affine dynamics for reachability. Goran Frehse - 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015 - [bibtex]
Running SpaceEx on the ARCH14 Benchmarks. Stefano Minopoli, Goran Frehse - 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH at CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH at CPSWeek 2015, Seattle, WA, USA, April 13, - [bibtex]
Current Challenges in the Verification of Hybrid Systems. Stefan Schupp, Erika \'Abrah\' a, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski - Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings - [bibtex]
Parameter Synthesis Through Temporal Logic Specifications. Thao Dang, Tommaso Dreossi, Carla Piazza - FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - [bibtex]
Eliminating spurious transitions in reachability with support functions. Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski - Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015 - [bibtex]
A Benchmark Suite for Hybrid Systems Reachability Analysis. Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika \'Abrah\' a, Goran Frehse, Stefan Kowalewski - NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - [bibtex]
An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis. Goran Frehse - Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 - [bibtex]
Measuring with Timed Patterns. Thomas Ferrére, Oded Maler, Dejan Nickovic, Dogan Ulus - Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II - [bibtex]
Stochastic Local Search for Falsification of Hybrid Systems. Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Patrick Kapinski, Oded Maler - Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - [bibtex]
On Switching Aware Synthesis for Combinational Circuits. Jan Láník, Oded Maler - Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - [bibtex]
Reducing power with activity trigger analysis. Jan Láník, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim - 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015 - [bibtex]
PhD Thesis and HDR
Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle. Alexis Fouilhé - [bibtex]
Rigorous System-level Modeling and Performance Evaluation for Embedded System Design. Ayoub Nouri - Theses - [bibtex]
Distributed Implementations of Timed Component-based Systems. Ahlem Triki - Theses - [bibtex]
Design flow for the rigorous development of networked embedded systems. Alexios Lekidis - Theses - [bibtex]
2014
Journal Articles
Verification and validation meet planning and scheduling. Saddek Bensalem, Klaus Havelund, Andrea Orlandini - STTT - [bibtex]
Statically detecting Use-After-Free on Binary Code. Josselin Feist, Laurent Mounier, Marie-Laure Potet - Journal of Computer Virology and Hacking Techniques - [bibtex]
Compte-rendu d'habilitation : Modélisation à haut niveau d'abstraction pour les systèmes embarqués. Matthieu Moy - Technique et Science Informatiques - [bibtex]
Synthesizing robust systems. Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Konighofer, Robert Konighofer - Acta Inf. - [bibtex]
Distributed Implementation of Constrained Systems based on Knowledge. Susanne Graf, Sophie Quinton - Journal on Software and Systems Modeling, SoSym - [bibtex]
Analyse de Code et Recherche de Vulnérabilités. Marie-Laure Potet, Josselin Feist, Laurent Mounier - Revue MISC - [bibtex]
Component-based verification using incremental design and invariants. Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan - Software & Systems Modeling - [bibtex]
Deciding Conditional Termination. Marius Bozga, Radu Iosif, Filip Konecn\'y - Logical Methods in Computer Science - [bibtex]
Implementing and Reasoning About Hash-consed Data Structures in Coq. Thomas Braibant, Jacques-Henri Jourdan, David Monniaux - Journal of Automated Reasoning - [bibtex]
Apport des méthodes formelles pour l'exploitation des logs informatiques dans un contexte contractuel. Gregor Goessler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei - TSI, Technique et Science Informatiques - [bibtex]
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
Contract-Based Reasoning for Component Systems with Rich Interactions. Susanne Graf, Roberto Passerone, Sophie Quinton - Embedded Systems Development - [bibtex]
Estimation de temps d'exécution et délais. Claire Maiza, Christine Rochange, Pascal Raymond - Ordonnancement dans les systèmes temps réel - [bibtex]
Estimation of Execution Time and Delays. Claire Maiza, Christine Rochange, Pascal Raymond - Real-time Systems Scheduling 1 - [bibtex]
The Unmet Challenge of Timed Systems. Oded Maler - From Programs to Systems - [bibtex]
Cellular iron regulation in animals: need and use of suitable models. Emmanuel Pourcelot, Nicolas Mobilia, Alexandre Donzé, Oded Maler, Pascal Mossuz, Eric Fanchon - Nutzen-Risiko-Bewertung von Mineralstoffen und Spurenelementen: Biochemische, physiologische und toxikologische Aspekte - [bibtex]
Conference Articles
Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction. Alexey Bakhirkin, Josh Berdine, Nir Piterman - Static Analysis Symposium (SAS) - [bibtex]
On Probabilistic Snap-Stabilization. Karine Altisen, Stéphane Devismes - ICDCN'2014, 15th International Conference on Distributed Computing and Networking - [bibtex]
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]
Learning Regular Languages over Large Alphabets. Oded Maler, Irini Eleftheria Mens - International Conference on Tools