| 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 | 135 | 2012 |
| 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 | 44 | 2012 |
| The Inverse Method: Parametric Verification of Real-time Unbedded Systems É André, R Soulat John Wiley & Sons, 2013 | 41 | 2013 |
| 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 | 32 | 2013 |
| Control of switching systems by invariance analysis: applcation to power electronics L Fribourg, R Soulat John Wiley & Sons, 2013 | 26 | 2013 |
| Finite controlled invariants for sampled switched systems L Fribourg, U Kühne, R Soulat Formal Methods in System Design 45 (3), 303-329, 2014 | 23 | 2014 |
| Synthesis of timing parameters satisfying safety properties É André, R Soulat International Workshop on Reachability Problems, 31-44, 2011 | 22 | 2011 |
| 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, LM Nogueira, ... 23rd IEEE International Symposium on Real-Time Distributed Computing, 201-206, 2020 | 20 | 2020 |
| Merge and conquer: State merging in parametric timed automata É André, L Fribourg, R Soulat Automated Technology for Verification and Analysis: 11th International …, 2013 | 19 | 2013 |
| Climbing the software assurance ladder-practical formal verification for reliable software Y Moy Electronic Communications of the EASST 76, 2019 | 17 | 2019 |
| 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 | 16 | 2018 |
| 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 | 16 | 2014 |
| 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 | 14 | 2019 |
| 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 | 13 | 2016 |
| Stability controllers for sampled switched systems L Fribourg, R Soulat International Workshop on Reachability Problems, 135-145, 2013 | 9 | 2013 |
| An efficient black-box support of advanced coverage criteria for Klee N Berthier, S De Oliveira, N Kosmatov, D Longuet, R Soulat Proceedings of the 38th ACM/SIGAPP symposium on applied computing, 1706-1715, 2023 | 8 | 2023 |
| Minimator 1.0 U Kühne, R Soulat | 8 | 2015 |
| Limit cycles of controlled switched systems: Existence, stability, sensitivity L Fribourg, R Soulat Journal of Physics: Conference Series 464 (1), 012007, 2013 | 8 | 2013 |
| 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 | 6 | 2012 |
| Control of multilevel power converters using formal methods G Feld, L Fribourg, D Labrousse, S Lefebvre, B Revol, R Soulat Research Report LSV-12–14, Laboratoire Specification et Vérification ENS …, 2012 | 5 | 2012 |
Laurent FRIBOURGLMF - ENS Paris-Saclay & CNRSVerified email at lsv.fr
