Flux publications Open Science ISAE-SUPAERO

Mis à jour le

Chaudemar Jean-Charles, Aïello Ombeline, Saqui-Sannes Pierre de, Poitou Olivier, Mission‐based design of UAVs. 2024, Systems Engineering. ISSN 1098-1241

Mission‐based design of UAVs

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

Modeling UAS Flight Procedures for SORA Safety Objectives

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

Mutation of Formally Verified SysML Models

Razafimahazo Eric, Saqui-Sannes Pierre de, Vingerhoeds Rob A., Soula Julien, Mège Romain, Model-Based Systems Engineering Approach for an Indoor Multi-Usages System Development. 2023, INCOSE INSIGHT - Systems Engineering Research in French Universities. ISSN 2156-485X

Model-Based Systems Engineering Approach for an Indoor Multi-Usages System Development

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

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

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

Modeling Inclusive Systems in SysML

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

Sizing a Drone Battery by coupling MBSE and MDAO

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

A hybrid approach of machine learning and expert knowledge for projection of aircraft operability

Manikar Sagar Shenoy, Jézégou Joël, Saqui-Sannes Pierre de, Bénard Emmanuel, Asseman Philippe, Holistic Operability Projection during Early Aircraft Design. 2022, AIAA AVIATION FORUM 2022, 2022-06-27 - 2022-07-01 (2022-07-01, Chicago)

Holistic Operability Projection during Early Aircraft Design

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

Operability projection of major aircraft components during early aircraft design

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

Mind Maps Upstream SysML v2 Diagrams

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

Towards a Customizable Architecture for Indoor Multi-Usages Drones

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

Dependency Graphs to Boost the Verification of SysML Models : Dependency Graphs to Boost the Verification of SysML Models

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

SysML Models Verification Relying on Dependency Graphs

Razafimahazo Eric, Saqui-Sannes Pierre de, Vingerhoeds Rob A., Model-Based Systems Engineering Approach for an Indoor Multi-usages System Development. 2022.

Model-Based Systems Engineering Approach for an Indoor Multi-usages System Development

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

Checking SysML Models against Safety and Security Properties

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

Populating MBSE Models from MDAO Analysis

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

Populating MBSE Models from MDAO Analysis

Rizzo Aquino Erika, Saqui-Sannes Pierre de, Vingerhoeds Rob A., A Methodological Assistant for UML and SysML Use Case Diagrams : MODELSWARD 2020 : Model-Driven Engineering and Software Development. 2021« In :» MODELSWARD 2020 : Model-Driven Engineering and Software Development, Communications in Computer and Information Science. 978-3-03-067444-1

A Methodological Assistant for UML and SysML Use Case Diagrams : MODELSWARD 2020: Model-Driven Engineering and Software Development

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

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

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

Qualitative and Quantitative Analysis of Avionics Full DupleX Network Models

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

Towards a combination of MARTE and ECOA

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

Mastering Complexity for Indoor Inspection Drone Development

Apvrille Ludovic, Saqui-Sannes Pierre de, 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

An Educational Case Study of Using SysML and TTool for Unmanned Aerial Vehicles Design

Chaudemar Jean-Charles, Poitou Olivier, Saqui-Sannes Pierre de, MBSE and MDOA for Early Validation of Design Decisions : a Bibliography Survey. 2020

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

Daigmorte Hugo, Saqui-Sannes Pierre de, Vingerhoeds Rob A., A SysML Method with Network Dimensioning. 2020, 5th IEEE International Symposium on Systems Engineering (ISSE 2019), 2019-10-01 - 2019-10-03 (2019-10-03, Edinburgh)

A SysML Method with Network Dimensioning

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

A Formal Framework for Modeling and Prediction of Aircraft Operability using SysML

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

Combining STPA with SysML Modeling

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

A Methodological Assistant for Use Case Diagrams

Leserf Patrick, Saqui-Sannes Pierre de, 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

Trade-off Analysis for SysML Models Using Decision Points and CSPs

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

Trade-off Analysis for SysML Models Using Decision Points and CSPs

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

Test Sequence Generation From Formally Verified SysML Models

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

General Architecture for Data Analysis in Industry 4.0 using SysML and Model Based System Engineering

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

Use of SysML and Model-Based System Engineering in the development of the Brazilian Satellite VCUB1

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

Service-Oriented Architecture to Integrate Flight Safety and Mission Management Subsystems into UAVs

Feitoza Renato, Romani Eric, Mattei André-Pierre, Saqui-Sannes Pierre de, Siqueira Glaucio, Bezzera Eduardo, Graphene-Based Ka Band Tunable Antenna for Nanosatellites Applications. 2018, 10th European Cubesat Symposium, 2018-12-05 - 2018-12-07 (2018-12-07, Toulouse)

Graphene-Based Ka Band Tunable Antenna for Nanosatellites Applications

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

Educational Challenges For Cyber-Physical Systems Modelling

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

Early Checking of SysML Models Applied to Protocols

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

Feasibility study of a multispectral camera with automatic processing onboard a 27U satellite using Model Based Space System Engineering

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

Making Modeling Assumptions an Explicit Part of Real-Time Systems Models

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

SysML Modeling For Embedded Systems Design Optimization: A Case Study

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

Architecture Optimization with SysML Modeling: A Case Study Using Variability : Model-Driven Engineering and Software Development

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

Multi Domain optimization with SysML modeling

Apvrille Ludovic, 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

Vérifications d'exclusions mutuelles par analyse statique de modèles SysML.

Adjir Noureddine, Saqui-Sannes Pierre de, 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

Conformance Testing of Preemptive Real-Time Systems

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

Static analysis techniques to verify mutual exclusion situations within SysML models

Apvrille Ludovic, Saqui-Sannes Pierre de, Requirements Analysis : Embedded Systems : Analysis and Modeling with SysML, UML and AADL. 2013« In :» Embedded Systems : Analysis and Modeling with SysML, UML and AADL, Electronic Engineering Series. 978-1-84821-500-9

Requirements Analysis : Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Apvrille Ludovic, Saqui-Sannes Pierre de, Vérification d’exigences d’un modèle SysML : Modélisation et analyse de systèmes embarqués. 2013« In :» Modélisation et analyse de systèmes embarqués, Collection SEE. 978-2-7462-3900-5

Vérification d'exigences d'un modèle SysML : Modélisation et analyse de systèmes embarqués

Saqui-Sannes Pierre de, Hugues Jérôme, Combining SysML and AADL for the design, validation and implementation of critical systems. 2012, ERTSS 2012 (Embedded Real Time Software and Systems), 2012-02-01 - 2012-02-03 (2012-02-03, Toulouse)

Combining SysML and AADL for the design, validation and implementation of critical systems

Apvrille Ludovic, 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

AVATAR/TTool : un environnement en mode libre pour SysML temps réel

Apvrille Ludovic, 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

Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons

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

SysML Modeling and Formal Verification of the TCP Relentless Congestion Protocol

Apvrille Ludovic, Saqui-Sannes Pierre de, An Open-Source simulator for Real-Time sysML models. 2011, IEEE Workshop on Simulation in Aerospace 2011, 2011-06-08

An Open-Source simulator for Real-Time sysML models

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

Real-time distributed systems dimensioning and validation: The TURTLE method

Saqui-Sannes Pierre de, Villemur Thierry, Mota Sara, Fontan Benjamin, Bouassida Mohamed Salah, Chridi Najah, Chrisment Isabelle, 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

Formal verification of secure group communication protocols modelled in UML

Knorreck Daniel, Apvrille Ludovic, Saqui-Sannes Pierre de, TEPE : a SysML language for time-constrained property modeling and formal verification. 2010, Third IEEE International workshop UML and Formal Methods - ULM&FM’2010, 2010-11-16

TEPE: a SysML language for time-constrained property modeling and formal verification

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

TURTLE: Four Weddings and a Tutorial

Saqui-Sannes Pierre de, Villemur Thierry, Fontan Benjamin, Mota Sara, Bouassida Mohamed Salah, Chridi Najah, Chrisment Isabelle, Vigneron Laurent, Formal verification of secure group communication protocols modelled in UML. 2010, 2nd IEEE International workshop UML and Formal Methods - UML&FM’2009

Formal verification of secure group communication protocols modelled in UML

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

A UML framework for the dimensioning and formal verification of embedded systems

Apvrille Ludovic, Mifdaoui Ahlem, Saqui-Sannes Pierre de, Nouvelle approche TURTLE pour le dimensionnement et la validation de systèmes répartis temps réel. 2009, NOTERE 2009 - Nouvelles Technologies pour la Répartition, 2009-06-29 - 2009-07-03 (2009-07-03, Montréal)

Nouvelle approche TURTLE pour le dimensionnement et la validation de systèmes répartis temps réel

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

Traçabilité d'exigences temporelles dans l'outil UML/SysML TTool

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

Making formal verification amenable to real-time UML practitioners

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

Early Detection of Design Errors in the Life Cycle of Unmanned Aerial Vehicles: A SysML Approach

Adjir Noureddine, Saqui-Sannes Pierre de, Rahmouni Mustapha, Testing real-time systems using TINA. 2009, TESTCOM-FATES’09

Testing real-time systems using TINA

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

Synthèse d’observateurs à partir d’exigences temporelles

Adjir Noureddine, Saqui-Sannes Pierre de, Rahmouni Mustapha, Test of preemptive real-time systems. 2008, AICCSA 2008. IEEE/ACS International Conference on Computer Systems and Applications

Test of preemptive real-time systems

Fontan Benjamin, Saqui-Sannes Pierre de, Apvrille Ludovic, Timing requirement description diagrams for real-time system verification. 2008, 4th European Congress ERTS Embedded real-time software - ERTS 2008, 2008-01-29 - 2008-02-01 (2008-02-01, Toulouse)

Timing requirement description diagrams for real-time system verification

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

Un environnement formel d'assistance à la modélisation de protocoles

Fontan Benjamin, Saqui-Sannes Pierre de, Apvrille Ludovic, Génération automatique d’observateurs pour la vérification formelle d’exigences temporelles. 2007, 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), 2007-06-04 - 2007-06-08 (2007-06-08, Marrakech)

Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles

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

Temporal verification in secure group communication system design

Sadani Tarek, Saqui-Sannes Pierre de, Courtiat Jean-Pierre, Extended real-time LOTOS for preemptive systems verification. 2007, RTNS’07 - 15th International Conference on Real-Time and Network Systems

Extended real-time LOTOS for preemptive systems verification

Apvrille Ludovic, Saqui-Sannes Pierre de, Pacalet Renaud, 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

Un environnement de conception de systèmes distribués basé sur UML

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

Real-time and embedded system verification based on formal requirements

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

Effective representation of RT-LOTOS terms by finite time petri nets

Fontan Benjamin, Mota Sara, Villemur Thierry, Saqui-Sannes Pierre de, Courtiat Jean-Pierre, UML-based modeling and formal verification of authentication protocols. 2006, ICSSE’06 - IEEE International Conference on Secure Software Engineering

UML-based modeling and formal verification of authentication protocols

Sadani Tarek, Saqui-Sannes Pierre de, Courtiat Jean-Pierre, Formal and efficient verification techniques for Real-Time UML models. 2006, ERTS’06 - 3rd European Congress ERTS Embedded Real Time Software

Formal and efficient verification techniques for Real-Time UML models

Sadani Tarek, Boyer Marc, Saqui-Sannes Pierre de, Courtiat Jean-Pierre, Mapping RT-LOTOS specifications into Time Petri Nets. 2006, ICFEM’06 - 8th International Conference on Formal Engineering Methods

Mapping RT-LOTOS specifications into Time Petri Nets

Sadani Tarek, Saqui-Sannes Pierre de, Courtiat Jean-Pierre, Recherche d’efficacité en vérification de modèles UML temps réel traduits en RT-LOTOS. 2006, AFADL’06 - Approches Formelles dans l’Assistance au Développement de Logiciels

Recherche d’efficacité en vérification de modèles UML temps réel traduits en RT-LOTOS

Apvrille Ludovic, Saqui-Sannes Pierre de, 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

TURTLE-P: a UML profile for the formal validation of critical and distributed systems

Villemur Thierry, Saqui-Sannes Pierre de, Drira Khalil, NOTERE’2006 : nouvelles technologies de la répartition. 2006. 978-2-7462-1588-7

NOTERE’2006: nouvelles technologies de la répartition

Apvrille Ludovic, Saqui-Sannes Pierre de, Khendek Ferhat, Synthèse d’une conception UML temps-réel à partir de diagrammes de séquences. 2005, CFIP 2005 - Colloque Francophone sur l’Ingénierie des Protocoles, 2005-03-29 - 2005-04-01 (2005-04-01, Bordeaux)

Synthèse d'une conception UML temps-réel à partir de diagrammes de séquences

Apvrille Ludovic, Saqui-Sannes Pierre de, Apvrille Axelle, Une méthodologie de conception des systèmes distribués basée sur UML. 2005, NOuvelles TEchnologies de la REpartition (NOTERE) 2005, 2005-08-29 - 2005-09-01 (2005-09-01, Gatineau)

Une méthodologie de conception des systèmes distribués basée sur UML

Sadani Tarek, Courtiat Jean-Pierre, Saqui-Sannes Pierre de, From RT-LOTOS to Time Petri Nets new foundations for a verification platform. 2005, SEFM’05 - 3rd IEEE International Conference on Software Engineering and Formal Methods

From RT-LOTOS to Time Petri Nets new foundations for a verification platform

Sadani Tarek, Saqui-Sannes Pierre de, Courtiat Jean-Pierre, Validation de spécifications RT-LOTOS : une interface vers l’outil TINA. 2005, MSR’05 - Modélisation des Systèmes Réactifs

Validation de spécifications RT-LOTOS : une interface vers l'outil TINA

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

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

Apvrille Ludovic, Saqui-Sannes Pierre de, Sénac Patrick, 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

Verifying service continuity in a satellite reconfiguration procedure: application to a satellite

Apvrille Ludovic, Courtiat Jean-Pierre, Lohr Christophe, 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

TURTLE: A real-time UML profile supported by a formal validation toolkit

Saqui-Sannes Pierre de, Apvrille Ludovic, Lohr Christophe, Sénac Patrick, 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

UML and RT-LOTOS: an integration for real-time system validation