Pierre de Saqui-Sannes

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 24

Top Topics

Automatic Processing

Top Venues

MODELSWARD (Revised Selected Papers)

Publications

Charles Mathou, Kevin Delmas, Pierre de Saqui-Sannes, Jean-Charles Chaudemar
Safety-oriented dynamic procedure modeling. SysCon (2024)
Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes
Incremental and Formal Verification of SysML Models. SN Comput. Sci. 5 (6) (2024)
Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert
Mutation of Formally Verified SysML Models. MODELSWARD (2023)
Charles Mathou, Kevin Delmas, Jean-Charles Chaudemar, Pierre de Saqui-Sannes
Modeling UAS Flight Procedures for SORA Safety Objectives. SysCon (2023)
Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino
SysML Models Verification Relying on Dependency Graphs. MODELSWARD (2022)
Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino
Dependency Graphs to Boost the Verification of SysML Models. MODELSWARD (Revised Selected Papers) (2022)
Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Christophe Garion, Xavier Thirioux
A Taxonomy of MBSE Approaches by Languages, Tools and Methods. IEEE Access 10 (2022)
Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Nasrine Damouche, Eric Razafimahazo, Ombeline Aïello, Maisa Cietto
Mind Maps Upstream SysML v2 Diagrams. SysCon (2022)
Pierre de Saqui-Sannes, Ludovic Apvrille, Rob A. Vingerhoeds
Checking SysML Models Against Safety and Security Properties. J. Aerosp. Inf. Syst. 18 (12) (2021)
Jean-Charles Chaudemar, Pierre de Saqui-Sannes
MBSE and MDAO for Early Validation of Design Decisions: a Bibliography Survey. SysCon (2021)
Ombeline Aïello, David Sanchez Del Rio Kandel, Jean-Charles Chaudemar, Olivier Poitou, Pierre de Saqui-Sannes
Populating MBSE Models from MDAO Analysis. ISSE (2021)
Eric Razafimahazo, Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Claude Baron, Julien Soulax, Romain Mège
Mastering Complexity for Indoor Inspection Drone Development. ISSE (2021)
Mathieu Muzellec, Paul Vivot, Rob A. Vingerhoeds, Pierre de Saqui-Sannes
Towards a combination of MARTE and ECOA. SysCon (2021)
Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds
A Methodological Assistant for UML and SysML Use Case Diagrams. MODELSWARD (Revised Selected Papers) (2020)
Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds
A Methodological Assistant for Use Case Diagrams. MODELSWARD (2020)
Fellipe Guilherme Rey de Souza, Juliana de Melo Bezerra, Celso Massaki Hirata, Pierre de Saqui-Sannes, Ludovic Apvrille
Combining STPA with SysML Modeling. SysCon (2020)
Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues
Trade-off analysis for SysML models using decision points and CSPs. Softw. Syst. Model. 18 (6) (2019)
Pierre de Saqui-Sannes, Ludovic Apvrille
Test Sequence Generation From Formally Verified SysML Models. Software Engineering (Workshops) (2019)
Hugo Daigmorte, Pierre de Saqui-Sannes, Rob A. Vingerhoeds
A SysML Method with Network Dimensioning. ISSE (2019)
Márcio da Silva Arantes, Renan Bonnard, Andre Pierre Mattei, Pierre de Saqui-Sannes
General architecture for data analysis in industry 4.0 using SysML and model based system engineering. SysCon (2018)
Andre Pierre Mattei, Luis Loures, Pierre de Saqui-Sannes, Benedicte Escudier
Feasibility study of a multispectral camera with automatic processing onboard a 27U satellite using model based space system engineering. SysCon (2017)
Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues
Multi domain optimization with SysML modeling. ETFA (2015)
Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban
Architecture Optimization with SysML Modeling: A Case Study Using Variability. MODELSWARD (Revised Selected Papers) (2015)
Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban
SysML Modeling for Embedded Systems Design Optimization - A Case Study. MODELSWARD (2015)
Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni
Conformance Testing of Preemptive Real-Time Systems. Int. J. Embed. Real Time Commun. Syst. 4 (4) (2013)
Ludovic Apvrille, Pierre de Saqui-Sannes
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models. SDL Forum (2013)
Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni, Abdelkader Adla
Timed Test Case Generation Using Labeled Prioritized Time Petri Nets CoRR (2012)
Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes
TEPE: a SysML language for time-constrained property modeling and formal verification. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Ludovic Apvrille, Pierre de Saqui-Sannes
Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons. Tech. Sci. Informatiques 30 (3) (2011)
Ludovic Apvrille, Ahlem Mifdaoui, Pierre de Saqui-Sannes
Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method. Stud. Inform. Univ. 8 (3) (2010)
Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara Mota, Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Laurent Vigneron
Formal verification of secure group communication protocols modelled in UML. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni
Testing Real-Time Systems Using TINA. TestCom/FATES (2009)
Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni
Test of preemptive real-time systems. AICCSA (2008)
Ludovic Apvrille, Pierre de Saqui-Sannes
Adding a methodological assistant to a protocol modeling environment. NOTERE (2008)
Benjamin Fontan, Pierre de Saqui-Sannes, Ludovic Apvrille
Synthèse d'observateurs à partir d'exigences temporelles. LMO (2008)
Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur
Temporal Verification in Secure Group Communication System Design. SECURWARE (2007)
Benjamin Fontan, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Real-Time and Embedded System Verification Based on Formal Requirements. IES (2006)
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM (2006)
Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek
TURTLE-P: a UML profile for the formal validation of critical and distributed systems. Softw. Syst. Model. 5 (4) (2006)
Ludovic Apvrille, Pierre de Saqui-Sannes, Renaud Pacalet, Axelle Apvrille
Un environnement de conception de systèmes distribués basé sur UML. Ann. des Télécommunications 61 (11-12) (2006)
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. FORTE (2006)
Benjamin Fontan, Sara Mota, Thierry Villemur, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
UML-Based Modeling and Formal Verification of Authentication Protocols. ISSSE (2006)
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. SEFM (2005)
Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. IEEE Trans. Software Eng. 30 (7) (2004)
Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr
Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System. Autom. Softw. Eng. 11 (2) (2004)
Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
New Operators for the TURTLE Real-Time UML Profile. FMOODS (2003)
Roberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz
Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java. Multim. Tools Appl. 16 (1) (2002)
Khalil Drira, Pierre Azéma, Pierre de Saqui-Sannes
Testability analysis in communicating systems. Comput. Networks 36 (5/6) (2001)
Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat
A New UML Profile for Real-Time System Formal Design and Validation. UML (2001)
Celso A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. FORTE (1998)
Roberto Willrich, Patrick Sénac, Michel Diaz, Pierre de Saqui-Sannes
A Formal Framework for the Specification, Analysis and Generation of Standardized Hypermedia Documents. ICMCS (1996)
Roberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz
Hypermedia Document Design Using the HTSPN Model. MMM (1996)
Patrick Sénac, Michel Diaz, Alain Léger, Pierre de Saqui-Sannes
Modeling Logical and Temporal Synchronization in Hypermedia Systems. IEEE J. Sel. Areas Commun. 14 (1) (1996)
Patrick Sénac, Pierre de Saqui-Sannes, Roberto Willrich
Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems. Application and Theory of Petri Nets (1995)
Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus
Verification by abstraction as a preamble for interoperability test suite generation. PSTV (1994)
Luiz F. Rust da Costa Carmo, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Basic Synchronization Concepts in Multimedia Systems. NOSSDAV (1992)
Jean-Pierre Courtiat, Pierre de Saqui-Sannes
ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle. Comput. Networks ISDN Syst. 25 (1) (1992)
Pierre de Saqui-Sannes, Jean-Pierre Courtiat
An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. PSTV (1991)
Pierre de Saqui-Sannes, Jean-Pierre Courtiat
From the Simulation to the Verification of Estelle Specifications. FORTE (1989)
Pierre de Saqui-Sannes, Jean-Pierre Courtiat
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. FORTE (1988)