Romain Soulat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2012–2023
Best venue rank
Multiconference
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SAC | An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. | Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat |
| 2020 | ISoLA | Formal Verification of an Industrial Distributed Algorithm: An Experience Report. | Nikolai Kosmatov, Delphine Longuet, Romain Soulat |
| 2020 | ISORC | The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization. | Eduardo Quiones, Sara Royuela, Claudio Scordino, Paolo Gai, Lus Miguel Pinho, Lus Nogueira, Jan Rollo, Tommaso Cucinotta, Alessandro Biondi, Arne Hamann, Dirk Ziegenbein, Hadi Saoud, Romain Soulat, Bjrn Forsberg, Luca Benini, Gianluca Mand, Luigi Rucher |
| 2019 | VMCAI | Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. | tienne Andr, Laurent Fribourg, Jean-Marc Mota, Romain Soulat |
| 2014 | RTCSA | Component-based analysis of hierarchical scheduling using linear hybrid automata. | Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey |
| 2013 | ATVA | Merge and Conquer: State Merging in Parametric Timed Automata. | tienne Andr, Laurent Fribourg, Romain Soulat |
| 2012 | FM | IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. | tienne Andr, Laurent Fribourg, Ulrich Khne, Romain Soulat |
| 2012 | TIME | Robustness Analysis for Scheduling Problems Using the Inverse Method. | Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro |