Dorian Petit

A systematic mapping study on agent mining

Dorian Petit, Marie Thilliez, Emmanuelle Grislin-Le Strugeon, 2021, J. Exp. Theor. Artif. Intell..

A set of design oriented scientific tools to assist abstract B machine specification

Simon Collart-Dutilleul, Dorian Petit, Philippe Bon, 2011, 3rd IEEE International Symposium on Logistics and Industrial Informatics.

A first attempt to combine SysML requirements diagrams and B

Régine Laleau, Abderrahman Matoussi, Farida Semmak, 2010, Innovations in Systems and Software Engineering.

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B

Rahma Ben Ayed, Dorian Petit, Philippe Bon, 2019, J. Commun..

The B Method and the Component-Based Approach

Dorian Petit, Vincent Poirriez, Georges Mariano, 2004, Trans. SDPS.

Towards a Method for the Decomposition by Refinement in Event-B

Rahma Ben Ayed, Dorian Petit, Philippe Bon, 2019, FM Workshops.

Event-B Decomposition Analysis for Systems Behavior Modeling

Rahma Ben Ayed, Dorian Petit, Philippe Bon, 2019, ICSOFT.