Benoît Delahaye

50 papers B 7C 5Misc 2Journal 20Unranked 13

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models. ACM Trans. Model. Comput. Simul. David Julien, Gilles Ardourel, Guillaume Cantin, Benoît Delahaye
2022	—	`conf`	End-to-End Statistical Model Checking for Parametric ODE Models. QEST David Julien, Guillaume Cantin, Benoît Delahaye
2021	—	`conf`	Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard
2020	J	`jnl`	Consistency in Parametric Interval Probabilistic Timed Automata. J. Log. Algebraic Methods Program. Étienne André, Benoît Delahaye, Paulin Fournier
2020	—	`book`	Modeling and Verification of Systems with Uncertainties. (Modélisation et Vérification de systèmes incertains). Benoît Delahaye
2019	J	`jnl`	Consistency in Parametric Interval Probabilistic Timed Automata. CoRR Étienne André, Benoît Delahaye, Paulin Fournier
2019	C	`conf`	Graphical Event Model Learning and Verification for Security Assessment. IEA/AIE Dimitri Antakly, Benoît Delahaye, Philippe Leray
2019	J	`jnl`	Introducing probabilistic reasoning within Event-B. Softw. Syst. Model. Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix
2019	C	`conf`	Parametric Statistical Model Checking of UAV Flight Plan. FORTE Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime
2019	B	`conf`	Parametric Timed Broadcast Protocols. VMCAI Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
2018	J	`jnl`	Dynamic networks of heterogeneous timed machines. Math. Struct. Comput. Sci. José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay
2018	J	`jnl`	Parametric Timed Broadcast Protocols. CoRR Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
2018	J	`jnl`	Reachability in parametric Interval Markov Chains using constraints. Theor. Comput. Sci. Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet
2017	Misc	`conf`	Moving from Event-B to probabilistic Event-B. SAC Mohamed Amine, Benoît Delahaye, Arnaud Lanoix
2017	—	`conf`	Reachability in Parametric Interval Markov Chains Using Constraints. QEST Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
2017	J	`jnl`	Reachability in Parametric Interval Markov Chains using Constraints. CoRR Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
2016	C	`conf`	Consistency in Parametric Interval Probabilistic Timed Automata. TIME Étienne André, Benoît Delahaye
2016	B	`conf`	Parameter Synthesis for Parametric Interval Markov Chains. VMCAI Benoît Delahaye, Didier Lime, Laure Petrucci
2016	B	`conf`	Probabilistic Time Petri Nets. Petri Nets Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux
2016	—	`ed.`	Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. Cassting/SynCoP Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jirí Srba
2015	—	`conf`	Consistency for Parametric Interval Markov Chains. SynCoP Benoît Delahaye
2015	J	`jnl`	Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay
2014	C	`conf`	Heterogeneous Timed Machines. ICTAC Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
2014	J	`jnl`	Refinement and Difference for Probabilistic Automata Log. Methods Comput. Sci. Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay
2014	J	`jnl`	Stuttering for Abstract Probabilistic Automata. J. Log. Algebraic Methods Program. Benoît Delahaye, Kim G. Larsen, Axel Legay
2013	—	`conf`	A Timed Component Algebra for Services. FMOODS/FORTE Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
2013	J	`jnl`	Abstract Probabilistic Automata. Inf. Comput. Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2013	B	`conf`	Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
2013	J	`jnl`	Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
2013	—	`conf`	Refinement and Difference for Probabilistic Automata. QEST Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay
2013	Misc	`conf`	Stuttering for Abstract Probabilistic Automata. LFCS Benoît Delahaye, Kim G. Larsen, Axel Legay
2012	J	`jnl`	Consistency and refinement for Interval Markov Chains. J. Log. Algebraic Methods Program. Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2012	J	`jnl`	New results for Constraint Markov Chains. Perform. Evaluation Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2012	—	`conf`	Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri
2012	J	`jnl`	Statistical abstraction and model-checking of large heterogeneous systems. Int. J. Softw. Tools Technol. Transf. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay
2012	—	`conf`	Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
2011	—	`conf`	APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2011	B	`conf`	Abstract Probabilistic Automata. VMCAI Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2011	J	`jnl`	Constraint Markov Chains. Theor. Comput. Sci. Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2011	C	`conf`	Decision Problems for Interval Markov Chains. LATA Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2011	—	`conf`	New Results on Abstract Probabilistic Automata. ACSD Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2011	J	`jnl`	Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods Syst. Des. Benoît Delahaye, Benoît Caillaud, Axel Legay
2010	—	`conf`	Compositional Design Methodology with Constraint Markov Chains. QEST Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2010	—	`—`	Modular Specification and Compositional Analysis of Stochastic Systems. (Spécification Modulaire et Analyse Compositionnelle de Systèmes Stochastiques). Benoît Delahaye
2010	—	`conf`	Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. ACSD Benoît Delahaye, Benoît Caillaud, Axel Legay
2010	—	`conf`	Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
2010	J	`jnl`	Statistical Model Checking : An Overview CoRR Axel Legay, Benoît Delahaye
2010	B	`conf`	Statistical Model Checking: An Overview. RV Axel Legay, Benoît Delahaye, Saddek Bensalem
2010	B	`conf`	Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis
2008	J	`jnl`	A Model for Probabilistic Reasoning on Assume/Guarantee Contracts CoRR Benoît Delahaye, Benoît Caillaud