The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pierre de Saqui-Sannes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Patrick Sénac, Pierre de Saqui-Sannes, Roberto Willrich
    Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:451-470 [Conf]
  2. Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
    New Operators for the TURTLE Real-Time UML Profile. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:214-228 [Conf]
  3. Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
    Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:404-419 [Conf]
  4. C. A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes
    A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:163-178 [Conf]
  5. Pierre de Saqui-Sannes, Jean-Pierre Courtiat
    ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:15-29 [Conf]
  6. Pierre de Saqui-Sannes, Jean-Pierre Courtiat
    From the Simulation to the Verification of Estelle Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:393-407 [Conf]
  7. Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
    Mapping RT-LOTOS Specifications into Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:360-379 [Conf]
  8. Roberto Willrich, Patrick Sénac, Michel Diaz, Pierre de Saqui-Sannes
    A Formal Framework for the Specification, Analysis and Generation of Standardized Hypermedia Documents. [Citation Graph (0, 0)][DBLP]
    ICMCS, 1996, pp:399-406 [Conf]
  9. Luiz F. Rust da Costa Carmo, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
    Basic Synchronization Concepts in Multimedia Systems. [Citation Graph (0, 0)][DBLP]
    NOSSDAV, 1992, pp:94-105 [Conf]
  10. Pierre de Saqui-Sannes, Jean-Pierre Courtiat
    An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:75-89 [Conf]
  11. Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus
    Verification by abstraction as a preamble for interoperability test suite generation. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:152-166 [Conf]
  12. Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
    From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:250-260 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:287-301 [Conf]
  14. Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr
    Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:2, pp:167-191 [Journal]
  15. Jean-Pierre Courtiat, Pierre de Saqui-Sannes
    ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1992, v:25, n:1, pp:83-98 [Journal]
  16. Khalil Drira, Pierre Azéma, Pierre de Saqui-Sannes
    Testability analysis in communicating systems. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2001, v:36, n:5/6, pp:671-693 [Journal]
  17. Patrick Sénac, Michel Diaz, Alain Léger, Pierre de Saqui-Sannes
    Modeling Logical and Temporal Synchronization in Hypermedia Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Journal on Selected Areas in Communications, 1996, v:14, n:1, pp:84-103 [Journal]
  18. Roberto Willrich, Pierre de Saqui-Sannes, Patrick Sénac, Michel Diaz
    Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java. [Citation Graph (0, 0)][DBLP]
    Multimedia Tools Appl., 2002, v:16, n:1, pp:7-27 [Journal]
  19. Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes
    TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:7, pp:473-487 [Journal]

  20. Test of preemptive real-time systems. [Citation Graph (, )][DBLP]


  21. Hypermedia Document Design Using the HTSPN Model. [Citation Graph (, )][DBLP]


  22. Testing Real-Time Systems Using TINA. [Citation Graph (, )][DBLP]


  23. Temporal Verification in Secure Group Communication System Design. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002