dblp.uni-trier.dewww.uni-trier.de

Franck Pommereau

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14EEHanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC 2008: 186-200
13EERoland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau: Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets 2008: 72-91
12EEFranck Pommereau: Quickly prototyping petri nets tools with SNAKES. SimuTools 2008: 17
11EEHanna Klaudel, Franck Pommereau: M-nets: a survey. Acta Inf. 45(7-8): 537-564 (2008)
2007
10EEFranck Pommereau: Versatile boxes: a multi-purpose algebra of high-level Petri nets. SCSC 2007: 665-672
2004
9EEFranck Pommereau: Petri Nets as Executable Specifications of High-Level Timed Parallel Systems. International Conference on Computational Science 2004: 322-330
2003
8EEFranck Pommereau: Causal Time Calculus. FORMATS 2003: 260-272
7EERaymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau: Asynchronous Box Calculus. Fundam. Inform. 54(4): 295-344 (2003)
2002
6EERaymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau: An Algebra of Non-safe Petri Boxes. AMAST 2002: 192-207
5EECécile Bui Thanh, Hanna Klaudel, Franck Pommereau: Petri nets with causal time for system verification. Electr. Notes Theor. Comput. Sci. 68(5): (2002)
4 Hanna Klaudel, Franck Pommereau: A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems. Fundam. Inform. 50(1): 33-55 (2002)
2001
3EEHanna Klaudel, Franck Pommereau: A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. ICATPN 2001: 204-223
2000
2EEHanna Klaudel, Franck Pommereau: A Concurrent and Compositional Petri Net Semantics of Preemption. IFM 2000: 318-337
1999
1EEHanna Klaudel, Franck Pommereau: Asynchronous Links in the PBC and M-Nets. ASIAN 1999: 190-200

Coauthor Index

1Roland Bouroulet [13]
2Raymond R. Devillers [6] [7] [13]
3Hanna Klaudel [1] [2] [3] [4] [5] [6] [7] [11] [13] [14]
4Maciej Koutny [6] [7] [14]
5Elisabeth Pelz [13] [14]
6Cécile Bui Thanh [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)