Access content directly

Franck Pommereau

64
Documents

Publications

Image document

Qualitative Modeling for Bridging Expert-Knowledge and Social-Ecological Dynamics of an East African Savanna

Maximilien Cosme , Christelle Hély , Franck Pommereau , Paolo Pasquariello , Christel Tiberi et al.
Land, 2022, 11 (1), 26 p. ⟨10.3390/land11010042⟩
Journal articles hal-03522463v1
Image document

Model-checking ecological state-transition graphs

Colin Thomas , Maximilien Cosme , Cédric Gaucherel , Franck Pommereau
PLoS Computational Biology, 2022, 18 (6), pp.e1009657. ⟨10.1371/journal.pcbi.1009657⟩
Journal articles hal-03719082v1
Image document

Maintaining biodiversity promotes the multifunctionality of social-ecological systems: holistic modelling of a mountain system

Zhun Mao , Julia Centanni , Franck Pommereau , Alexia Stokes , Cédric Gaucherel et al.
Ecosystem Services, 2021, 47, pp.101220. ⟨10.1016/j.ecoser.2020.101220⟩
Journal articles hal-03043249v1
Image document

Using discrete systems to exhaustively characterize the dynamics of an integrated ecosystem

Cedric Gaucherel , Franck Pommereau
Methods in Ecology and Evolution, 2019, 10 (9), pp.1615-1627. ⟨10.1111/2041-210X.13242⟩
Journal articles hal-02265554v1
Image document

A BSP algorithm for on-the-fly checking CTL* formulas on security protocols

Frédéric Gava , Franck Pommereau , Michael Guedj
Journal of Supercomputing, 2014, 69 (2), pp.629--672. ⟨10.1007/s11227-014-1099-8⟩
Journal articles hal-00950399v1
Image document

Integrated Regulatory Networks (IRNs): Spatially organized biochemical modules

Jean-Louis Giavitto , Hanna Klaudel , Franck Pommereau
Theoretical Computer Science, 2012, 431, pp.219--234. ⟨10.1016/j.tcs.2011.12.054⟩
Journal articles hal-00769275v1
Image document

State Space Reduction for Dynamic Process Creation

Hanna Klaudel , Maciej Koutny , Elisabeth Pelz , Franck Pommereau
Scientific Annals of Computer Science, 2010, 20, pp.131--157
Journal articles hal-00666663v1
Image document

M-nets: A survey

Hanna Klaudel , Franck Pommereau
Acta Informatica, 2008, 45 (7-8), pp.537--564. ⟨10.1007/s00236-008-0077-0⟩
Journal articles hal-00870484v1
Image document

Quickly prototyping Petri nets tools with SNAKES

Franck Pommereau
Petri nets newsletter, 2008, 75
Journal articles hal-02310228v1
Image document

Petri nets as executable specifications of high-level timed parallel systems.

Franck Pommereau
Scalable Computing : Practice and Experience, 2005, 6 (4), pp.71-82
Journal articles hal-00114669v1
Image document

Asynchonous Box Calculus

Raymond Devillers , Hanna Klaudel , Maciej Koutny , Franck Pommereau
Fundamenta Informaticae, 2003, 54, pp.1-50
Journal articles hal-00114675v1
Image document

A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems

Hanna Klaudel , Franck Pommereau
Fundamenta Informaticae, 2002, 50(1), pp.33-55
Journal articles hal-00114685v1
Image document

Pattern Matching in discrete Models for Ecosystem Ecology

Cinzia Di Giusto , Cédric Gaucherel , Hanna Klaudel , Franck Pommereau
10th International Conference on Bioinformatics Models, Methods and Algorithms (Bioinformatics 2019), Feb 2019, Prague, Czech Republic. pp.101--111
Conference papers hal-02002550v1

Analysis of Discrete Models for Ecosystem Ecology

Cinzia Di Giusto , Cédric Gaucherel , Hanna Klaudel , Franck Pommereau
12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), Ana Roque; Arkadiusz Tomczyk; Elisabetta De Maria; Felix Putze; Roman Moucek; Ana Fred; Hugo Gamboa, Feb 2019, Prague, Czech Republic. pp.242--264, ⟨10.1007/978-3-030-46970-2_12⟩
Conference papers hal-02682352v1
Image document

ASPiC: an Acting system based on Skill Petri net Composition

Charles Lesire , Franck Pommereau
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), Oct 2018, Madrid, Spain. pp.6952--6958, ⟨10.1109/IROS.2018.8594328⟩
Conference papers hal-01961211v1
Image document

Faster simulation of (Coloured) Petri nets using parallel computing

Franck Pommereau , Jordan de La Houssaye
38th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2017), Jun 2017, Zaragoza, Spain. pp.37--56, ⟨10.1007/978-3-319-57861-3_4⟩
Conference papers hal-01533514v1
Image document

Scalable fine-grained metric-based remeshing algorithm for manycore/NUMA architectures

Hoby Rakotoarivelo , Franck Ledoux , Franck Pommereau , Nicolas Le Goff
23rd International Conference on Parallel and Distributed Computing (Euro-Par 2017), Aug 2017, Santiago de Compostela, Spain. pp.594--606, ⟨10.1007/978-3-319-64203-1_43⟩
Conference papers hal-01609940v1
Image document

ABCD: A user-friendly language for formal modelling and analysis

Franck Pommereau
37th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2016), Jun 2016, Torun, Poland. pp.176--195, ⟨10.1007/978-3-319-39086-4_12⟩
Conference papers hal-01352028v1
Image document

Fine-grained Locality-aware Parallel Scheme for Anisotropic Mesh Adaptation

Hoby Rakotoarivelo , Franck Ledoux , Franck Pommereau
25th International Meshing Roundtable (IMR 2016), Sep 2016, Crystal City, United States. pp.123-135, ⟨10.1016/j.proeng.2016.11.035⟩
Conference papers hal-01432988v1
Image document

Formal modelling and analysis of distributed storage systems

Jordan de La Houssaye , Franck Pommereau , Philippe Deniel
International Workshop on Petri Nets and Software Engineering (PNSE 2016), including the International Workshop on Biological Processes and Petri Nets (BioPPN 2016), Jun 2016, Torun, Poland. pp.70-90, ⟨10.1007/978-3-662-55862-1_4⟩
Conference papers hal-01352035v1
Image document

SNAKES: A flexible high-level Petri nets library

Franck Pommereau
36th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2015), Jun 2015, Brussels, Belgium. pp.254--265, ⟨10.1007/978-3-319-19488-2_13⟩
Conference papers hal-01186407v1
Image document

Modular µ-calculus model-checking with formula-dependent hierarchical abstractions

Yves-Stan Le Cornec , Franck Pommereau
2014 14th International Conference on Application of Concurrency to System Design, Jun 2014, Tunis La Marsa, France. pp.11-20, ⟨10.1109/ACSD.2014.14⟩
Conference papers hal-02309924v1
Image document

Building Petri nets tools around Neco compiler

Lukasz Fronc , Franck Pommereau
International Workshop on Petri Nets and Software Engineering (PNSE 2013), Jun 2013, Milano, Italy. (elec. proc.)
Conference papers hal-00911714v1
Image document

A BSP algorithm for on-the-fly checking LTL formulas on security protocols

Frédéric Gava , Michael Guedj , Franck Pommereau
11th International Symposium on Parallel and Distributed Computing (ISPDC 2012), Jun 2012, Munich/Garching, Bavaria, Germany. pp.11--18, ⟨10.1109/ISPDC.2012.10⟩
Conference papers hal-00868689v1
Image document

Formal modelling and analysis of behaviour grading within a peer-to-peer storage system

Samira Chaou , Franck Pommereau
Theory of Modeling and Simulation: DEVS Integrative M and S Symposium 2012 (DEVS 2012), Part of the 2012 Spring Simulation Multiconference (SpringSim 2012), Mar 2012, Orlando, FL., United States. pp.212--219
Conference papers hal-00868709v1
Image document

Performance evaluations of a BSP algorithm for state space construction of security protocols

Frédéric Gava , Michael Guedj , Franck Pommereau
20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2012), Feb 2012, Garching, Germany. pp.170--174, ⟨10.1109/PDP.2012.65⟩
Conference papers hal-00745201v1
Image document

A BSP algorithm for on-the-fly checking CTL* formulas on security protocols

Frédéric Gava , Michael Guedj , Franck Pommereau
13th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2012), Dec 2012, Beijing, China. pp.79--84, ⟨10.1109/PDCAT.2012.12⟩
Conference papers hal-00950415v1
Image document

Optimising the compilation of Petri net models

Lukasz Fronc , Franck Pommereau
Second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO 2011), Jun 2011, Kanazawa, Japan. pp.49--64
Conference papers hal-00666661v1
Image document

Towards a certified Petri net model-checker

Lukasz Fronc , Franck Pommereau
9th Asian Symposiium on Programming Languages and Systems (APLAS 2011), Dec 2011, Kenting, Taiwan. pp.322--336, ⟨10.1007/978-3-642-25318-8_24⟩
Conference papers hal-00666660v1
Image document

Evaluating a Peer-to-peer Storage System in Presence of Malicious Peers

Samira Chaou , Gil Utard , Franck Pommereau
International Conférence on High Performance Computing and Simulation (HPCS 2011), Jul 2011, Istanbul, Turkey. pp.419--426, ⟨10.1109/HPCSim.2011.5999855⟩
Conference papers hal-00669179v1
Image document

State space exploration of spatially organized populations of agents

Antoine Dautriche , Jean-Louis Giavitto , Hanna Klaudel , Franck Pommereau
5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011), Oct 2011, Ann Arbor, MI, United States. pp.79-84, ⟨10.1109/SASOW.2011.9⟩
Conference papers hal-00745245v1
Image document

Modelling, Verification, and Formal Analysis of Security Properties in a P2P System

Sam Sanjabi , Franck Pommereau
2010 International Symposium on Collaborative Technologies and Systems, May 2010, Chicago, France. pp.499-508, ⟨10.1109/CTS.2010.5478474⟩
Conference papers hal-02310070v1
Image document

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections

Jean-Louis Giavitto , Hanna Klaudel , Franck Pommereau
4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010), Aug 2010, Jena, Germany. ⟨10.4204/EPTCS.40.11⟩
Conference papers hal-00666662v1
Image document

A BSP Algorithm for the State Space Construction of Security Protocols

Frédéric Gava , Michael Guedj , Franck Pommereau
9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC, affiliated to conference SPIN 2010), Sep 2010, Enschede, Netherlands. pp.37--44, ⟨10.1109/PDMC-HiBi.2010.14⟩
Conference papers hal-00669177v1
Image document

An approach to state space reduction for systems with dynamic process creation

Hanna Klaudel , Maciej Koutny , Elisabeth Pelz , Franck Pommereau
24th International Symposium on Computer and Information Sciences (ISCIS 2009), Sep 2009, Guzelyurt, Turkey. pp.543--548, ⟨10.1109/ISCIS.2009.5291864⟩
Conference papers hal-00666664v1
Image document

Nets in Nets with SNAKES

Franck Pommereau
Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA'09), Sep 2009, Hamburg, Germany
Conference papers hal-00666665v1
Image document

Modeling and analysis of security protocols using role based specifications and Petri nets

Roland Bouroulet , Raymond Devillers , Hanna Klaudel , Elisabeth Pelz , Franck Pommereau et al.
International Conference on Application and Theory of Petri Nets (ICATPN'08), Jun 2008, Xi'an, China. pp.72--91, ⟨10.1007/978-3-540-68746-7_9⟩
Conference papers hal-00340476v1
Image document

Quickly prototyping Petri nets tools with SNAKES

Franck Pommereau
International Workshop on Petri Nets Tools and APplications PNTAP 2008,, Mar 2008, Marseille, France
Conference papers hal-02309814v1
Image document

Versatile Boxes: a Multi-Purpose Algebra of High-Level Petri nets

Franck Pommereau
Summer Computer Simulation Conference, 2007, San Diego, United States
Conference papers hal-02309961v1
Image document

Efficient reachability graph representation of Petri nets with unbounded counters

Franck Pommereau , Raymond Devillers , Hanna Klaudel
9th International Workshops on Verification of Infinite-State Systems (INFINITY 2007), Sep 2007, Lisbon, Portugal. pp.119--129, ⟨10.1016/j.entcs.2009.05.034⟩
Conference papers hal-00340494v1
Image document

Petri nets as Executable Specifications of High-Level Timed Parallel Systems

Franck Pommereau
Computational Science - ICCS, 2004, Kraków, Poland. pp.331-338, ⟨10.1007/978-3-540-24688-6_44⟩
Conference papers hal-00114671v1
Image document

Causal Time Calculus

Franck Pommereau
FORMATS, 2004, Marseille, France. pp.1-12, ⟨10.1007/978-3-540-40903-8_21⟩
Conference papers hal-00114673v1
Image document

Box Calculus with High-Level Buffers

Cécile Bui Thanh , Hanna Klaudel , Franck Pommereau
2004, pp.1-6
Conference papers hal-00114672v1
Image document

Petri nets with causal time for system verification

Cécile Bui Thanh , Hanna Klaudel , Franck Pommereau
MTCS, 2003, Brno, Czech Republic. pp.1-16, ⟨10.1016/S1571-0661(04)80521-8⟩
Conference papers hal-00114682v1
Image document

An Algebra of Non-safe Petri Boxes

Raymond Devillers , Hanna Klaudel , Maciej Koutny , Franck Pommereau
AMAST, 2002, Saint-Gilles-les-Bains, France. pp.192-207, ⟨10.1007/3-540-45719-4_14⟩
Conference papers hal-02309988v1
Image document

Operational Semantics for PBC with Asynchronous Communication

Raymond Devillers , Hanna Klaudel , Maciej Koutny , Elisabeth Pelz , Franck Pommereau et al.
2002, pp.1-6
Conference papers hal-00114684v1
Image document

A concurrent semantics of static exceptions in a parallel programming language

Hanna Klaudel , Franck Pommereau
PETRI NETS, 2001, Newcastle upon Tyne, United Kingdom. pp.204-223, ⟨10.1007/3-540-45740-2_13⟩
Conference papers hal-00114689v1
Image document

A concurrent and compositional Petri net semantics of preemption

Hanna Klaudel , Franck Pommereau
Integrated Formal Methods (IFM), 2000, Dagstuhl, Germany. pp.318-337, ⟨10.1007/3-540-40911-4_19⟩
Conference papers hal-00114693v1
Image document

FIFO Buffers in tie Sauce

Franck Pommereau
Distributed and Parallel Systems, Sep 2000, Balatonfüred, Hungary. pp.95-104, ⟨10.1007/978-1-4615-4489-0_13⟩
Conference papers hal-02310048v1
Image document

Asynchronous links in the PBC and M-nets

Hanna Klaudel , Franck Pommereau
ASIAN, 1999, Phuket, Thailand. pp.190-200, ⟨10.1007/3-540-46674-6_17⟩
Conference papers hal-00114697v1
Image document

Algebras of coloured Petri nets

Franck Pommereau
LAP LAMBERT Academic Publishing, 2010, 978-3843361132
Books hal-02309870v1
Image document

Modèles composables et concurrents pour le temps-réel

Franck Pommereau
Modélisation et simulation. Université Paris 12, 2002. Français. ⟨NNT : ⟩
Theses tel-00114680v1
Image document

Algebras of coloured Petri nets and their applications to modelling and verification

Franck Pommereau
Computer Science [cs]. Université de Paris-Est/Créteil, 2009
Habilitation à diriger des recherches tel-02309973v1