Romain Soulat

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 9

Top Venues

CoRR

FTSCS

FSFMA

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. SAC (2023)
Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. CoRR (2022)
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
The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization. ISORC (2020)
Nikolai Kosmatov, Delphine Longuet, Romain Soulat
Formal Verification of an Industrial Distributed Algorithm: An Experience Report. ISoLA (1) (2020)
Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. VMCAI (2019)
Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. CoRR (2018)
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
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Des. Autom. Embed. Syst. 22 (1-2) (2018)
Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. FTSCS (2016)
Adrien Le Coënt, Laurent Fribourg, Romain Soulat
Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations. RP (2016)
Laurent Fribourg, Ulrich Kühne, Romain Soulat
Finite controlled invariants for sampled switched systems. Formal Methods Syst. Des. 45 (3) (2014)
Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey
Component-based analysis of hierarchical scheduling using linear hybrid automata. RTCSA (2014)
Gilles Feld, Laurent Fribourg, Denis Labrousse, Bertrand Revol, Romain Soulat
Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition. FSFMA (2014)
Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems CoRR (2013)
Étienne André, Laurent Fribourg, Romain Soulat
Merge and Conquer: State Merging in Parametric Timed Automata. ATVA (2013)
Laurent Fribourg, Romain Soulat
Stability Controllers for Sampled Switched Systems. RP (2013)
Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. FTSCS (2013)
Laurent Fribourg, Ulrich Kühne, Romain Soulat
Constructing Attractors of Nonlinear Dynamical Systems. FSFMA (2013)
Étienne André, Laurent Fribourg, Romain Soulat
Enhancing the Inverse Method with State Merging. NASA Formal Methods (2012)
Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat
IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. FM (2012)
Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro
Robustness Analysis for Scheduling Problems Using the Inverse Method. TIME (2012)
Laurent Fribourg, Bertrand Revol, Romain Soulat
Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems INFINITY (2011)
Étienne André, Romain Soulat
Synthesis of Timing Parameters Satisfying Safety Properties. RP (2011)

Romain Soulat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Romain Soulat