Publications of Benoit Delahaye

Load the BibTeX file

Academic Journals

1. 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.
2. 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.

International Conferences

1. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. In Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, John Hatcliff, Elena Zucca (eds.), Lecture Notes in Computer Science, Volume 6117, Pages 32-46, 2010.
2. Ananda Basu, Marius Bozga, Saddek Bensalem, Benoît Delahaye, Axel Legay, Emmanuel Sifakis. Verification of an AFDX Infrastructure using Simulations and Probabilities. In Proc. 1st International Conference on Runtime Verification, Malta, Lecture Notes in Computer Science, Volume, Pages 0-0, 2010.
3. Benoît Caillaud, Benoît Delahaye, Kim G. G. Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski. Compositional design methodology with constraint Markov chains. In Proceedings of the 7th International Conference on Quantitative Evaluation of SysTems (QEST) 2010, 2010.
4. Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems. In Proc. 10th International Conference on Application of Concurrency to System Design (ACSD), Braga, Portugal, 2010. download

Research Reports

1. Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. Compositional Design Methodology with Constraint Markov Chains. Research Report INRIA, No 0, 2009. download
2. Benoît Delahaye, Benoît Caillaud, Axel Legay. Compositional Reasoning on (Probabilistic) Contracts. Research Report INRIA, No 0, 2009. download
3. Benoît Delahaye, Benoît Caillaud. A model for Probabilistic Reasoning on Assume/Guarantee Contracts. Research Report INRIA, No 6719, 2008. download

Misc

1. Saddek Bensalem, Benoît Delahaye, Axel Legay. Statistical Model Checking: Present and Future: a tutorial. Proc. 1th International Conference on Runtime Verification, Malta, pp. 0-0, 2010.

Thesis

1. Benoît Delahaye. Modular Specification and Compositional Analysis of Stochastic Systems. PhD Thesis Université de Rennes 1, 2010.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.