Dorian Petit

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 5

Top Topics

Structural Learning

Unified Modeling Language

Top Venues

Int. J. Next Gener. Comput.

FM Workshops (2)

Publications

Emmanuelle Grislin-Le Strugeon, Káthia Marçal de Oliveira, Marie Thilliez, Dorian Petit
A systematic mapping study on agent mining. J. Exp. Theor. Artif. Intell. 34 (2) (2022)
Mikael Desertot, Rudy Bisiaux, Sylvain Lecomte, Dorian Petit
Evaluation and qualification of mobile application quality. Int. J. Next Gener. Comput. 11 (1) (2020)
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Towards a Method for the Decomposition by Refinement in Event-B. FM Workshops (2) (2019)
Kenza Kraibi, Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. J. Commun. 14 (10) (2019)
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Event-B Decomposition Analysis for Systems Behavior Modeling. ICSOFT (2019)
Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët
A first attempt to combine SysML requirements diagrams and B. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Abderrahman Matoussi, Dorian Petit
Improving Traceability between KAOS Requirements Models and B Specifications. ASM (2010)
Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. SEFM (2005)
Dorian Petit, Vincent Poirriez, Georges Mariano
The B Method and the Component-Based Approach. Trans. SDPS 8 (1) (2004)
Dorian Petit, Vincent Poirriez, Georges Mariano
Reuse of SML module system for the B language. FDL (2004)