Franck Pommereau
Franck Pommereau
Professor of Computer Science, University of Évry
Email verificata su univ-evry.fr - Home page
Titolo
Citata da
Citata da
Anno
Quickly prototyping Petri nets tools with SNAKES
F Pommereau
Petri nets newsletter 75, 2008
452008
Asynchronous links in the PBC and M-nets
H Klaudel, F Pommereau
Annual Asian Computing Science Conference, 190-200, 1999
371999
SNAKES: A flexible high-level petri nets library (tool paper)
F Pommereau
International Conference on Applications and Theory of Petri Nets and …, 2015
362015
Algebras of coloured Petri nets
F Pommereau
LAP LAMBERT Academic Publishing, 2010
322010
Modeling and analysis of security protocols using role based specifications and Petri nets
R Bouroulet, R Devillers, H Klaudel, E Pelz, F Pommereau
International Conference on Applications and Theory of Petri Nets, 72-91, 2008
232008
Petri nets with causal time for system verification
CB Thanh, H Klaudel, F Pommereau
Electronic Notes in Theoretical Computer Science 68 (5), 85-100, 2003
202003
Raw report on the model checking contest at Petri nets 2012
F Kordon, A Linard, D Buchs, M Colange, S Evangelista, L Fronc, ...
arXiv preprint arXiv:1209.2382, 2012
192012
Modelling, verification, and formal analysis of security properties in a P2P system
SB Sanjabi, F Pommereau
2010 International Symposium on Collaborative Technologies and Systems, 499-508, 2010
192010
M-nets: a survey
H Klaudel, F Pommereau
Acta Informatica 45 (7-8), 537-564, 2008
192008
Optimising the compilation of Petri net models
L Fronc, F Pommereau
Second International Workshop on Scalable and Usable Model Checking for …, 2011
172011
A concurrent and compositional Petri net semantics of preemption
H Klaudel, F Pommereau
International Conference on Integrated Formal Methods, 318-337, 2000
172000
A BSP algorithm for the state space construction of security protocols
F Gava, M Guedj, F Pommereau
2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010
162010
SNAKES is the net algebra kit for editors and simulators
F Pommereau
Comete Procope Workshop, 2004
162004
Asynchronous box calculus
R Devillers, H Klaudel, M Koutny, F Pommereau
Fundamenta Informaticae 54 (4), 295-344, 2003
162003
A modular, qualitative modeling of regulatory networks using Petri nets
C Chaouiya, H Klaudel, F Pommereau
Modeling in Systems Biology, 253-279, 2011
132011
State space reduction for dynamic process creation
H Klaudel, M Koutny, E Pelz, F Pommereau
Scientific Annals of Computer Science 20, 131--157, 2010
132010
Modeles composables et concurrents pour le temps-réel
F Pommereau
Université Paris 12, 2002
132002
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols
F Gava, F Pommereau, M Guedj
The Journal of Supercomputing 69 (2), 629-672, 2014
122014
Towards a certified Petri net model-checker
L Fronc, F Pommereau
Asian Symposium on Programming Languages and Systems, 322-336, 2011
122011
A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems
H Klaudel, F Pommereau
Fundamenta Informaticae 50 (1), 33-55, 2002
122002
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20