The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Franck Pommereau: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
    An Algebra of Non-safe Petri Boxes. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:192-207 [Conf]
  2. Hanna Klaudel, Franck Pommereau
    A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:204-223 [Conf]
  3. Hanna Klaudel, Franck Pommereau
    Asynchronous Links in the PBC and M-Nets. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:190-200 [Conf]
  4. Franck Pommereau
    Causal Time Calculus. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:260-272 [Conf]
  5. Franck Pommereau
    Petri Nets as Executable Specifications of High-Level Timed Parallel Systems. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2004, pp:322-330 [Conf]
  6. Hanna Klaudel, Franck Pommereau
    A Concurrent and Compositional Petri Net Semantics of Preemption. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:318-337 [Conf]
  7. Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau
    Petri nets with causal time for system verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
  8. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
    Asynchronous Box Calculus. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:4, pp:295-344 [Journal]
  9. Hanna Klaudel, Franck Pommereau
    A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:50, n:1, pp:33-55 [Journal]

  10. Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. [Citation Graph (, )][DBLP]


  11. Towards Efficient Verification of Systems with Dynamic Process Creation. [Citation Graph (, )][DBLP]


  12. An approach to state space reduction for systems with dynamic process creation. [Citation Graph (, )][DBLP]


  13. Versatile boxes: a multi-purpose algebra of high-level Petri nets. [Citation Graph (, )][DBLP]


  14. Quickly prototyping petri nets tools with SNAKES. [Citation Graph (, )][DBLP]


  15. M-nets: a survey. [Citation Graph (, )][DBLP]


  16. Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. [Citation Graph (, )][DBLP]


Search in 0.011secs, Finished in 0.012secs
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