default search action

combined dblp search
author search
venue search
publication search

ask others

Pierre de Saqui-Sannes

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/se/ChaudemarASP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/se/ChaudemarASP24
Jean-Charles Chaudemar, Ombeline Aïello, Pierre de Saqui-Sannes, Olivier Poitou:
Mission-based design of UAVs. Syst. Eng. 27(5): 850-868 (2024)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/sncs/CoudertASHS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sncs/CoudertASHS24
Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes:
Incremental and Formal Verification of SysML Models. SN Comput. Sci. 5(6): 714 (2024)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/MathouDSC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/MathouDSC24
Charles Mathou, Kevin Delmas, Pierre de Saqui-Sannes, Jean-Charles Chaudemar:
Safety-oriented dynamic procedure modeling. SysCon 2024: 1-8
2023
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/ApvrilleSHSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/ApvrilleSHSC23
Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert:
Mutation of Formally Verified SysML Models. MODELSWARD 2023: 31-42
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/MathouDCS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/MathouDCS23
Charles Mathou, Kevin Delmas, Jean-Charles Chaudemar, Pierre de Saqui-Sannes:
Modeling UAS Flight Procedures for SORA Safety Objectives. SysCon 2023: 1-8
2022
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/Saqui-SannesVGT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/Saqui-SannesVGT22
Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Christophe Garion, Xavier Thirioux:
A Taxonomy of MBSE Approaches by Languages, Tools and Methods. IEEE Access 10: 120936-120950 (2022)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/ApvrilleSHC22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/ApvrilleSHC22a
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: 109-134
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/ApvrilleSHC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/ApvrilleSHC22
Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino:
SysML Models Verification Relying on Dependency Graphs. MODELSWARD 2022: 174-181
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/Saqui-SannesVDR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/Saqui-SannesVDR22
Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Nasrine Damouche, Eric Razafimahazo, Ombeline Aïello, Maisa Cietto:
Mind Maps Upstream SysML v2 Diagrams. SysCon 2022: 1-8
2021
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/jacic/SaquiSannesAV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacic/SaquiSannesAV21
Pierre de Saqui-Sannes, Ludovic Apvrille, Rob A. Vingerhoeds:
Checking SysML Models Against Safety and Security Properties. J. Aerosp. Inf. Syst. 18(12): 906-918 (2021)
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/isse2/AielloKCPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isse2/AielloKCPS21
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: 1-8
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/isse2/RazafimahazoSVB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isse2/RazafimahazoSVB21
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: 1-8
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/ChaudemarS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/ChaudemarS21
Jean-Charles Chaudemar, Pierre de Saqui-Sannes:
MBSE and MDAO for Early Validation of Design Decisions: a Bibliography Survey. SysCon 2021: 1-8
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/MuzellecVVS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/MuzellecVVS21
Mathieu Muzellec, Paul Vivot, Rob A. Vingerhoeds, Pierre de Saqui-Sannes:
Towards a combination of MARTE and ECOA. SysCon 2021: 1-8
2020
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/AquinoSV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/AquinoSV20
Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds:
A Methodological Assistant for Use Case Diagrams. MODELSWARD 2020: 227-236
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/AquinoSV20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/AquinoSV20a
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: 298-322
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/SouzaBHSA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/SouzaBHSA20
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: 1-8

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/LeserfSH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LeserfSH19
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): 3265-3281 (2019)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/isse2/DaigmorteSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isse2/DaigmorteSV19
Hugo Daigmorte, Pierre de Saqui-Sannes, Rob A. Vingerhoeds:
A SysML Method with Network Dimensioning. ISSE 2019: 1-8
[c28]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/Saqui-SannesA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Saqui-SannesA19
Pierre de Saqui-Sannes, Ludovic Apvrille:
Test Sequence Generation From Formally Verified SysML Models. Software Engineering (Workshops) 2019: 67-74
2018
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/ArantesBMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/ArantesBMS18
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: 1-6
2017
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/MatteiLSE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/MatteiLSE17
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: 1-8
2015
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/LeserfSH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/LeserfSH15
Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues:
Multi domain optimization with SysML modeling. ETFA 2015: 1-8
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/LeserfSHC15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/LeserfSHC15a
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: 311-327
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/LeserfSHC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/LeserfSHC15
Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban:
SysML Modeling for Embedded Systems Design Optimization - A Case Study. MODELSWARD 2015: 449-457
2013
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ijertcs/AdjirSR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijertcs/AdjirSR13
Noureddine Adjir, Pierre de Saqui-Sannes, Mustapha Kamel Rahmouni:
Conformance Testing of Preemptive Real-Time Systems. Int. J. Embed. Real Time Commun. Syst. 4(4): 1-26 (2013)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/ApvrilleS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/ApvrilleS13
Ludovic Apvrille, Pierre de Saqui-Sannes:
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models. SDL Forum 2013: 91-106
2012
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1206-0788
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-0788
Noureddine Adjir, Pierre de Saqui-Sannes, Mustapha Kamel Rahmouni, Abdelkader Adla:
Timed Test Case Generation Using Labeled Prioritized Time Petri Nets. CoRR abs/1206.0788 (2012)
2011
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/KnorreckAS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/KnorreckAS11
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): 1-8 (2011)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tsi/ApvrilleS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/ApvrilleS11
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): 309-337 (2011)
2010
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/Saqui-SannesVFMBCCV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/Saqui-SannesVFMBCCV10
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): 125-133 (2010)
[j9]
- view
  - electronic edition @ complexica.net
  - no references & citations available
- export record
  dblp key:
  - journals/siu/ApvrilleMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siu/ApvrilleMS10
Ludovic Apvrille, Ahlem Mifdaoui, Pierre de Saqui-Sannes:
Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method. Stud. Inform. Univ. 8(3): 47-69 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/AdjirSR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/AdjirSR09
Noureddine Adjir, Pierre de Saqui-Sannes, Mustapha Kamel Rahmouni:
Testing Real-Time Systems Using TINA. TestCom/FATES 2009: 1-15
2008
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/AdjirSR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/AdjirSR08
Noureddine Adjir, Pierre de Saqui-Sannes, Mustapha Kamel Rahmouni:
Test of preemptive real-time systems. AICCSA 2008: 734-742
[c19]
- view
  - electronic edition @ editions-rnti.fr
  - no references & citations available
- export record
  dblp key:
  - conf/lmo/FontanSA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lmo/FontanSA08
Benjamin Fontan, Pierre de Saqui-Sannes, Ludovic Apvrille:
Synthèse d'observateurs à partir d'exigences temporelles. LMO 2008: 185-203
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/notere/ApvrilleS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/notere/ApvrilleS08
Ludovic Apvrille, Pierre de Saqui-Sannes:
Adding a methodological assistant to a protocol modeling environment. NOTERE 2008: 12:1-12:12
2007
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/securware/FontanMSV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/securware/FontanMSV07
Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur:
Temporal Verification in Secure Group Communication System Design. SECURWARE 2007: 175-180
2006
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/adt/ApvrilleSPA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/adt/ApvrilleSPA06
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): 1347-1368 (2006)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/ApvrilleSK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/ApvrilleSK06
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): 449-466 (2006)
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/SadaniBSC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SadaniBSC06
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. FORTE 2006: 404-419
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SadaniBSC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SadaniBSC06
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM 2006: 360-379
[c14]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/issse3/FontanMVSC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issse3/FontanMVSC06
Benjamin Fontan, Sara Mota, Thierry Villemur, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
UML-Based Modeling and Formal Verification of Authentication Protocols. ISSSE 2006
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/FontanASC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/FontanASC06
Benjamin Fontan, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
Real-Time and Embedded System Verification Based on Formal Requirements. IES 2006: 1-10
2005
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
  - no references & citations available
- export record
  dblp key:
  - books/hal/SaquiSannes05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hal/SaquiSannes05
Pierre de Saqui-Sannes:
Conception basée modèle des systèmes temps réel et distribués. National Polytechnic Institute of Toulouse, France, 2005
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/SadaniSC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/SadaniSC05
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. SEFM 2005: 250-260
2004
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/ApvrilleSSL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/ApvrilleSSL04
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): 167-191 (2004)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ApvrilleCLS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ApvrilleCLS04
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): 473-487 (2004)
2003
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/LohrASC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/LohrASC03
Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
New Operators for the TURTLE Real-Time UML Profile. FMOODS 2003: 214-228
2002
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/mta/WillrichSSD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mta/WillrichSSD02
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): 7-27 (2002)
2001
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/DriraAS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/DriraAS01
Khalil Drira, Pierre Azéma, Pierre de Saqui-Sannes:
Testability analysis in communicating systems. Comput. Networks 36(5/6): 671-693 (2001)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/uml/ApvrilleSLSC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uml/ApvrilleSLSC01
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: 287-301

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/SantosCS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SantosCS98
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: 163-178
1996
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsac/SenacDLS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsac/SenacDLS96
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): 84-103 (1996)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icmcs/WillrichSDS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmcs/WillrichSDS96
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: 399-406
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mmm/WillrichSSD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmm/WillrichSSD96
Roberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz:
Hypermedia Document Design Using the HTSPN Model. MMM 1996: 151-166
1995
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/SenacSW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/SenacSW95
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: 451-470
1994
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pstv/Saqui-SannesCC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Saqui-SannesCC94
Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus:
Verification by abstraction as a preamble for interoperability test suite generation. PSTV 1994: 152-166
1992
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/CourtiatS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/CourtiatS92
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): 83-98 (1992)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/nossdav/CarmoSC92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nossdav/CarmoSC92
Luiz F. Rust da Costa Carmo, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
Basic Synchronization Concepts in Multimedia Systems. NOSSDAV 1992: 94-105
1991
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pstv/Saqui-SannesC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Saqui-SannesC91
Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. PSTV 1991: 75-89

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Saqui-SannesC89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Saqui-SannesC89
Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
From the Simulation to the Verification of Estelle Specifications. FORTE 1989: 393-407
1988
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Saqui-SannesC88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Saqui-SannesC88
Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. FORTE 1988: 15-29

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.