Romain Soulat

According to our database, Romain Soulat authored at least 20 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee.

Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2020

The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization.

Eduardo Quiñones, Sara Royuela, Claudio Scordino, Paolo Gai, Luís Miguel Pinho, Luís Nogueira, Jan Rollo, Tommaso Cucinotta, Alessandro Biondi, Arne Hamann, Dirk Ziegenbein, Hadi Saoud, Romain Soulat, Björn Forsberg, Luca Benini, Gianluca Mandò, Luigi Rucher

Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020

Formal Verification of an Industrial Distributed Algorithm: An Experience Report.

Nikolai Kosmatov, Delphine Longuet, Romain Soulat

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2019

Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking.

Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems.

Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Benoît Dupont de Dinechin

Des. Autom. Embed. Syst., 2018

2016

Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations.

Adrien Le Coënt, Laurent Fribourg, Romain Soulat

Proceedings of the Reachability Problems - 10th International Workshop, 2016

Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems.

Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

2014

Synthesis of correct-by-design schedulers for hybrid systems. (Synthèse d'ordonnanceurs corrects par conception pour les systèmes hybrides).

Romain Soulat

PhD thesis, 2014

Finite controlled invariants for sampled switched systems.

Laurent Fribourg, Ulrich Kühne, Romain Soulat

Formal Methods Syst. Des., 2014

Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition.

Gilles Feld, Laurent Fribourg, Denis Labrousse, Bertrand Revol, Romain Soulat

Proceedings of the Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, 2014

Component-based analysis of hierarchical scheduling using linear hybrid automata.

Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey

Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

2013

Stability Controllers for Sampled Switched Systems.

Laurent Fribourg, Romain Soulat

Proceedings of the Reachability Problems - 7th International Workshop, 2013

Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems.

Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Constructing Attractors of Nonlinear Dynamical Systems.

Laurent Fribourg, Ulrich Kühne, Romain Soulat

Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

Merge and Conquer: State Merging in Parametric Timed Automata.

Étienne André, Laurent Fribourg, Romain Soulat

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Robustness Analysis for Scheduling Problems Using the Inverse Method.

Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Enhancing the Inverse Method with State Merging.

Étienne André, Laurent Fribourg, Romain Soulat

Proceedings of the NASA Formal Methods, 2012

IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems.

Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat

Proceedings of the FM 2012: Formal Methods, 2012

2011

Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems

Laurent Fribourg, Bertrand Revol, Romain Soulat

Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011

Synthesis of Timing Parameters Satisfying Safety Properties.

Étienne André, Romain Soulat

Proceedings of the Reachability Problems - 5th International Workshop, 2011