CV Accueil - Archive ouverte HAL

	Statistical Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Caillaud , Benoît Delahaye Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.32-46, ⟨10.1007/978-3-642-13464-7_4⟩ Communication dans un congrès inria-00554321v2
	Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems. Benoît Delahaye , Benoît Caillaud , Axel Legay 10th International Conference on Application of Concurrency to System Design (ACSD), Jun 2010, Braga, Portugal Communication dans un congrès inria-00554297v1
	Compositional design methodology with constraint Markov chains Benoit Caillaud , Benoît Delahaye , Kim Guldstrand Larsen , Axel Legay , Mikkel L. Pedersen QEST 2010, Sep 2010, Williamsburg, Virginia, United States. ⟨10.1109/QEST.2010.23⟩ Communication dans un congrès inria-00591578v1

	Statistical abstraction and model-checking of large heterogeneous systems Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Caillaud , Benoît Delahaye [Research Report] RR-7238, INRIA. 2010 Rapport inria-00466158v1
	Compositional Design Methodology with Constraint Markov Chains Benoit Caillaud , Benoît Delahaye , Kim Guldstrand Larsen , Axel Legay , Mikkel L. Pedersen [Research Report] RR-6993, INRIA. 2009 Rapport inria-00404304v2
	Compositional Reasoning on (Probabilistic) Contracts Benoît Delahaye , Benoit Caillaud , Axel Legay [Research Report] RR-6970, INRIA. 2009 Rapport inria-00398985v1
	A Model for Probabilistic Reasoning on Assume/Guarantee Contracts Benoît Delahaye , Benoit Caillaud [Research Report] RR-6719, INRIA. 2008, pp.17 Rapport inria-00337538v1

	Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects Benoît Delahaye , Benoît Caillaud , Axel Legay Formal Methods in System Design, 2011, 38 (1), pp.1-32. ⟨10.1007/s10703-010-0107-8⟩ Article dans une revue inria-00554307v1
	Constraint Markov Chains Benoit Caillaud , Benoît Delahaye , Kim Guldstrand Larsen , Axel Legay , Mikkel L. Pedersen Theoretical Computer Science, 2011, 412 (34), pp.4373-4404. ⟨10.1016/j.tcs.2011.05.010⟩ Article dans une revue hal-00654003v1

Benoît Caillaud