Folgen
Romain Soulat
Romain Soulat
Bestätigte E-Mail-Adresse bei thalesgroup.com
Titel
Zitiert von
Zitiert von
Jahr
IMITATOR 2.5: A tool for analyzing robustness in scheduling problems
É André, L Fribourg, U Kühne, R Soulat
International Symposium on Formal Methods, 33-36, 2012
1202012
Robustness analysis for scheduling problems using the inverse method
L Fribourg, R Soulat, D Lesens, P Moro
2012 19th International Symposium on Temporal Representation and Reasoning …, 2012
382012
The Inverse Method: Parametric Verification of Real-time Unbedded Systems
É André, R Soulat
John Wiley & Sons, 2013
372013
Parametric schedulability analysis of fixed priority real-time distributed systems
Y Sun, R Soulat, G Lipari, É André, L Fribourg
International Workshop on Formal Techniques for Safety-Critical Systems, 212-228, 2013
262013
Finite controlled invariants for sampled switched systems
L Fribourg, U Kühne, R Soulat
Formal Methods in System Design 45 (3), 303-329, 2014
232014
Control of switching systems by invariance analysis: applcation to power electronics
L Fribourg, R Soulat
John Wiley & Sons, 2013
212013
Synthesis of timing parameters satisfying safety properties
É André, R Soulat
International Workshop on Reachability Problems, 31-44, 2011
212011
Merge and conquer: State merging in parametric timed automata
É André, L Fribourg, R Soulat
Automated Technology for Verification and Analysis, 381-396, 2013
142013
Component-based analysis of hierarchical scheduling using linear hybrid automata
Y Sun, G Lipari, R Soulat, L Fribourg, N Markey
2014 IEEE 20th International Conference on Embedded and Real-Time Computing …, 2014
132014
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
É André, L Fribourg, JM Mota, R Soulat
International Conference on Verification, Model Checking, and Abstract …, 2019
112019
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems
G Giannopoulou, P Poplavko, D Socci, P Huang, N Stoimenov, P Bourgos, ...
Design Automation for Embedded Systems 22 (1), 141-181, 2018
112018
Climbing the software assurance ladder-practical formal verification for reliable software
Y Moy
Electronic Communications of the EASST 76, 2019
102019
Stability controllers for sampled switched systems
L Fribourg, R Soulat
International Workshop on Reachability Problems, 135-145, 2013
102013
Applying parametric model-checking techniques for reusing real-time critical systems
B Parquier, L Rioux, R Henia, R Soulat, OH Roux, D Lime, É André
International Workshop on Formal Techniques for Safety-Critical Systems, 129-144, 2016
92016
Minimator 1.0
U Kühne, R Soulat
82015
Correct by design control of 5-level and 7-level converters
G Feld, L Fribourg, D Labrousse, B Revol, R Soulat
Research Report LSV-12-25, LSV, ENS Cachan, France, 2012
72012
Limit cycles of controlled switched systems: Existence, stability, sensitivity
L Fribourg, R Soulat
Journal of Physics: Conference Series 464 (1), 012007, 2013
62013
The AMPERE Project:: A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization
E Quiñones, S Royuela, C Scordino, P Gai, LM Pinho, L Nogueira, J Rollo, ...
2020 IEEE 23rd International Symposium on Real-Time Distributed Computing …, 2020
52020
Control of multilevel power converters using formal methods. Research Report LSV-12-14, Laboratoire Spécification et Vérification
G Feld, L Fribourg, D Labrousse, S Lefebvre, B Revol, R Soulat
IEEE Trans, 2012
52012
Enhancing the inverse method with state merging
É André, L Fribourg, R Soulat
NASA Formal Methods Symposium, 100-105, 2012
42012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20