Publications

Article

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

Saqui-Sannes, Pierre de and Apvrille, Ludovic and Vingerhoeds, Rob A.. Checking SysML Models against Safety and Security Properties. (2021) Journal of Aeropspace Information Systems, 18 (12). ISSN 2327-3097

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Vingerhoeds, Rob A.. An Educational Case Study of Using SysML and TTool for Unmanned Aerial Vehicles Design. (2020) The IEEE Journal on Miniaturization for Air and Space Systems (J-MASS), 1 (2). 117-129. ISSN 2576-3164

Leserf, Patrick and Saqui-Sannes, Pierre de and Hugues, Jérôme. Trade-off Analysis for SysML Models Using Decision Points and CSPs. (2019) Software and Systems Modeling. 1-17. ISSN 1619-1366

Apvrille, Ludovic and Saqui-Sannes, Pierre de. Vérifications d'exclusions mutuelles par analyse statique de modèles SysML. (2013) Revue Génie Logiciel, 105. 40-44. ISSN 0295-6322

Adjir, Noureddine and Saqui-Sannes, Pierre de and Rahmouni, Mustapha. Conformance Testing of Preemptive Real-Time Systems. (2013) International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 4 (4). 1-26. ISSN 1947-3176

Apvrille, Ludovic and Saqui-Sannes, Pierre de. AVATAR/TTool : un environnement en mode libre pour SysML temps réel. (2011) Génie Logiciel, 58 (98). 22-26. ISSN 1265-1397

Apvrille, Ludovic and Saqui-Sannes, Pierre de. Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons. (2011) Technique et Science Informatiques, 30 (4). 309-337. ISSN 0752-4072

Apvrille, Ludovic and Mifdaoui, Ahlem and Saqui-Sannes, Pierre de. Real-time distributed systems dimensioning and validation: The TURTLE method. (2010) Studia Informatica Universalis, 3 (8). 47-69.

Saqui-Sannes, Pierre de and Villemur, Thierry and Mota, Sara and Fontan, Benjamin and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent. Formal verification of secure group communication protocols modelled in UML. (2010) Innovations in Systems and Software Engineering, 6 (1-2). 125-133. ISSN 1614-5046

Fontan, Benjamin and Saqui-Sannes, Pierre de and Apvrille, Ludovic. Synthèse d’observateurs à partir d’exigences temporelles. (2008) Revue des Nouvelles Technologies de l'Information (RNTI).

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Khendek, Ferhat. TURTLE-P: a UML profile for the formal validation of critical and distributed systems. (2006) Software and Systems Modeling, 5 (4). 449-466. ISSN 1619-1366

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Pacalet, Renaud and Apvrille, Axelle. Un environnement de conception de systèmes distribués basé sur UML. (2006) Annales des Télécommunications, 6 (11-). 1347-1368. ISSN 0003-4347

Apvrille, Ludovic and Courtiat, Jean-Pierre and Lohr, Christophe and Saqui-Sannes, Pierre de. TURTLE: A real-time UML profile supported by a formal validation toolkit. (2004) IEEE Transactions on Software Engineering, 3 (7). 473-487. ISSN 0098-5589

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Sénac, Patrick and Lohr, Christophe. Verifying service continuity in a satellite reconfiguration procedure: application to a satellite. (2004) Automated Software Engineering, 1 (2). 167-191. ISSN 0928-8910

Saqui-Sannes, Pierre de and Apvrille, Ludovic and Lohr, Christophe and Sénac, Patrick and Courtiat, Jean-Pierre. UML and RT-LOTOS: an integration for real-time system validation. (2002) Journal Européen des Systèmes Automatisés (JESA), 3 (7). 1029-1042. ISSN 1269-6935

Conference or Workshop Item

Mathou, Charles and Delmas, Kevin and Chaudemar, Jean-Charles and Saqui-Sannes, Pierre de. Modeling UAS Flight Procedures for SORA Safety Objectives. (2023) In: 2023 IEEE International Systems Conference (SysCon), 17 April 2023 - 20 April 2023 (Vancouver, Canada).

Apvrille, Ludovic and Sultan, Bastien and Hotescu, Oana Andreea and Saqui-Sannes, Pierre de and Coudert, Sophie. Mutation of Formally Verified SysML Models. (2023) In: MODELSWARDS 2023 : 11th International Conference on Model-Based Software and Systems Engineering, 19 February 2023 - 21 February 2023 (Lisbon, Portugal).

Manikar, Sagar Shenoy and Jézégou, Joël and Saqui-Sannes, Pierre de and Asseman, Philippe and Bénard, Emmanuel. A hybrid approach of machine learning and expert knowledge for projection of aircraft operability. (2022) In: 11th International Conference on Innovation in Aviation & Space to the Satisfaction of the European Citizens (11th EASN 2021), 1 September 2021 - 3 September 2021 (Virtual, Italy).

Manikar, Sagar Shenoy and Jézégou, Joël and Saqui-Sannes, Pierre de and Bénard, Emmanuel and Asseman, Philippe. Holistic Operability Projection during Early Aircraft Design. (2022) In: AIAA AVIATION FORUM 2022, 27 June 2022 - 1 July 2022 (Chicago, United States).

Saqui-Sannes, Pierre de and Vingerhoeds, Rob A. and Damouche, Nasrine and Razafimahazo, Eric and Aïello, Ombeline and Cietto, Maisa. Mind Maps Upstream SysML v2 Diagrams. (2022) In: 2022 IEEE International Systems Conference (SysCon), 25 April 2022 - 28 April 2022 (Montreal, Canada).

Cietto, Maisa and Damouche, Nasrine and Saqui-Sannes, Pierre de and Aïello, Ombeline and Razafimahazo, Eric and Vingerhoeds, Rob A.. Modeling Inclusive Systems in SysML. (2022) In: 8th IEEE International Symposium on Systems Engineering, 24 October 2022 - 26 October 2022 (Vienna, Austria).

Manikar, Sagar Shenoy and Jézégou, Joël and Saqui-Sannes, Pierre de and Asseman, Philippe and Bénard, Emmanuel. Operability projection of major aircraft components during early aircraft design. (2022) In: 33rd Congress of the International Council of the Aeronautical Sciences (ICAS), 4 September 2022 - 9 September 2022 (Stockholm, Sweden).

Aïello, Ombeline and Poitou, Olivier and Chaudemar, Jean-Charles and Saqui-Sannes, Pierre de. Sizing a Drone Battery by coupling MBSE and MDAO. (2022) In: 11th European Congress Embedded Real Time Systems (ERTS 2022), 30 March 2022 - 31 March 2022 (Labège, France).

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Hotescu, Oana Andreea and Tempia Calvino, Alessandro. SysML Models Verification Relying on Dependency Graphs. (2022) In: MODELSWARD 2022 : 10th International Conference on Model-Driven Engineering and Software Development, 6 February 2022 - 8 February 2022 (Virtual, Vienna, Austria).

Razafimahazo, Eric and Saqui-Sannes, Pierre de and Vingerhoeds, Rob A. and Soula, Julien and Mège, Romain and Baron, Claude. Towards a Customizable Architecture for Indoor Multi-Usages Drones. (2022) In: 33rd Congress of the International Council of the Aeronautical Sciences (ICAS), 4 September 2022 - 9 September 2022 (Stockholm, Sweden). (Unpublished)

Chaudemar, Jean-Charles and Saqui-Sannes, Pierre de. MBSE and MDAO for Early Validation of Design Decisions: a Bibliography Survey. (2021) In: 2021 IEEE International Systems Conference (SysCon), 15 April 2021 - 15 May 2021 (Virtual event, Canada).

Razafimahazo, Eric and Saqui-Sannes, Pierre de and Vingerhoeds, Rob A. and Baron, Claude and Soula, Julien and Mège, Romain. Mastering Complexity for Indoor Inspection Drone Development. (2021) In: 7th IEEE International Symposium on Systems Engineering, 13 September 2021 - 13 October 2021 (Virtual event, Austria).

Aïello, Ombeline and Sanchez Del Rio Kandel, David and Chaudemar, Jean-Charles and Poitou, Olivier and Saqui-Sannes, Pierre de. Populating MBSE Models from MDAO Analysis. (2021) In: 7th International Symposium on Systems Engineering, 13 September 2021 - 13 October 2021 (Virtual, Austria).

Hotescu, Oana Andreea and Saqui-Sannes, Pierre de. Qualitative and Quantitative Analysis of Avionics Full DupleX Network Models. (2021) In: The 35th annual European Simulation and Modelling Conference - ESM'2021, 27 October 2021 - 29 October 2021 (Rome, Italy).

Muzellec, Mathieu and Vivot, Paul and Vingerhoeds, Rob A. and Saqui-Sannes, Pierre de. Towards a combination of MARTE and ECOA. (2021) In: 2021 IEEE International Systems Conference (SysCon), 15 April 2021 - 15 May 2021 (Virtual, Canada).

Manikar, Sagar Shenoy and Saqui-Sannes, Pierre de and Jézégou, Joël and Asseman, Philippe and Bénard, Emmanuel. A Formal Framework for Modeling and Prediction of Aircraft Operability using SysML. (2020) In: 34th annual European Simulation and Modelling Conference (ESM), 21 October 2020 - 23 October 2020 (Toulouse, France).

Rizzo Aquino, Erika and Saqui-Sannes, Pierre de and Vingerhoeds, Rob A.. A Methodological Assistant for Use Case Diagrams. (2020) In: 8th MODELSWARD : International Conference on Model-Driven Engineering and Software Development, 25 February 2020 - 27 February 2020 (La Valette, Malta).

Daigmorte, Hugo and Saqui-Sannes, Pierre de and Vingerhoeds, Rob A.. A SysML Method with Network Dimensioning. (2020) In: 5th IEEE International Symposium on Systems Engineering (ISSE 2019), 1 October 2019 - 3 October 2019 (Edinburgh, United Kingdom).

Rey de Souza, Fellipe Guilherme and Melo Bezerra, Juliana de and Hirata, Celso and Saqui-Sannes, Pierre de and Apvrille, Ludovic. Combining STPA with SysML Modeling. (2020) In: The 14th annual IEEE International Systems Conference (SysCon 2020), 20 April 2020 - 23 April 2020 (Montréal, Canada).

Leserf, Patrick and Saqui-Sannes, Pierre de and Hugues, Jérôme. Trade-off Analysis for SysML Models Using Decision Points and CSPs. (2019) In: MODELS 2019, 15 September 2019 - 20 September 2019 (Munich, Germany).

Saqui-Sannes, Pierre de and Apvrille, Ludovic. Test Sequence Generation From Formally Verified SysML Models. (2019) In: 1st Workshop on Software Engineering for Avionics System (Aviose 2019), 18 February 2019 - 18 February 2019 (Stuttgart, Germany).

Arantes, Márcio and Bonnard, Renan and Mattei, André-Pierre and Saqui-Sannes, Pierre de. General Architecture for Data Analysis in Industry 4.0 using SysML and Model Based System Engineering. (2018) In: The 12th Annual IEEE International Systems Conference (SysCon 2018), 23 April 2018 - 26 April 2018 (Vancouver, Canada).

Saqui-Sannes, Pierre de and Vingerhoeds, Rob A. and Apvrille, Ludovic. Early Checking of SysML Models Applied to Protocols. (2018) In: 12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), 27 June 2018 - 29 June 2018 (Toulouse, France).

Vingerhoeds, Rob A. and Mifdaoui, Ahlem and Saqui-Sannes, Pierre de. Educational Challenges For Cyber-Physical Systems Modelling. (2018) In: 12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), 27 June 2018 - 29 June 2018 (Toulouse, France).

Feitoza, Renato and Romani, Eric and Mattei, André-Pierre and Saqui-Sannes, Pierre de and Siqueira, Glaucio and Bezzera, Eduardo. Graphene-Based Ka Band Tunable Antenna for Nanosatellites Applications. (2018) In: 10th European Cubesat Symposium, 5 December 2018 - 7 December 2018 (Toulouse, France).

Da Silva Arantes, Jesimar and Mattei, André-Pierre and Figueira, Nina and Da Silva Arantes, Marcio and Motta Toledo, Claudio Fabiano and Trindade Juniora, Onofre and Saqui-Sannes, Pierre de. Service-Oriented Architecture to Integrate Flight Safety and Mission Management Subsystems into UAVs. (2018) In: 31st Congress of the International Council of the Aeronautical Sciences (ICAS 2018), 9 September 2018 - 14 September 2018 (Belo Horizonte, Brazil).

Conto, Augusto de and Mattei, André-Pierre and Saqui-Sannes, Pierre de and Carvalho, Himilcon and Miranda, Danilo and Balbino, Farley. Use of SysML and Model-Based System Engineering in the development of the Brazilian Satellite VCUB1. (2018) In: 10th European Cubesat Symposium, 5 December 2018 - 7 December 2018 (Toulouse, France).

Mattei, André-Pierre and Loures, Luis and Saqui-Sannes, Pierre de and Escudier, Bénédicte. Feasibility study of a multispectral camera with automatic processing onboard a 27U satellite using Model Based Space System Engineering. (2017) In: IEEE Systems Conference 2017, 24 April 2017 - 27 April 2017 (Montréal, Canada).

Saqui-Sannes, Pierre de and Apvrille, Ludovic. Making Modeling Assumptions an Explicit Part of Real-Time Systems Models. (2016) In: the 8th European Congress Embedded Real Time software and systems ERTS2 2016, 27 January 2016 - 29 January 2016 (Toulouse, France).

Leserf, Patrick and Saqui-Sannes, Pierre de and Hugues, Jérôme. Multi Domain optimization with SysML modeling. (2015) In: 20th IEEE International Conference on Emerging Technologies and Factory Automation, 8 September 2015 - 11 September 2015 (Luxembourg, Luxembourg).

Leserf, Patrick and Saqui-Sannes, Pierre de and Hugues, Jérôme and Chaaban, Khaled. SysML Modeling For Embedded Systems Design Optimization: A Case Study. (2015) In: 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), 9 February 2015 - 11 February 2015 (Angers, France).

Apvrille, Ludovic and Saqui-Sannes, Pierre de. Static analysis techniques to verify mutual exclusion situations within SysML models. (2013) In: SDL 2013 - 16th International System Design Languages Forum, 26 June 2013 - 28 June 2013 (Montreal, Canada).

Saqui-Sannes, Pierre de and Hugues, Jérôme. Combining SysML and AADL for the design, validation and implementation of critical systems. (2012) In: ERTSS 2012 (Embedded Real Time Software and Systems), 1 February 2012 - 3 February 2012 (Toulouse, France).

Apvrille, Ludovic and Saqui-Sannes, Pierre de. An Open-Source simulator for Real-Time sysML models. (2011) In: IEEE Workshop on Simulation in Aerospace 2011, 8 June 2011 (Toulouse, France).

Saqui-Sannes, Pierre de and Villemur, Thierry and Fontan, Benjamin and Mota, Sara and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent. Formal verification of secure group communication protocols modelled in UML. (2010) In: 2nd IEEE International workshop UML and Formal Methods - UML&FM'2009, 08 Dec 2009, Rio de Janeiro, Brazil .

Knorreck, Daniel and Apvrille, Ludovic and Saqui-Sannes, Pierre de. TEPE: a SysML language for time-constrained property modeling and formal verification. (2010) In: Third IEEE International workshop UML and Formal Methods - ULM&FM'2010, 16 November 2010 (Shangaï, China).

Apvrille, Ludovic and Saqui-Sannes, Pierre de. TURTLE: Four Weddings and a Tutorial. (2010) In: Embedded Real Time Software and Systems - ERTSS 2010, 19 May 2010 - 21 May 2010 (Toulouse, France).

Adjir, Noureddine and Saqui-Sannes, Pierre de and Rahmouni, Mustapha. Testing real-time systems using TINA. (2009) In: TESTCOM-FATES'09, 02-04 Nov 2009, Eindhoven, the Netherlands .

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Mifdaoui, Ahlem. A UML framework for the dimensioning and formal verification of embedded systems. (2009) In: SAFA Annual Workshop on Formal Methods (SAFA 2009), 23 September 2009 (Sophia-Antipolis, France).

Saqui-Sannes, Pierre de and Apvrille, Ludovic. Making formal verification amenable to real-time UML practitioners. (2009) In: 12th European Workshop on Dependable Computing, EWDC 2009, 14 May 2009 - 15 May 2009 (Toulouse, France).

Apvrille, Ludovic and Mifdaoui, Ahlem and Saqui-Sannes, Pierre de. Nouvelle approche TURTLE pour le dimensionnement et la validation de systèmes répartis temps réel. (2009) In: NOTERE 2009 - Nouvelles Technologies pour la Répartition, 29 June 2009 - 3 July 2009 (Montréal, Canada).

Saqui-Sannes, Pierre de and Apvrille, Ludovic. Traçabilité d'exigences temporelles dans l'outil UML/SysML TTool. (2009) In: GPL 2009 - 1ères journées nationales du GDR Génie de la programmation et du Logiciel, 28 January 2009 - 30 January 2009 (Toulouse, France).

Adjir, Noureddine and Saqui-Sannes, Pierre de and Rahmouni, Mustapha. Test of preemptive real-time systems. (2008) In: AICCSA 2008. IEEE/ACS International Conference on Computer Systems and Applications, 31 March - 04 April 2008, Doha, Qatar .

Fontan, Benjamin and Saqui-Sannes, Pierre de and Apvrille, Ludovic. Timing requirement description diagrams for real-time system verification. (2008) In: 4th European Congress ERTS Embedded real-time software - ERTS 2008, 29 January 2008 - 1 February 2008 (Toulouse, France).

Apvrille, Ludovic and Saqui-Sannes, Pierre de. Un environnement formel d'assistance à la modélisation de protocoles. (2008) In: NOTERE 2008 : 8ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition, 23-27 June 2008, 23 June 2008 - 27 June 2008 (Lyon, France).

Sadani, Tarek and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre. Extended real-time LOTOS for preemptive systems verification. (2007) In: RTNS'07 - 15th International Conference on Real-Time and Network Systems, 29-30 Mars 2007, Nancy, France .

Fontan, Benjamin and Saqui-Sannes, Pierre de and Apvrille, Ludovic. Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles. (2007) In: 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), 4 June 2007 - 8 June 2007 (Marrakech, Morocco).

Fontan, Benjamin and Mota, Sara and Saqui-Sannes, Pierre de and Villemur, Thierry. Temporal verification in secure group communication system design. (2007) In: SECURWARE 2007 - International Conference on Emerging Security Information Systems, and Technologies, 14 October 2007 - 20 October 2007 (Valencia, Spain).

Sadani, Tarek and Boyer, Marc and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre. Effective representation of RT-LOTOS terms by finite time petri nets. (2006) In: FORTE'06 - 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, 26-29 Sept 2006, Paris, France .

Fontan, Benjamin and Apvrille, Ludovic and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre. Real-time and embedded system verification based on formal requirements. (2006) In: IES'06 - Industrial Embedded Systems, 18 October 2006 - 20 October 2006 (Antibes, France).

Sadani, Tarek and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre. Formal and efficient verification techniques for Real-Time UML models. (2006) In: ERTS'06 - 3rd European Congress ERTS Embedded Real Time Software, 25-27 Janv 2006, Toulouse, France .

Sadani, Tarek and Boyer, Marc and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre. Mapping RT-LOTOS specifications into Time Petri Nets. (2006) In: ICFEM'06 - 8th International Conference on Formal Engineering Methods, 01-03 Nov 2006, Macao, China .

Sadani, Tarek and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre. Recherche d’efficacité en vérification de modèles UML temps réel traduits en RT-LOTOS. (2006) In: AFADL'06 - Approches Formelles dans l'Assistance au Développement de Logiciels, 15-17 march 2006, Paris, France .

Fontan, Benjamin and Mota, Sara and Villemur, Thierry and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre. UML-based modeling and formal verification of authentication protocols. (2006) In: ICSSE'06 - IEEE International Conference on Secure Software Engineering, March 2006, Washington, United States .

Sadani, Tarek and Courtiat, Jean-Pierre and Saqui-Sannes, Pierre de. From RT-LOTOS to Time Petri Nets new foundations for a verification platform. (2005) In: SEFM'05 - 3rd IEEE International Conference on Software Engineering and Formal Methods, 05-09 Sept 2005, Koblenz, Germany .

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Khendek, Ferhat. Synthèse d'une conception UML temps-réel à partir de diagrammes de séquences. (2005) In: CFIP 2005 - Colloque Francophone sur l'Ingénierie des Protocoles, 29 March 2005 - 1 April 2005 (Bordeaux, France).

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Apvrille, Axelle. Une méthodologie de conception des systèmes distribués basée sur UML. (2005) In: NOuvelles TEchnologies de la REpartition (NOTERE) 2005, 29 August 2005 - 1 September 2005 (Gatineau, Canada).

Sadani, Tarek and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre. Validation de spécifications RT-LOTOS : une interface vers l'outil TINA. (2005) In: MSR'05 - Modélisation des Systèmes Réactifs, 05-07 Oct 2005, Autrans, France .

Invited Conference

Chaudemar, Jean-Charles and Poitou, Olivier and Saqui-Sannes, Pierre de. MBSE and MDOA for Early Validation of Design Decisions: a Bibliography Survey. (2020) In: 1st International Conference on Cognitive Aircraft Systems - ICCAS 2020, 18 March 2020 - 19 March 2020 (Toulouse, France). (Unpublished)

Other Conference

Aïello, Ombeline and Sanchez Del Rio Kandel, David and Chaudemar, Jean-Charles and Poitou, Olivier and Saqui-Sannes, Pierre de. Populating MBSE Models from MDAO Analysis. (2021) In: FAC 2021 (Formalisation de Activités Concurrentes), 14 October 2021 - 15 October 2021 (France).

Book Section

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Hotescu, Oana Andreea and Tempia Calvino, Alessandro. Dependency Graphs to Boost the Verification of SysML Models. (2022) In: Dependency Graphs to Boost the Verification of SysML Models. Springer.

Rizzo Aquino, Erika and Saqui-Sannes, Pierre de and Vingerhoeds, Rob A.. A Methodological Assistant for UML and SysML Use Case Diagrams. (2021) In: MODELSWARD 2020: Model-Driven Engineering and Software Development. (Communications in Computer and Information Science). Springer, 298-322. ISBN 978-3-030-67444-1

Leserf, Patrick and Saqui-Sannes, Pierre de and Hugues, Jérôme and Chaaban, Khaled. Architecture Optimization with SysML Modeling: A Case Study Using Variability. (2015) In: Model-Driven Engineering and Software Development. (Communications in Computer and information Science). Springer, 311-327. ISBN 978-3-319-27869-8

Apvrille, Ludovic and Saqui-Sannes, Pierre de. Requirements Analysis. (2013) In: Embedded Systems: Analysis and Modeling with SysML, UML and AADL. (Electronic Engineering Series). ISTE / Wiley. ISBN 978-1-84821-500-9

Apvrille, Ludovic and Saqui-Sannes, Pierre de. Vérification d'exigences d'un modèle SysML. (2013) In: Modélisation et analyse de systèmes embarqués. (Collection SEE). Hermès Science Lavoisier, Paris, France, 113-131. ISBN 978-2-7462-3900-5

Book

Villemur, Thierry and Saqui-Sannes, Pierre de and Drira, Khalil. NOTERE’2006: nouvelles technologies de la répartition. (2006) Hermès Lavoisier, Paris, France. ISBN 978-2-7462-1588-7

HDR

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

Report

Saqui-Sannes, Pierre de and Apvrille, Ludovic and Vingerhoeds, Rob A.. Early Detection of Design Errors in the Life Cycle of Unmanned Aerial Vehicles: A SysML Approach. (2018) [Report] (Unpublished)

Saqui-Sannes, Pierre de and Diana, Rémi and Lochin, Emmanuel. SysML Modeling and Formal Verification of the TCP Relentless Congestion Protocol. (2011) [Report] (Unpublished)