Romain Soulat

Romain Soulat

Thales Research & Technology - Paris / France
Others
AD Scientific Index ID: 4451358
Thales Recherche et Technologie
person_outline Romain Soulat's MOST POPULAR ARTICLES
1-) IMITATOR 2.5: A tool for analyzing robustness in scheduling problemsÉ André, L Fribourg, U Kühne, R SoulatInternational Symposium on Formal Methods, 33-36, 20121202012
2-) Robustness analysis for scheduling problems using the inverse methodL Fribourg, R Soulat, D Lesens, P Moro2012 19th International Symposium on Temporal Representation and Reasoning …, 2012382012
3-) The Inverse Method: Parametric Verification of Real-time Unbedded SystemsÉ André, R SoulatJohn Wiley & Sons, 2013372013
4-) Parametric schedulability analysis of fixed priority real-time distributed systemsY Sun, R Soulat, G Lipari, É André, L FribourgFormal Techniques for Safety-Critical Systems: Second International Workshop …, 2014302014
5-) Control of switching systems by invariance analysis: applcation to power electronicsL Fribourg, R SoulatJohn Wiley & Sons, 2013252013