# Franck Pommereau

According to our database

Collaborative distances:

^{1}, Franck Pommereau authored at least 36 papers between 1999 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

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

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.

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

2016

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

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

Formal Modelling and Analysis of Distributed Storage Systems.

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015

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

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.

The Journal of Supercomputing, 2014

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

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

2013

Building Petri Nets Tools around Neco Compiler.

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.

Theor. Comput. Sci., 2012

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

Proceedings of the 2012 Spring Simulation Multiconference, 2012

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

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

A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols.

Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

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

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

2011

State Space Exploration of Spatially Organized Populations of Agents.

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.

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

Towards a Certified Petri Net Model-Checker.

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

2010

State Space Reduction for Dynamic Process Creation.

Sci. Ann. Comp. Sci., 2010

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

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.

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

2009

Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters.

Electr. Notes Theor. Comput. Sci., 2009

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

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

2008

M-nets: a survey.

Acta Inf., 2008

Quickly prototyping petri nets tools with SNAKES.

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

Towards Efficient Verification of Systems with Dynamic Process Creation.

Proceedings of the Theoretical Aspects of Computing, 2008

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

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.

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

2004

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

Proceedings of the Computational Science, 2004

2003

Asynchronous Box Calculus.

Fundam. Inform., 2003

Causal Time Calculus.

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.

PhD thesis, 2002

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

Fundam. Inform., 2002

Petri nets with causal time for system verification.

Electr. Notes Theor. Comput. Sci., 2002

An Algebra of Non-safe Petri Boxes.

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

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

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

2000

A Concurrent and Compositional Petri Net Semantics of Preemption.

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

1999

Asynchronous Links in the PBC and M-Nets.

Proceedings of the Advances in Computing Science, 1999