Franck Pommereau

According to our database, Franck Pommereau authored at least 48 papers between 1999 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Model-checking ecological state-transition graphs.

Colin Thomas, Maximilien Cosme, Cédric Gaucherel, Franck Pommereau

PLoS Comput. Biol., 2022

EDEN Framework for Interactive Analysis of Ecosystems Models.

Franck Pommereau, Colin Thomas, Cédric Gaucherel

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

Petri Nets Semantics of Reaction Rules (RR) - A Language for Ecosystems Modelling.

Franck Pommereau, Colin Thomas, Cédric Gaucherel

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs.

Giann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

2021

Discrete-event models for conservation assessment of integrated ecosystems.

Cédric Gaucherel, Camille Carpentier, Ilse R. Geijzendorffer, Camille Noûs, Franck Pommereau

Ecol. Informatics, 2021

2020

Understanding Ecosystem Complexity via Application of a Process-Based State Space rather than a Potential Surface.

Cédric Gaucherel, Franck Pommereau, Christelle Hély

Complex., 2020

2019

Analysis of Discrete Models for Ecosystem Ecology.

Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau

Proceedings of the Biomedical Engineering Systems and Technologies, 2019

Pattern Matching in Discrete Models for Ecosystem Ecology.

Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau

Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019

2018

ASPiC: An Acting System Based on Skill Petri Net Composition.

Charles Lesire, Franck Pommereau

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

2017

Formal Modelling and Analysis of Distributed Storage Systems.

Jordan de la Houssaye, Franck Pommereau, Philippe Deniel

Trans. Petri Nets Other Model. Concurr., 2017

Scalable Fine-Grained Metric-Based Remeshing Algorithm for Manycore/NUMA Architectures.

Hoby Rakotoarivelo, Franck Ledoux, Franck Pommereau, Nicolas Le Goff

Proceedings of the Euro-Par 2017: Parallel Processing - 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28, 2017

Faster Simulation of (Coloured) Petri Nets Using Parallel Computing.

Franck Pommereau, Jordan de la Houssaye

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets.

Claudine Chaouiya, Hanna Klaudel, Franck Pommereau

Proceedings of the Modeling in Systems Biology, The Petri Net Approach, 2016

ABCD: A User-Friendly Language for Formal Modelling and Analysis.

Franck Pommereau

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015

SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper).

Franck Pommereau

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

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

Frédéric Gava, Franck Pommereau, Michaël Guedj

J. Supercomput., 2014

Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions.

Yves-Stan Le Cornec, Franck Pommereau

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Model Checking Contest @ Petri Nets, Report on the 2013 edition.

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

CoRR, 2013

Building Petri Nets Tools around Neco Compiler.

Lukasz Fronc, Franck Pommereau

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012

Integrated regulatory networks (IRNs): Spatially organized biochemical modules.

Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau

Theor. Comput. Sci., 2012

Raw Report on the Model Checking Contest at Petri Nets 2012

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

CoRR, 2012

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

Samira Chaou, Franck Pommereau

Proceedings of the 2012 Spring Simulation Multiconference, 2012

Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols.

Frédéric Gava, Michaël Guedj, Franck Pommereau

Proceedings of the 20th Euromicro International Conference on Parallel, 2012

A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols.

Frédéric Gava, Michaël Guedj, Franck Pommereau

Proceedings of the 11th International Symposium on Parallel and Distributed Computing, 2012

2011

State Space Exploration of Spatially Organized Populations of Agents.

Antoine Dautriche, Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau

Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

Evaluating a peer-to-peer storage system in presence of malicious peers.

Samira Chaou, Gil Utard, Franck Pommereau

Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011

Towards a Certified Petri Net Model-Checker.

Lukasz Fronc, Franck Pommereau

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

State Space Reduction for Dynamic Process Creation.

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau

Sci. Ann. Comput. Sci., 2010

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

Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Modelling, verification, and formal analysis of security properties in a P2P system.

Sam B. Sanjabi, Franck Pommereau

Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems, 2010

2009

Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters.

Franck Pommereau, Raymond R. Devillers, Hanna Klaudel

Proceedings of the Joint Proceedings of the 8th, 2009

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

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau

Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009

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

Franck Pommereau

, 2009

2008

M-nets: a survey.

Hanna Klaudel, Franck Pommereau

Acta Informatica, 2008

Quickly prototyping petri nets tools with SNAKES.

Franck Pommereau

Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008

Towards Efficient Verification of Systems with Dynamic Process Creation.

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau

Proceedings of the Theoretical Aspects of Computing, 2008

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.

Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Versatile boxes: a multi-purpose algebra of high-level Petri nets.

Franck Pommereau

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

2005

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

Franck Pommereau

Scalable Comput. Pract. Exp., 2005

2003

Asynchronous Box Calculus.

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau

Fundam. Informaticae, 2003

Causal Time Calculus.

Franck Pommereau

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002

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

Franck Pommereau

PhD thesis, 2002

A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems.

Hanna Klaudel, Franck Pommereau

Fundam. Informaticae, 2002

Petri nets with causal time for system verification.

Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau

Proceedings of the International Workshop on Models for Time-Critical Systems, 2002

An Algebra of Non-safe Petri Boxes.

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.

Hanna Klaudel, Franck Pommereau

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

A Concurrent and Compositional Petri Net Semantics of Preemption.

Hanna Klaudel, Franck Pommereau

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Asynchronous Links in the PBC and M-Nets.

Hanna Klaudel, Franck Pommereau

Proceedings of the Advances in Computing Science, 1999