Benoît Barbot
Benoît Barbot
LACL, Université Paris-Est Créteil
Verified email at lacl.fr - Homepage
Title
Cited by
Cited by
Year
Efficient CTMC model checking of linear real-time objectives
B Barbot, T Chen, T Han, JP Katoen, A Mereacre
International Conference on Tools and Algorithms for the Construction and …, 2011
442011
Coupling and importance sampling for statistical model checking
B Barbot, S Haddad, C Picaronny
International Conference on Tools and Algorithms for the Construction and …, 2012
432012
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
P Ballarini, B Barbot, M Duflot, S Haddad, N Pekergin
Performance Evaluation 90, 53-77, 2015
362015
Estimation and verification of hybrid heart models for personalised medical and wearable devices
B Barbot, M Kwiatkowska, A Mereacre, N Paoletti
International Conference on Computational Methods in Systems Biology, 3-7, 2015
162015
On quantitative modelling and verification of DNA walker circuits using stochastic Petri nets
B Barbot, M Kwiatkowska
International Conference on Applications and Theory of Petri Nets and …, 2015
132015
A modular approach for reusing formalisms in verification tools of concurrent systems
É André, B Barbot, C Démoulins, LM Hillah, F Hulin-Hubard, F Kordon, ...
International Conference on Formal Engineering Methods, 199-214, 2013
112013
Compositional strategy synthesis for stochastic games with multiple objectives
N Basset, M Kwiatkowska, C Wiltsche
Information and Computation 261, 536-587, 2018
102018
Uniform sampling for timed automata with application to language inclusion measurement
B Barbot, N Basset, M Beunardeau, M Kwiatkowska
International Conference on Quantitative Evaluation of Systems, 175-190, 2016
92016
Importance sampling for model checking of continuous time markov chains
B Barbot, S Haddad, C Picaronny
SIMUL, 30-35, 2012
82012
Building power consumption models from executable timed I/O automata specifications
B Barbot, M Kwiatkowska, A Mereacre, N Paoletti
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
72016
Integrating simulink models into the model checker cosmos
B Barbot, B Bérard, Y Duplouy, S Haddad
International Conference on Applications and Theory of Petri Nets and …, 2018
42018
Statistical model-checking for autonomous vehicle safety validation
B Barbot, B Bérard, Y Duplouy, S Haddad
42017
Acceleration for statistical model checking
B Barbot
42014
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets
EG Amparore, B Barbot, M Beccuti, S Donatelli, G Franceschinis
Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced …, 2013
42013
Generation of signals under temporal constraints for CPS testing
B Barbot, N Basset, T Dang
NASA Formal Methods Symposium, 54-70, 2019
32019
Rare event handling in signalling cascades
B Barbot, S Haddad, M Heiner, C Picaronny
Int. J. Adv. Syst. Meas 8 (1-2), 69-79, 2015
22015
Échantillonnage préférentiel pour le model checking statistique
B Barbot, S Haddad, C Picaronny
Journal européen des systèmes automatisés 45 (1-3), 237-252, 2011
22011
Layered data: A modular formal definition without formalisms
A Linard, B Barbot, D Buchs, M Colange, C Démoulins, LM Hillah, ...
Petri Nets and Software Engineering (PNSE 2016) 1591, 287-306, 2016
12016
Performance modelling of access control mechanisms for local and vehicular wireless networks
P Ballarini, B Barbot, N Vasselin
Proceedings of the 12th EAI International Conference on Performance …, 2019
2019
Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
R Bakhshi, P Ballarini, B Barbot, H Castel-Taleb, A Remke
Springer, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20