![](https://sir.uphf.fr/images/photoCV/PETIT_222_petit_dorian.jpg)
Dorian
PETIT
-
Bâtiment ISTV 2
Bureau 77
Fonctions actuelles
- Enseignant Chercheur à l'IUT de Valenciennes antenne de Maubeuge, département Informatique. En CRCT CNU du 01/02/2012 au 31/07/2012 à l'IFSTTAR ESTAS.
Au sein de l'université
Diplômes universitaires
- 2003 : Doctorat Informatique Université de Valenciennes
- 1999 : DEA Programmation : Sémantiques, Preuves et Langages (Paris 7)
Responsabilités pédagogiques
- Chef du département informatique de l'IUT de 2008 à 2011
Revue internationale avec comité de lecture
Grislin-Le strugeon E., Oliveira K., Thilliez M., Petit D. (2022). A systematic mapping study on Agent Mining. Journal of Experimental & Theoretical Artificial Intelligence, 34 (2), pp. 189-214. [IF=2.039] [DOI=https://doi.org/10.1080/0952813X.2020.1864784].
Bisiaux R., Desertot M., Lecomte S., Petit D. (2020). Evaluation and qualification of mobile application quality. International Journal of Next-Generation Computing, 11, ISSN A paraitre
Kraibi K., Ben ayed R., Collart-Dutilleul S., Bon P., Petit D. (2019). Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. Journal of Communications, 14, pp. 980-986
Laleau R., Semmak F., Matoussi A., Petit D., Hammad A., Tatibouet B. (2010). A First Attempt to Combine SysML Requirements Diagrams and B (extended version of UML/FM2009). ISSE NASA journal (Innovations in Systems and Software Engineering)
Petit D., Poirriez V., Mariano G. (2004). The B method and the Component-Based approach. Journal of Design & Process Science: Transactions of the SDPS, 8, pp. 65-76, ISSN 1092-0617
Revue nationale avec comité de lecture
Jacquot J.-P., Laleau R., Mountassir H., Poirriez V., Petit D. (2011). Assemblage de composants digne de confiance : de l'expression des besoins aux spécifications formelles. Génie Logiciel, 95
Chapitre d'ouvrage
Colin S., Petit D. (2014). BRILLANT/BCamlAFreeTools Platform for the B Method. In Jean-Louis Boulanger, Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method, John Wiley & Sons, Inc., pp. Chapter 8, ISBN 9781848217096
Colin S., Petit D. (2013). BRILLANT/BCaml - Une plateforme d'outils libres pour la méthode B. In J-L Boulanger, Mise en oeuvre de la méthode B, Hermès, pp. , ISBN 978-2-7462-3810-7
Conférence internationale avec actes et comité de lecture
Kraibi K., Ben ayed R., Rehm J., Collart-Dutilleul S., Bon P., Petit D. (2019). Towards a Method for the Decomposition by Refinement in Event-B. RefineNet, Co-located with FM 2019, Porto, pp. short paper, octobre .
Kraibi K., Ben ayed R., Rehm J., Collart-Dutilleul S., Bon P., Petit D. (2019). Event-B Decomposition Analysis for Systems Behavior Modeling. Marten van Sinderen, Leszek A. Maciaszek, 14th International Conference on Software Technologies, ICSOFT, Prague, Czech Republic, pp. 278-286, juillet ., ISBN 978-989-758-379-7 [DOI=10.5220/0007929602780286].
Bisiaux R., Desertot M., Lecomte S., Perchat J., Petit D. (2017). Improving quality on native and cross-platform mobile application. Mobility2017, The Seventh International Conference on Mobile Services, Resources, and Users, Rome, Italy, juin .
Bon P., Collart-Dutilleul S., Petit D. (2012). Integration of B activity into a global design process of critical software. Transport Research Arena Europe 2012, Athens, Greece, avril .
Collart-Dutilleul S., Bon P., Petit D. (2011). A set of design oriented scientific tools to assist abstract B machine specification. 3rd IEEE International Symposium on Logistics and Industrial Informatics, Budapest, Hungary, août .
Matoussi A., Petit D. (2010). Improving traceability between KAOS requirements models and B specifications. ABZ conference, Orford, Canada, février .
Laleau R., Semmak F., Matoussi A., Petit D., Hammad A., Tatibouet B. (2009). A First Attempt to Combine SysML Requirements Diagrams and B. Second IEEE International workshop UML and Formal Methods, Rio de Janeiro, Brasil, décembre .
Colin S., Petit D., Rocheteau J., Marcano R., Mariano G., Poirriez V. (2005). BRILLANT: An Open Source and XML-based platform for Rigourous Software Development. Bernhard Aichernig and Bernhard Beckert, 3rd International Conference on Software Engineering and Formal Methods, IEEE Computer Society Press, Koblenz, Germany, pp. 373-382, septembre ., ISBN 0-7695-2435-4
Petit D., Poirriez V., Mariano G. (2004). Reuse of SML module system for the B language. Forum on specification and Design Languages, Lille, septembre .
Petit D., Poirriez V., Mariano G. (2003). The B method and the component-based approach. Seventh Conference on Integrated Design and Process Technology, Austin (in replacement of Bejin du to SRAS), USA, décembre ., ISBN 1090-9389
Petit D., Poirriez V., Mariano G. (2003). Génération de composants à partir de specifications {B}. Actes de AFADL : Approches Formelles dans l'Assistance au Développement de Logiciels, IRISA ISBN 2-7261-1263-6, Rennes France, pp. 103-119, janvier .
Petit D., Mariano G., Poirriez V., Boulanger J.-L. (2003). Automatic Annotated Code Generation from B Formal Specifications. Symposium on Formal Methods for Railway Operation and Control Systems, 2003, L'Harmattan, Budapest, pp. 37-44, janvier ., ISBN 963-9457-45-0
Petit D., Mariano G., Poirriez V. (2002). Development of Formal Components Using the B Method. COLOGNET Joint Workshop on Component-based Software Development, Madrid, Espagne, septembre .
Petit D., Mariano G., Poirriez V. (2002). Vers un système de modules à la Harper-Lillibridge-Leroy pour les spécifications formelles B. JFLA : Journées Francophones des Langages Applicatifs, 2002, Anglet, pp. 85-100, janvier ., ISBN 2-7261-1197-1
Conférence nationale avec actes et comité de lecture
Bon P., Collart-Dutilleul S., Petit D. (2011). Un ensemble d'outils scientifiques orientés modèles pour assister la conception de spécification en langage B. 2me Conférence Nationale sur les Systèmes d'ordre Fractionnaire et leurs Applications. SOFA'11, Tizi-Ouzou, Algeria, octobre .
Séminaire et autres communications
Petit D. (2004). Génération de composants logiciels sûrs à partir de spécifications formelles B : point de vue de l'AS. Journée AS 164 du RTP 49, CEA Saclay, mai .
Petit D. (2003). Génrération de composants logiciels à partir de spécifications B. , LIFC, Besancon, septembre .
Petit D., Mariano G., Poirriez V. (2002). Un outil pour le dépliage de spécifications B. Journées du groupe B du GDR ALP, Cnam Paris, France, juin .
Petit D., Mariano G. (2002). La plate-forme BCaml. Journées du groupe B du GDR ALP, Cnam Paris, France, juin .
Rapport de contrat de recherche
Petit D., Poirriez V., Mariano G. (2003). Reuse of SML module system for the B language. Technical Report LAMIH-ROI 2003-1, LAMIH-ROI, Valenciennes, janvier .
Mémoire de doctorat
Petit D. (2003). Génération automatique de composants logiciels sûrs à partir de spécifications formelles B. , Université de Valenciennes et du Hainaut-Cambrésis, Valenciennes, décembre .