Pierre de Saqui-Sannes

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