| 2025 | MODELSWARD | Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction. | Bastien Sultan, Ludovic Apvrille, Oana Hotescu, Pierre de Saqui-Sannes |
| 2023 | MODELSWARD | Mutation of Formally Verified SysML Models. | Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert |
| 2022 | MODELSWARD | SysML Models Verification Relying on Dependency Graphs. | Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino |
| 2022 | MODELSWARD | Dependency Graphs to Boost the Verification of SysML Models. | Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino |
| 2020 | MODELSWARD | A Methodological Assistant for Use Case Diagrams. | Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds |
| 2020 | MODELSWARD | A Methodological Assistant for UML and SysML Use Case Diagrams. | Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds |
| 2015 | ETFA | Multi domain optimization with SysML modeling. | Patrick Leserf, Pierre de Saqui-Sannes, Jrme Hugues |
| 2015 | MODELSWARD | SysML Modeling for Embedded Systems Design Optimization - A Case Study. | Patrick Leserf, Pierre de Saqui-Sannes, Jrme Hugues, Khaled Chaaban |
| 2015 | MODELSWARD | Architecture Optimization with SysML Modeling: A Case Study Using Variability. | Patrick Leserf, Pierre de Saqui-Sannes, Jrme Hugues, Khaled Chaaban |
| 2008 | AICCSA | Test of preemptive real-time systems. | Noureddine Adjir, Pierre de Saqui-Sannes, Mustapha Kamel Rahmouni |
| 2006 | FORTE | Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. | Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2006 | ICFEM | Mapping RT-LOTOS Specifications into Time Petri Nets. | Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2005 | SEFM | From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. | Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 1998 | FORTE | A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. | Celso A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes |
| 1996 | MMM | Hypermedia Document Design Using the HTSPN Model. | Roberto Willrich, Pierre de Saqui-Sannes, Patrick Snac, Michel Diaz |
| 1992 | NOSSDAV | Basic Synchronization Concepts in Multimedia Systems. | Luiz F. Rust da Costa Carmo, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 1989 | FORTE | From the Simulation to the Verification of Estelle Specifications. | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 1988 | FORTE | ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |