Génération automatique de composants logiciels sûrs à partir de spécifications formelles B. (Automatic generation of reliable components from B formal specifications). - Dorian Petit (2003)

Reuse of SML module system for the B language. - Dorian Petit; Vincent Poirriez; Georges Mariano (FDL, 2004)

The B Method and the Component-Based Approach. - Dorian Petit; Vincent Poirriez; Georges Mariano (Trans. SDPS, 2004)

BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. - Samuel Colin; Dorian Petit; Vincent Poirriez; Jérôme Rocheteau; Rafael Marcano; Georges Mariano (SEFM, 2005)

Improving Traceability between KAOS Requirements Models and B Specifications. - Abderrahman Matoussi; Dorian Petit (ASM, 2010)

A first attempt to combine SysML requirements diagrams and B. - Régine Laleau; Farida Semmak; Abderrahman Matoussi; Dorian Petit; Ahmed Hammad; Bruno Tatibouët (Innov. Syst. Softw. Eng., 2010)

Towards a Method for the Decomposition by Refinement in Event-B. - Kenza Kraibi; Rahma Ben Ayed; Joris Rehm; Simon Collart Dutilleul; Philippe Bon; Dorian Petit (FM Workshops (2), 2019)

Event-B Decomposition Analysis for Systems Behavior Modeling. - Kenza Kraibi; Rahma Ben Ayed; Joris Rehm; Simon Collart Dutilleul; Philippe Bon; Dorian Petit (ICSOFT, 2019)

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. - Kenza Kraibi; Rahma Ben Ayed; Simon Collart Dutilleul; Philippe Bon; Dorian Petit (J. Commun., 2019)

Evaluation and qualification of mobile application quality. - Mikael Desertot; Rudy Bisiaux; Sylvain Lecomte; Dorian Petit (Int. J. Next Gener. Comput., 2020)

A systematic mapping study on agent mining. - Emmanuelle Grislin-Le Strugeon; Káthia Marçal de Oliveira; Marie Thilliez; Dorian Petit (J. Exp. Theor. Artif. Intell., 2022)