Pierre de Saqui-Sannes

According to our database, Pierre de Saqui-Sannes authored at least 62 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mission-based design of UAVs.

Jean-Charles Chaudemar, Ombeline Aïello, Pierre de Saqui-Sannes, Olivier Poitou

Syst. Eng., September, 2024

Incremental and Formal Verification of SysML Models.

Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes

SN Comput. Sci., August, 2024

Safety-oriented dynamic procedure modeling.

Charles Mathou, Kevin Delmas, Pierre de Saqui-Sannes, Jean-Charles Chaudemar

Proceedings of the IEEE International Systems Conference, 2024

2023

Modeling UAS Flight Procedures for SORA Safety Objectives.

Charles Mathou, Kevin Delmas, Jean-Charles Chaudemar, Pierre de Saqui-Sannes

Proceedings of the IEEE International Systems Conference, 2023

Mutation of Formally Verified SysML Models.

Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

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

Mind Maps Upstream SysML v2 Diagrams.

Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Nasrine Damouche, Eric Razafimahazo, Ombeline Aïello, Maisa Cietto

Proceedings of the IEEE International Systems Conference, 2022

Dependency Graphs to Boost the Verification of SysML Models.

Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino

Proceedings of the Model-Driven Engineering and Software Development, 2022

SysML Models Verification Relying on Dependency Graphs.

Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021

Checking SysML Models Against Safety and Security Properties.

Pierre de Saqui-Sannes, Ludovic Apvrille, Rob A. Vingerhoeds

J. Aerosp. Inf. Syst., December, 2021

Towards a combination of MARTE and ECOA.

Mathieu Muzellec, Paul Vivot, Rob A. Vingerhoeds, Pierre de Saqui-Sannes

Proceedings of the IEEE International Systems Conference, 2021

MBSE and MDAO for Early Validation of Design Decisions: a Bibliography Survey.

Jean-Charles Chaudemar, Pierre de Saqui-Sannes

Proceedings of the IEEE International Systems Conference, 2021

Mastering Complexity for Indoor Inspection Drone Development.

Eric Razafimahazo, Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Claude Baron, Julien Soulax, Romain Mège

Proceedings of the IEEE International Symposium on Systems Engineering, 2021

Populating MBSE Models from MDAO Analysis.

Ombeline Aïello, David Sanchez del Rio Kandel, Jean-Charles Chaudemar, Olivier Poitou, Pierre de Saqui-Sannes

Proceedings of the IEEE International Symposium on Systems Engineering, 2021

2020

Combining STPA with SysML Modeling.

Fellipe Guilherme Rey de Souza, Juliana de Melo Bezerra, Celso Massaki Hirata, Pierre de Saqui-Sannes, Ludovic Apvrille

Proceedings of the IEEE International Systems Conference, 2020

A Methodological Assistant for UML and SysML Use Case Diagrams.

Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds

Proceedings of the Model-Driven Engineering and Software Development, 2020

A Methodological Assistant for Use Case Diagrams.

Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

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

Test Sequence Generation From Formally Verified SysML Models.

Pierre de Saqui-Sannes, Ludovic Apvrille

Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

A SysML Method with Network Dimensioning.

Hugo Daigmorte, Pierre de Saqui-Sannes, Rob A. Vingerhoeds

Proceedings of the International Symposium on Systems Engineering, 2019

2018

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

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

2017

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

Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

2015

Architecture Optimization with SysML Modeling: A Case Study Using Variability.

Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban

Proceedings of the Model-Driven Engineering and Software Development, 2015

SysML Modeling for Embedded Systems Design Optimization - A Case Study.

Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban

Proceedings of the MODELSWARD 2015, 2015

Multi domain optimization with SysML modeling.

Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

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

Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models.

Ludovic Apvrille, Pierre de Saqui-Sannes

Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013

2012

Timed Test Case Generation Using Labeled Prioritized Time Petri Nets

Noureddine Adjir, Pierre de Saqui-Sannes, Mustapha Kamel Rahmouni, Abdelkader Adla

CoRR, 2012

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

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

2010

Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method.

Ludovic Apvrille, Ahlem Mifdaoui, Pierre de Saqui-Sannes

Stud. Inform. Univ., 2010

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

2009

Testing Real-Time Systems Using TINA.

Noureddine Adjir, Pierre de Saqui-Sannes, Mustapha Kamel Rahmouni

Proceedings of the Testing of Software and Communication Systems, 2009

2008

Adding a methodological assistant to a protocol modeling environment.

Ludovic Apvrille, Pierre de Saqui-Sannes

Proceedings of the 8th international conference on New technologies in distributed systems, 2008

Synthèse d'observateurs à partir d'exigences temporelles.

Benjamin Fontan, Pierre de Saqui-Sannes, Ludovic Apvrille

Proceedings of the Langages et Modèles à Objets, 2008

Test of preemptive real-time systems.

Noureddine Adjir, Pierre de Saqui-Sannes, Mustapha Kamel Rahmouni

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007

Temporal Verification in Secure Group Communication System Design.

Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur

Proceedings of the First International Conference on Emerging Security Information, 2007

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

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

Real-Time and Embedded System Verification Based on Formal Requirements.

Benjamin Fontan, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the International Symposium on Industrial Embedded Systems, 2006

UML-Based Modeling and Formal Verification of Authentication Protocols.

Benjamin Fontan, Sara Mota, Thierry Villemur, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

Mapping RT-LOTOS Specifications into Time Petri Nets.

Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Formal Methods and Software Engineering, 2006

Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.

Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform.

Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Conception basée modèle des systèmes temps réel et distribués.

Pierre de Saqui-Sannes

, 2005

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

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

2003

New Operators for the TURTLE Real-Time UML Profile.

Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002

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

2001

Testability analysis in communicating systems.

Khalil Drira, Pierre Azéma, Pierre de Saqui-Sannes

Comput. Networks, 2001

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

Proceedings of the «UML» 2001, 2001

1998

A Design Methodology for the Formal Specification and Verification of Hypermedia Documents.

Celso A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

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

Hypermedia Document Design Using the HTSPN Model.

Roberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz

Proceedings of the 1996 MultiMedia Modeling: Towards The Information Society Superhighway, 1996

A Formal Framework for the Specification, Analysis and Generation of Standardized Hypermedia Documents.

Roberto Willrich, Patrick Sénac, Michel Diaz, Pierre de Saqui-Sannes

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1996

1995

Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems.

Patrick Sénac, Pierre de Saqui-Sannes, Roberto Willrich

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994

Verification by abstraction as a preamble for interoperability test suite generation.

Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus

Proceedings of the Protocol Specification, 1994

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

Basic Synchronization Concepts in Multimedia Systems.

Luiz F. Rust da Costa Carmo, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Network and Operating System Support for Digital Audio and Video, 1992

1991

An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle.

Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Protocol Specification, 1991

1989

From the Simulation to the Verification of Estelle Specifications.

Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Formal Description Techniques, 1989

1988

ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project.

Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the Formal Description Techniques, 1988