Benoît Delahaye

	2012
15		Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Consistency and refinement for Interval Markov Chains. J. Log. Algebr. Program. 81(3): 209-226 (2012)
14		Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay: Statistical abstraction and model-checking of large heterogeneous systems. STTT 14(1): 53-72 (2012)
	2011
13		Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: New Results on Abstract Probabilistic Automata. ACSD 2011: 118-127
12		Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Decision Problems for Interval Markov Chains. LATA 2011: 274-285
11		Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST 2011: 151-152
10		Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: Abstract Probabilistic Automata. VMCAI 2011: 324-339
9		Benoît Delahaye, Benoît Caillaud, Axel Legay: Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods in System Design 38(1): 1-32 (2011)
8		Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Constraint Markov Chains. Theor. Comput. Sci. 412(34): 4373-4404 (2011)
	2010
7		Benoît Delahaye, Benoît Caillaud, Axel Legay: Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. ACSD 2010: 223-232
6		Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay: Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE 2010: 32-46
5		Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Compositional Design Methodology with Constraint Markov Chains. QEST 2010: 123-132
4		Axel Legay, Benoît Delahaye, Saddek Bensalem: Statistical Model Checking: An Overview. RV 2010: 122-135
3		Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis: Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV 2010: 330-344
2		Axel Legay, Benoît Delahaye: Statistical Model Checking : An Overview CoRR abs/1005.1327: (2010)
	2008
1		Benoît Delahaye, Benoît Caillaud: A Model for Probabilistic Reasoning on Assume/Guarantee Contracts CoRR abs/0811.1151: (2008)

Coauthor Index

1	Ananda Basu	[3] [6] [14]
2	Saddek Bensalem	[3] [4] [6] [14]
3	Marius Bozga	[3] [6] [14]
4	Benoît Caillaud	[1] [5] [6] [7] [8] [9]
5	Joost-Pieter Katoen	[10] [13]
6	Kim Guldstrand Larsen (Kim G. Larsen)	[5] [8] [10] [11] [12] [13] [15]
7	Axel Legay	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
8	Mikkel L. Pedersen	[5] [8] [10] [11] [12] [13] [15]
9	Falak Sher	[10] [13]
10	Emmanuel Sifakis	[3]
11	Andrzej Wasowski	[5] [8] [10] [11] [12] [13] [15]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page