Romain Soulat

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