ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. - Pierre de Saqui-Sannes; Jean-Pierre Courtiat (FORTE, 1988)

From the Simulation to the Verification of Estelle Specifications. - Pierre de Saqui-Sannes; Jean-Pierre Courtiat (FORTE, 1989)

An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. - Pierre de Saqui-Sannes; Jean-Pierre Courtiat (PSTV, 1991)

Basic Synchronization Concepts in Multimedia Systems. - Luiz F. Rust da Costa Carmo; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (NOSSDAV, 1992)

ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle. - Jean-Pierre Courtiat; Pierre de Saqui-Sannes (Comput. Networks ISDN Syst., 1992)

Verification by abstraction as a preamble for interoperability test suite generation. - Pierre de Saqui-Sannes; Jean-Pierre Courtiat; René Casadessus (PSTV, 1994)

Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems. - Patrick Sénac; Pierre de Saqui-Sannes; Roberto Willrich (Application and Theory of Petri Nets, 1995)

A Formal Framework for the Specification, Analysis and Generation of Standardized Hypermedia Documents. - Roberto Willrich; Patrick Sénac; Michel Diaz; Pierre de Saqui-Sannes (ICMCS, 1996)

Hypermedia Document Design Using the HTSPN Model. - Roberto Willrich; Pierre de Saqui-Sannes; Patrick Sénac; Michel Diaz (MMM, 1996)

Modeling Logical and Temporal Synchronization in Hypermedia Systems. - Patrick Sénac; Michel Diaz; Alain Léger; Pierre de Saqui-Sannes (IEEE J. Sel. Areas Commun., 1996)

A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. - Celso A. S. Santos; Jean-Pierre Courtiat; Pierre de Saqui-Sannes (FORTE, 1998)

A New UML Profile for Real-Time System Formal Design and Validation. - Ludovic Apvrille; Pierre de Saqui-Sannes; Christophe Lohr; Patrick Sénac; Jean-Pierre Courtiat (UML, 2001)

Testability analysis in communicating systems. - Khalil Drira; Pierre Azéma; Pierre de Saqui-Sannes (Comput. Networks, 2001)

Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java. - Roberto Willrich; Pierre de Saqui-Sannes; Patrick Sénac; Michel Diaz (Multim. Tools Appl., 2002)

New Operators for the TURTLE Real-Time UML Profile. - Christophe Lohr; Ludovic Apvrille; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (FMOODS, 2003)

Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System. - Ludovic Apvrille; Pierre de Saqui-Sannes; Patrick Sénac; Christophe Lohr (Autom. Softw. Eng., 2004)

TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. - Ludovic Apvrille; Jean-Pierre Courtiat; Christophe Lohr; Pierre de Saqui-Sannes (IEEE Trans. Software Eng., 2004)

Conception basée modèle des systèmes temps réel et distribués. - Pierre de Saqui-Sannes (2005)

From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. - Tarek Sadani; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (SEFM, 2005)

Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. - Tarek Sadani; Marc Boyer; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (FORTE, 2006)

Mapping RT-LOTOS Specifications into Time Petri Nets. - Tarek Sadani; Marc Boyer; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (ICFEM, 2006)

UML-Based Modeling and Formal Verification of Authentication Protocols. - Benjamin Fontan; Sara Mota; Thierry Villemur; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (ISSSE, 2006)

Real-Time and Embedded System Verification Based on Formal Requirements. - Benjamin Fontan; Ludovic Apvrille; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (IES, 2006)

Un environnement de conception de systèmes distribués basé sur UML. - Ludovic Apvrille; Pierre de Saqui-Sannes; Renaud Pacalet; Axelle Apvrille (Ann. des Télécommunications, 2006)

TURTLE-P: a UML profile for the formal validation of critical and distributed systems. - Ludovic Apvrille; Pierre de Saqui-Sannes; Ferhat Khendek (Softw. Syst. Model., 2006)

Temporal Verification in Secure Group Communication System Design. - Benjamin Fontan; Sara Mota; Pierre de Saqui-Sannes; Thierry Villemur (SECURWARE, 2007)

Test of preemptive real-time systems. - Noureddine Adjir; Pierre de Saqui-Sannes; Mustapha Kamel Rahmouni (AICCSA, 2008)

Synthèse d'observateurs à partir d'exigences temporelles. - Benjamin Fontan; Pierre de Saqui-Sannes; Ludovic Apvrille (LMO, 2008)

Adding a methodological assistant to a protocol modeling environment. - Ludovic Apvrille; Pierre de Saqui-Sannes (NOTERE, 2008)

Testing Real-Time Systems Using TINA. - Noureddine Adjir; Pierre de Saqui-Sannes; Mustapha Kamel Rahmouni (TestCom/FATES, 2009)

Formal verification of secure group communication protocols modelled in UML. - Pierre de Saqui-Sannes; Thierry Villemur; Benjamin Fontan; Sara Mota; Mohamed Salah Bouassida; Najah Chridi; Isabelle Chrisment; Laurent Vigneron (Innov. Syst. Softw. Eng., 2010)

Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method. - Ludovic Apvrille; Ahlem Mifdaoui; Pierre de Saqui-Sannes (Stud. Inform. Univ., 2010)

TEPE: a SysML language for time-constrained property modeling and formal verification. - Daniel Knorreck; Ludovic Apvrille; Pierre de Saqui-Sannes (ACM SIGSOFT Softw. Eng. Notes, 2011)

Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons. - Ludovic Apvrille; Pierre de Saqui-Sannes (Tech. Sci. Informatiques, 2011)

Timed Test Case Generation Using Labeled Prioritized Time Petri Nets - Noureddine Adjir; Pierre de Saqui-Sannes; Mustapha Kamel Rahmouni; Abdelkader Adla (CoRR, 2012)

Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models. - Ludovic Apvrille; Pierre de Saqui-Sannes (SDL Forum, 2013)

Conformance Testing of Preemptive Real-Time Systems. - Noureddine Adjir; Pierre de Saqui-Sannes; Mustapha Kamel Rahmouni (Int. J. Embed. Real Time Commun. Syst., 2013)

Multi domain optimization with SysML modeling. - Patrick Leserf; Pierre de Saqui-Sannes; Jérôme Hugues (ETFA, 2015)

SysML Modeling for Embedded Systems Design Optimization - A Case Study. - Patrick Leserf; Pierre de Saqui-Sannes; Jérôme Hugues; Khaled Chaaban (MODELSWARD, 2015)

Architecture Optimization with SysML Modeling: A Case Study Using Variability. - Patrick Leserf; Pierre de Saqui-Sannes; Jérôme Hugues; Khaled Chaaban (MODELSWARD (Revised Selected Papers), 2015)

Feasibility study of a multispectral camera with automatic processing onboard a 27U satellite using model based space system engineering. - Andre Pierre Mattei; Luis Loures; Pierre de Saqui-Sannes; Benedicte Escudier (SysCon, 2017)

General architecture for data analysis in industry 4.0 using SysML and model based system engineering. - Márcio da Silva Arantes; Renan Bonnard; Andre Pierre Mattei; Pierre de Saqui-Sannes (SysCon, 2018)

A SysML Method with Network Dimensioning. - Hugo Daigmorte; Pierre de Saqui-Sannes; Rob A. Vingerhoeds (ISSE, 2019)

Test Sequence Generation From Formally Verified SysML Models. - Pierre de Saqui-Sannes; Ludovic Apvrille (Software Engineering (Workshops), 2019)

Trade-off analysis for SysML models using decision points and CSPs. - Patrick Leserf; Pierre de Saqui-Sannes; Jérôme Hugues (Softw. Syst. Model., 2019)

A Methodological Assistant for Use Case Diagrams. - Erika Rizzo Aquino; Pierre de Saqui-Sannes; Rob A. Vingerhoeds (MODELSWARD, 2020)

A Methodological Assistant for UML and SysML Use Case Diagrams. - Erika Rizzo Aquino; Pierre de Saqui-Sannes; Rob A. Vingerhoeds (MODELSWARD (Revised Selected Papers), 2020)

Combining STPA with SysML Modeling. - Fellipe Guilherme Rey de Souza; Juliana de Melo Bezerra; Celso Massaki Hirata; Pierre de Saqui-Sannes; Ludovic Apvrille (SysCon, 2020)

Populating MBSE Models from MDAO Analysis. - Ombeline Aïello; David Sanchez del Rio Kandel; Jean-Charles Chaudemar; Olivier Poitou; Pierre de Saqui-Sannes (ISSE, 2021)

Mastering Complexity for Indoor Inspection Drone Development. - Eric Razafimahazo; Pierre de Saqui-Sannes; Rob A. Vingerhoeds; Claude Baron; Julien Soulax; Romain Mège (ISSE, 2021)

MBSE and MDAO for Early Validation of Design Decisions: a Bibliography Survey. - Jean-Charles Chaudemar; Pierre de Saqui-Sannes (SysCon, 2021)

Towards a combination of MARTE and ECOA. - Mathieu Muzellec; Paul Vivot; Rob A. Vingerhoeds; Pierre de Saqui-Sannes (SysCon, 2021)

Checking SysML Models Against Safety and Security Properties. - Pierre de Saqui-Sannes; Ludovic Apvrille; Rob A. Vingerhoeds (J. Aerosp. Inf. Syst., 2021)

SysML Models Verification Relying on Dependency Graphs. - Ludovic Apvrille; Pierre de Saqui-Sannes; Oana Hotescu; Alessandro Tempia Calvino (MODELSWARD, 2022)

Dependency Graphs to Boost the Verification of SysML Models. - Ludovic Apvrille; Pierre de Saqui-Sannes; Oana Hotescu; Alessandro Tempia Calvino (MODELSWARD (Revised Selected Papers), 2022)

Mind Maps Upstream SysML v2 Diagrams. - Pierre de Saqui-Sannes; Rob A. Vingerhoeds; Nasrine Damouche; Eric Razafimahazo; Ombeline Aïello; Maisa Cietto (SysCon, 2022)

A Taxonomy of MBSE Approaches by Languages, Tools and Methods. - Pierre de Saqui-Sannes; Rob A. Vingerhoeds; Christophe Garion; Xavier Thirioux (IEEE Access, 2022)

Mutation of Formally Verified SysML Models. - Ludovic Apvrille; Bastien Sultan; Oana Hotescu; Pierre de Saqui-Sannes; Sophie Coudert (MODELSWARD, 2023)

Modeling UAS Flight Procedures for SORA Safety Objectives. - Charles Mathou; Kevin Delmas; Jean-Charles Chaudemar; Pierre de Saqui-Sannes (SysCon, 2023)

Safety-oriented dynamic procedure modeling. - Charles Mathou; Kevin Delmas; Pierre de Saqui-Sannes; Jean-Charles Chaudemar (SysCon, 2024)

Incremental and Formal Verification of SysML Models. - Sophie Coudert; Ludovic Apvrille; Bastien Sultan; Oana Hotescu; Pierre de Saqui-Sannes (SN Comput. Sci., 2024)

Mission-based design of UAVs. - Jean-Charles Chaudemar; Ombeline Aïello; Pierre de Saqui-Sannes; Olivier Poitou (Syst. Eng., 2024)

Preface to the special issue on model-driven engineering and system analysis and modelling. - Iulian Ober; Pierre de Saqui-Sannes; Peter Herrmann; Stein Erik Ellevseth (Innov. Syst. Softw. Eng., 2024)

Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction. - Bastien Sultan; Ludovic Apvrille; Oana Hotescu; Pierre de Saqui-Sannes (MODELSWARD, 2025)

Some Lessons Learned from Teaching SE and MBSE. - Pierre de Saqui-Sannes; Rob A. Vingerhoeds (SysCon, 2025)