 | 2009 |
|---|
| 24 |       | Noureddine Adjir,
Pierre de Saqui-Sannes,
Kamel Mustapha Rahmouni:
Testing Real-Time Systems Using TINA.
TestCom/FATES 2009: 1-15 |
| 2008 |
|---|
| 23 | | Noureddine Adjir,
Pierre de Saqui-Sannes,
Kamel Mustapha Rahmouni:
Test of preemptive real-time systems.
AICCSA 2008: 734-742 |
| 2007 |
|---|
| 22 | | Benjamin Fontan,
Sara Mota,
Pierre de Saqui-Sannes,
Thierry Villemur:
Temporal Verification in Secure Group Communication System Design.
SECURWARE 2007: 175-180 |
| 2006 |
|---|
| 21 | | 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 |
| 20 | | Tarek Sadani,
Marc Boyer,
Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
Mapping RT-LOTOS Specifications into Time Petri Nets.
ICFEM 2006: 360-379 |
| 19 | | Ludovic Apvrille,
Pierre de Saqui-Sannes,
Ferhat Khendek:
TURTLE-P: a UML profile for the formal validation of critical and distributed systems.
Software and System Modeling 5(4): 449-466 (2006) |
| 2005 |
|---|
| 18 | | 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 |
|---|
| 17 | | 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) |
| 16 | | 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 |
|---|
| 15 | | 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 |
|---|
| 14 |  | Roberto Willrich,
Pierre de Saqui-Sannes,
Patrick Sénac,
Michel Diaz:
Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java.
Multimedia Tools Appl. 16(1): 7-27 (2002) |
| 2001 |
|---|
| 13 | | 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 |
| 12 | | Khalil Drira,
Pierre Azéma,
Pierre de Saqui-Sannes:
Testability analysis in communicating systems.
Computer Networks 36(5/6): 671-693 (2001) |
| 1998 |
|---|
| 11 | | C. 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 |
|---|
| 10 | | 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 |
| 9 | | Roberto Willrich,
Pierre de Saqui-Sannes,
Patrick Sénac,
Michel Diaz:
Hypermedia Document Design Using the HTSPN Model.
MMM 1996: 151-166 |
| 8 | | Patrick Sénac,
Michel Diaz,
Alain Léger,
Pierre de Saqui-Sannes:
Modeling Logical and Temporal Synchronization in Hypermedia Systems.
IEEE Journal on Selected Areas in Communications 14(1): 84-103 (1996) |
| 1995 |
|---|
| 7 | | 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 |
|---|
| 6 | | 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 |
|---|
| 5 | | Luiz F. Rust da Costa Carmo,
Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
Basic Synchronization Concepts in Multimedia Systems.
NOSSDAV 1992: 94-105 |
| 4 | | Jean-Pierre Courtiat,
Pierre de Saqui-Sannes:
ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle.
Computer Networks and ISDN Systems 25(1): 83-98 (1992) |
| 1991 |
|---|
| 3 | | Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle.
PSTV 1991: 75-89 |
| 1989 |
|---|
| 2 | | Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
From the Simulation to the Verification of Estelle Specifications.
FORTE 1989: 393-407 |
| 1988 |
|---|
| 1 | | Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project.
FORTE 1988: 15-29 |
