Seguir
Benoît Delahaye
Benoît Delahaye
Associate Professor, Nantes University, LS2N
Email confirmado em univ-nantes.fr
Título
Citado por
Citado por
Ano
Statistical Model Checking: An Overview.
A Legay, B Delahaye, S Bensalem
RV 10, 122-135, 2010
5582010
Statistical abstraction and model-checking of large heterogeneous systems
A Basu, S Bensalem, M Bozga, B Delahaye, A Legay
International Journal on Software Tools for Technology Transfer 14, 53-72, 2012
1162012
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
612011
Statistical model checking QoS properties of systems with SBIP
A Nouri, S Bensalem, M Bozga, B Delahaye, C Jegourel, A Legay
International Journal on Software Tools for Technology Transfer 17, 171-185, 2015
562015
Constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Theoretical Computer Science 412 (34), 4373-4404, 2011
512011
Compositional design methodology with constraint Markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wasowski
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
492010
Statistical model checking QoS properties of systems with SBIP
S Bensalem, M Bozga, B Delahaye, C Jegourel, A Legay, A Nouri
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
422012
Verification of an AFDX infrastructure using simulations and probabilities
A Basu, S Bensalem, M Bozga, B Delahaye, A Legay, E Sifakis
Runtime Verification: First International Conference, RV 2010, St. Julians …, 2010
422010
Decision problems for interval Markov chains
B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Language and Automata Theory and Applications: 5th International Conference …, 2011
312011
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Information and Computation 232, 66-116, 2013
302013
Probabilistic contracts: A compositional reasoning methodology for the design of stochastic systems
B Delahaye, B Caillaud, A Legay
2010 10th International Conference on Application of Concurrency to System …, 2010
302010
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
B Delahaye, B Caillaud, A Legay
Formal Methods in System Design 38, 1-32, 2011
292011
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
N Beneš, B Delahaye, U Fahrenberg, J Křetínský, A Legay
CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013
262013
New results on abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
2011 Eleventh International Conference on Application of Concurrency to …, 2011
222011
Parameter synthesis for parametric interval Markov chains
B Delahaye, D Lime, L Petrucci
Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
212016
Consistency and refinement for interval markov chains
B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wa
The Journal of Logic and Algebraic Programming 81 (3), 209-226, 2012
192012
Consistency for parametric interval Markov chains
B Delahaye
2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15), 2015
182015
Reachability in parametric interval Markov chains using constraints
A Bart, B Delahaye, P Fournier, D Lime, E Monfroy, C Truchet
Theoretical Computer Science 747, 48-74, 2018
172018
Probabilistic time Petri nets
Y Emzivat, B Delahaye, D Lime, OH Roux
Application and Theory of Petri Nets and Concurrency: 37th International …, 2016
172016
APAC: A tool for reasoning about abstract probabilistic automata
B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wasowski
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
162011
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20