Synthesis of Timing Parameters Satisfying Safety Properties. - Étienne André; Romain Soulat (RP, 2011)

Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems - Laurent Fribourg; Bertrand Revol; Romain Soulat (INFINITY, 2011)

IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. - Étienne André; Laurent Fribourg; Ulrich Kühne; Romain Soulat (FM, 2012)

Enhancing the Inverse Method with State Merging. - Étienne André; Laurent Fribourg; Romain Soulat (NASA Formal Methods, 2012)

Robustness Analysis for Scheduling Problems Using the Inverse Method. - Laurent Fribourg; Romain Soulat; David Lesens; Pierre Moro (TIME, 2012)

Merge and Conquer: State Merging in Parametric Timed Automata. - Étienne André; Laurent Fribourg; Romain Soulat (ATVA, 2013)

Constructing Attractors of Nonlinear Dynamical Systems. - Laurent Fribourg; Ulrich Kühne; Romain Soulat (FSFMA, 2013)

Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. - Youcheng Sun; Romain Soulat; Giuseppe Lipari; Étienne André; Laurent Fribourg (FTSCS, 2013)

Stability Controllers for Sampled Switched Systems. - Laurent Fribourg; Romain Soulat (RP, 2013)

Component-based analysis of hierarchical scheduling using linear hybrid automata. - Youcheng Sun; Giuseppe Lipari; Romain Soulat; Laurent Fribourg; Nicolas Markey (RTCSA, 2014)

Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition. - Gilles Feld; Laurent Fribourg; Denis Labrousse; Bertrand Revol; Romain Soulat (FSFMA, 2014)

Finite controlled invariants for sampled switched systems. - Laurent Fribourg; Ulrich Kühne; Romain Soulat (Formal Methods Syst. Des., 2014)

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

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é (FTSCS, 2016)

Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations. - Adrien Le Coënt; Laurent Fribourg; Romain Soulat (RP, 2016)

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 001; Nikolay Stoimenov; Paraskevas Bourgos; Lothar Thiele; Marius Bozga; Saddek Bensalem; Sylvain Girbal; Madeleine Faugère; Romain Soulat; et al. (Des. Autom. Embed. Syst., 2018)

Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. - Étienne André; Laurent Fribourg; Jean-Marc Mota; Romain Soulat (VMCAI, 2019)

Formal Verification of an Industrial Distributed Algorithm: An Experience Report. - Nikolai Kosmatov; Delphine Longuet; Romain Soulat (ISoLA (1), 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 001; Arne Hamann 001; Dirk Ziegenbein; Hadi Saoud; et al. (ISORC, 2020)

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. - Nicolas Berthier; Steven de Oliveira; Nikolai Kosmatov; Delphine Longuet; Romain Soulat (SAC, 2023)