CV Accueil - Archive ouverte HAL

	Introducing Probabilistic Reasoning within Event-B Mohamed Amine Aouadhi , Benoît Delahaye , Arnaud Lanoix Software and Systems Modeling, 2019 Article dans une revue hal-01610778v1

	Une extension probabiliste pour Event-B Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France Communication dans un congrès hal-01685126v1
	Moving from Event-B to Probabilistic Event-B Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix 32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. ⟨10.1145/3019612.3019823⟩ Communication dans un congrès hal-01590903v1

	Moving from Event-B to Probabilistic Event-B Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix [Research Report] LINA-University of Nantes. 2016 Rapport hal-01316599v1
	A Fully Probabilistic Extension of Event-B Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix [Research Report] LINA-University of Nantes. 2016 Rapport hal-01255753v1
	Moving from Event-B to probabilistic Event-B Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix [Research Report] LINA-University of Nantes. 2016 Rapport hal-01316610v2
	About Probabilistic Event-B Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix [Research Report] LINA-University of Nantes. 2015 Rapport hal-01151594v2

Arnaud Lanoix