default search action

combined dblp search
author search
venue search
publication search

ask others

Romain Soulat

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BerthierOKLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BerthierOKLS23
Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat:
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. SAC 2023: 1706-1715
2022
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-14592
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-14592
Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat:
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. CoRR abs/2211.14592 (2022)
2020
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KosmatovLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KosmatovLS20
Nikolai Kosmatov, Delphine Longuet, Romain Soulat:
Formal Verification of an Industrial Distributed Algorithm: An Experience Report. ISoLA (1) 2020: 525-542
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/QuinonesRSGPNRC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/QuinonesRSGPNRC20
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: 201-206

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AndreFMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AndreFMS19
É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: 409-424
2018
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/GiannopoulouPSH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/GiannopoulouPSH18
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): 141-181 (2018)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1812-08949
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-08949
Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat:
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. CoRR abs/1812.08949 (2018)
2016
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/ParquierRHSRLA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/ParquierRHSRLA16
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: 129-144
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/CoentFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/CoentFS16
Adrien Le Coënt, Laurent Fribourg, Romain Soulat:
Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations. RP 2016: 134-147
2014
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - details & citations
- export record
  dblp key:
  - phd/hal/Soulat14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Soulat14
Romain Soulat:
Synthesis of correct-by-design schedulers for hybrid systems. (Synthèse d'ordonnanceurs corrects par conception pour les systèmes hybrides). École normale supérieure de Cachan, France, 2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FribourgKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FribourgKS14
Laurent Fribourg, Ulrich Kühne, Romain Soulat:
Finite controlled invariants for sampled switched systems. Formal Methods Syst. Des. 45(3): 303-329 (2014)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/SunLSFM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/SunLSFM14
Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey:
Component-based analysis of hierarchical scheduling using linear hybrid automata. RTCSA 2014: 1-10
[c10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FeldFLRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FeldFLRS14
Gilles Feld, Laurent Fribourg, Denis Labrousse, Bertrand Revol, Romain Soulat:
Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition. FSFMA 2014: 5-16
2013
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AndreFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AndreFS13
Étienne André, Laurent Fribourg, Romain Soulat:
Merge and Conquer: State Merging in Parametric Timed Automata. ATVA 2013: 381-396
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsfma/FribourgKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsfma/FribourgKS13
Laurent Fribourg, Ulrich Kühne, Romain Soulat:
Constructing Attractors of Nonlinear Dynamical Systems. FSFMA 2013: 53-60
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/SunSLAF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/SunSLAF13
Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg:
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. FTSCS 2013: 212-228
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/FribourgS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/FribourgS13
Laurent Fribourg, Romain Soulat:
Stability Controllers for Sampled Switched Systems. RP 2013: 135-145
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1302-1306
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-1306
Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg:
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. CoRR abs/1302.1306 (2013)
2012
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AndreFKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AndreFKS12
Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat:
IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. FM 2012: 33-36
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/AndreFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/AndreFS12
Étienne André, Laurent Fribourg, Romain Soulat:
Enhancing the Inverse Method with State Merging. NASA Formal Methods 2012: 100-105
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/time/FribourgSLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/FribourgSLM12
Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro:
Robustness Analysis for Scheduling Problems Using the Inverse Method. TIME 2012: 73-80
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/AndreS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/AndreS11
Étienne André, Romain Soulat:
Synthesis of Timing Parameters Satisfying Safety Properties. RP 2011: 31-44
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-3108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-3108
Laurent Fribourg, Bertrand Revol, Romain Soulat:
Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems. INFINITY 2011: 35-48

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.