According to our database1, Franck Pommereau authored at least 36 papers between 1999 and 2017.
Legend:Book In proceedings Article PhD thesis Other
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
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
SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper).
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015
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
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
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
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
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
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
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
Versatile boxes: a multi-purpose algebra of high-level Petri nets.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007
Petri Nets as Executable Specifications of High-Level Timed Parallel Systems.
Proceedings of the Computational Science, 2004
Asynchronous Box Calculus.
Fundam. Inform., 2003
Causal Time Calculus.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003
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
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.
Proceedings of the Application and Theory of Petri Nets 2001, 2001
A Concurrent and Compositional Petri Net Semantics of Preemption.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000
Asynchronous Links in the PBC and M-Nets.
Proceedings of the Advances in Computing Science, 1999