Dorian
PETIT

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

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

Colin S., Petit D. (2014). BRILLANT/BCaml—AFreeTools 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

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

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 .

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 .

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 .

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 .