Franck Pommereau

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 16

Top Venues

Petri Nets

PNSE@Petri Nets

BIOSTEC (Selected Papers)

PNSE @ Petri Nets

Paris 12 Val de Marne University, France (PHD)

Education History

Paris 12 Val de Marne University, France

PHD

Publications

Franck Pommereau, Cédric Gaucherel
A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems. PNSE@Petri Nets (2024)
Franck Pommereau, Colin Thomas, Cédric Gaucherel
Petri Nets Semantics of Reaction Rules (RR) - A Language for Ecosystems Modelling. Petri Nets (2022)
Franck Pommereau, Colin Thomas, Cédric Gaucherel
EDEN Framework for Interactive Analysis of Ecosystems Models. PNSE@Petri Nets (2022)
Colin Thomas, Maximilien Cosme, Cédric Gaucherel, Franck Pommereau
Model-checking ecological state-transition graphs. PLoS Comput. Biol. 18 (6) (2022)
Giann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau
Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs. PNSE@Petri Nets (2022)
Cédric Gaucherel, Camille Carpentier, Ilse R. Geijzendorffer, Camille Noûs, Franck Pommereau
Discrete-event models for conservation assessment of integrated ecosystems. Ecol. Informatics 61 (2021)
Cédric Gaucherel, Franck Pommereau, Christelle Hély
Understanding Ecosystem Complexity via Application of a Process-Based State Space rather than a Potential Surface. Complex. 2020 (2020)
Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau
Analysis of Discrete Models for Ecosystem Ecology. BIOSTEC (Selected Papers) (2019)
Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau
Pattern Matching in Discrete Models for Ecosystem Ecology. BIOINFORMATICS (2019)
Charles Lesire, Franck Pommereau
ASPiC: An Acting System Based on Skill Petri Net Composition. IROS (2018)
Hoby Rakotoarivelo, Franck Ledoux, Franck Pommereau, Nicolas Le Goff
Scalable Fine-Grained Metric-Based Remeshing Algorithm for Manycore/NUMA Architectures. Euro-Par (2017)
Jordan de la Houssaye, Franck Pommereau, Philippe Deniel
Formal Modelling and Analysis of Distributed Storage Systems. Trans. Petri Nets Other Model. Concurr. 12 (2017)
Franck Pommereau, Jordan de la Houssaye
Faster Simulation of (Coloured) Petri Nets Using Parallel Computing. Petri Nets (2017)
Franck Pommereau
ABCD: A User-Friendly Language for Formal Modelling and Analysis. Petri Nets (2016)
Jordan de la Houssaye, Franck Pommereau, Philippe Deniel
Formal Modelling and Analysis of Distributed Storage Systems. PNSE @ Petri Nets (2016)
Franck Pommereau
SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper). Petri Nets (2015)
Yves-Stan Le Cornec, Franck Pommereau
Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions. ACSD (2014)
Frédéric Gava, Franck Pommereau, Michaël Guedj
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. J. Supercomput. 69 (2) (2014)
Lukasz Fronc, Franck Pommereau
Building Petri Nets Tools around Neco Compiler. PNSE+ModPE (2013)
Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR (2013)
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR (2012)
Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
Integrated regulatory networks (IRNs): Spatially organized biochemical modules. Theor. Comput. Sci. 431 (2012)
Frédéric Gava, Michaël Guedj, Franck Pommereau
Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. PDP (2012)
Samira Chaou, Franck Pommereau
Formal modelling and analysis of behaviour grading within a peer-to-peer storage system. SpringSim (TMS-DEVS) (2012)
Frédéric Gava, Michaël Guedj, Franck Pommereau
A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols. PDCAT (2012)
Frédéric Gava, Michaël Guedj, Franck Pommereau
A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. ISPDC (2012)
Lukasz Fronc, Franck Pommereau
Towards a Certified Petri Net Model-Checker. APLAS (2011)
Samira Chaou, Gil Utard, Franck Pommereau
Evaluating a peer-to-peer storage system in presence of malicious peers. HPCS (2011)
Antoine Dautriche, Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
State Space Exploration of Spatially Organized Populations of Agents. SASO Workshops (2011)
Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections MeCBIC (2010)
Sam B. Sanjabi, Franck Pommereau
Modelling, verification, and formal analysis of security properties in a P2P system. CTS (2010)
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
State Space Reduction for Dynamic Process Creation. Sci. Ann. Comput. Sci. 20 (2010)
Franck Pommereau, Raymond R. Devillers, Hanna Klaudel
Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. INFINITY (2009)
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
An approach to state space reduction for systems with dynamic process creation. ISCIS (2009)
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC (2008)
Roland 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)
Hanna Klaudel, Franck Pommereau
M-nets: a survey. Acta Informatica 45 (7-8) (2008)
Franck Pommereau
Quickly prototyping petri nets tools with SNAKES. SimuTools (2008)
Franck Pommereau
Versatile boxes: a multi-purpose algebra of high-level Petri nets. SCSC (2007)
Franck Pommereau
Petri nets as Executable Specifications of High-Level Timed Parallel Systems. Scalable Comput. Pract. Exp. 6 (4) (2005)
Franck Pommereau
Petri Nets as Executable Specifications of High-Level Timed Parallel Systems. International Conference on Computational Science (2004)
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
Asynchronous Box Calculus. Fundam. Informaticae 54 (4) (2003)
Franck Pommereau
Causal Time Calculus. FORMATS (2003)
Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau
Petri nets with causal time for system verification. Electron. Notes Theor. Comput. Sci. 68 (5) (2002)
Hanna Klaudel, Franck Pommereau
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems. Fundam. Informaticae 50 (1) (2002)
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
An Algebra of Non-safe Petri Boxes. AMAST (2002)
Hanna Klaudel, Franck Pommereau
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. ICATPN (2001)
Hanna Klaudel, Franck Pommereau
A Concurrent and Compositional Petri Net Semantics of Preemption. IFM (2000)
Hanna Klaudel, Franck Pommereau
Asynchronous Links in the PBC and M-Nets. ASIAN (1999)

Franck Pommereau.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Franck Pommereau