Franck Pommereau

Cited by

	All	Since 2020
Citations	946	310
h-index	18	10
i10-index	35	10

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420254 8 18 27 21 13 7 11 39 37 51 45 59 81 38 37 28 24 20 45 23 47 72 80 79 9

Public access

View all

3 articles

1 article

available

not available

Based on funding mandates

Co-authors

Maciej KoutnyNewcastle UniversityVerified email at ncl.ac.uk
Raymond Devillersuniversite libre de bruxellesVerified email at ulb.ac.be
Maximilien CosmeInstitut Agro Rennes-Angers, UMR DECODVerified email at institut-agro.fr
Michael GuedjCCI SEINE ET MARNEVerified email at seineetmarne.cci.fr
Christelle HélyDirectrice d'Etudes, EPHEVerified email at ephe.psl.eu
Frédéric GavaLACL, University of Paris-EastVerified email at univ-paris-est.fr
Jean-Louis GiavittoResearch director in Computer Science, CNRS & IRCAMVerified email at ircam.fr
Claudine ChaouiyaI2M UMR 7373, Aix Marseille University (France)Verified email at univ-amu.fr
Camille NoûsLaboratoire CogitamusVerified email at cogitamus.fr
Camille CarpentierUniversity of NamurVerified email at unamur.be
Zhun MaoINRAE, FranceVerified email at inrae.fr
franck ledouxCEAVerified email at cea.fr
Gil UtardProfesseur des Université en Informatique, MIS, Université de Picardie Jules VerneVerified email at u-picardie.fr
Charles LesireResearch Director, Onera - The French Aerospace LabVerified email at onera.fr
Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))Verified email at univ-cotedazur.fr
Stefan HaarINRIA and Université Paris-SaclayVerified email at inria.fr
Giann Karlo Aguirre-SamboníMines ParisTechVerified email at minesparis.psl.eu
Gregory BattINRIA and Institut PasteurVerified email at inria.fr
Sylvain SolimanInria Saclay, Lifeware teamVerified email at inria.fr
Laurence CalzoneInstitut CurieVerified email at curie.fr

Franck Pommereau

Professor of Computer Science, Évry University, Paris-Saclay University

Verified email at univ-evry.fr - Homepage

Petri nets formal methods model-checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
SNAKES: A flexible high-level petri nets library (tool paper) F Pommereau Application and Theory of Petri Nets and Concurrency: 36th International …, 2015	75	2015
Quickly prototyping Petri nets tools with SNAKES F Pommereau Petri nets newsletter 75, 2008	51	2008
Using discrete systems to exhaustively characterize the dynamics of an integrated ecosystem C Gaucherel, F Pommereau Methods in Ecology and Evolution 10 (9), 1615-1627, 2019	45	2019
Algebras of coloured Petri nets F Pommereau LAP LAMBERT Academic Publishing, 2010	40	2010
Asynchronous links in the PBC and M-nets H Klaudel, F Pommereau Annual Asian Computing Science Conference, 190-200, 1999	37	1999
Maintaining biodiversity promotes the multifunctionality of social-ecological systems: holistic modelling of a mountain system Z Mao, J Centanni, F Pommereau, A Stokes, C Gaucherel Ecosystem services 47, 101220, 2021	34	2021
Modeling and analysis of security protocols using role based specifications and Petri nets R Bouroulet, R Devillers, H Klaudel, E Pelz, F Pommereau Applications and Theory of Petri Nets: 29th International Conference, PETRI …, 2008	25	2008
Understanding ecosystem complexity via application of a process‐based state space rather than a potential surface C Gaucherel, F Pommereau, C Hély Complexity 2020 (1), 7163920, 2020	24	2020
ASPiC: an Acting system based on Skill Petri net Composition C Lesire, F Pommereau 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018	22	2018
A concurrent and compositional Petri net semantics of preemption H Klaudel, F Pommereau Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000	22	2000
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	21	2010
Qualitative modeling for bridging expert-knowledge and social-ecological dynamics of an east African savanna M Cosme, C Hély, F Pommereau, P Pasquariello, C Tiberi, A Treydte, ... Land 11 (1), 42, 2021	20	2021
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	20	2012
M-nets: a survey H Klaudel, F Pommereau Acta Informatica 45, 537-564, 2008	20	2008
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	20	2003
A modular, qualitative modeling of regulatory networks using Petri nets C Chaouiya, H Klaudel, F Pommereau Modeling in Systems Biology: The Petri Net Approach, 253-279, 2011	19	2011
Discrete-event models for conservation assessment of integrated ecosystems C Gaucherel, C Carpentier, IR Geijzendorffer, C Noûs, F Pommereau Ecological Informatics 61, 101205, 2021	18	2021
Optimising the compilation of Petri net models L Fronc, F Pommereau Second International Workshop on Scalable and Usable Model Checking for …, 2011	18	2011
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	17	2010
SNAKES is the net algebra kit for editors and simulators F Pommereau Comete Procope Workshop, 2004	17	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors