Dorian Petit

According to our database, Dorian Petit authored at least 11 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

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

2020

Evaluation and qualification of mobile application quality.

Mikael Desertot, Rudy Bisiaux, Sylvain Lecomte, Dorian Petit

Int. J. Next Gener. Comput., 2020

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

Event-B Decomposition Analysis for Systems Behavior Modeling.

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit

Proceedings of the 14th International Conference on Software Technologies, 2019

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

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

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

Improving Traceability between KAOS Requirements Models and B Specifications.

Abderrahman Matoussi, Dorian Petit

Proceedings of the Abstract State Machines, 2010

2005

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

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

The B Method and the Component-Based Approach.

Dorian Petit, Vincent Poirriez, Georges Mariano

Trans. SDPS, 2004

Reuse of SML module system for the B language.

Dorian Petit, Vincent Poirriez, Georges Mariano

Proceedings of the Forum on specification and Design Languages, 2004

2003

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

PhD thesis, 2003