Franck Pommereau

54 papers A 1B 7C 5Misc 2Journal 13Unranked 23

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems. PNSE@Petri Nets Franck Pommereau, Cédric Gaucherel
2024	C	`conf`	An autonomous vehicle in a connected environment: case study of cyber-resilience. FedCSIS Guillaume Hutzler, Hanna Klaudel, Witold Klaudel, Franck Pommereau, Artur Rataj
2024	Misc	`conf`	Automatic Discovery of Cyberattacks. CSR Guillaume Hutzler, Hanna Klaudel, Witold Klaudel, Franck Pommereau, Artur Rataj
2022	—	`conf`	EDEN Framework for Interactive Analysis of Ecosystems Models. PNSE@Petri Nets Franck Pommereau, Colin Thomas, Cédric Gaucherel
2022	J	`jnl`	Model-checking ecological state-transition graphs. PLoS Comput. Biol. Colin Thomas, Maximilien Cosme, Cédric Gaucherel, Franck Pommereau
2022	B	`conf`	Petri Nets Semantics of Reaction Rules (RR) - A Language for Ecosystems Modelling. Petri Nets Franck Pommereau, Colin Thomas, Cédric Gaucherel
2022	—	`conf`	Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs. PNSE@Petri Nets Giann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau
2021	J	`jnl`	Discrete-event models for conservation assessment of integrated ecosystems. Ecol. Informatics Cédric Gaucherel, Camille Carpentier, Ilse R. Geijzendorffer, Camille Noûs, Franck Pommereau
2020	J	`jnl`	Understanding Ecosystem Complexity via Application of a Process-Based State Space rather than a Potential Surface. Complex. Cédric Gaucherel, Franck Pommereau, Christelle Hély
2019	—	`conf`	Analysis of Discrete Models for Ecosystem Ecology. BIOSTEC (Selected Papers) Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau
2019	—	`conf`	Pattern Matching in Discrete Models for Ecosystem Ecology. BIOINFORMATICS Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau
2018	A	`conf`	ASPiC: An Acting System Based on Skill Petri Net Composition. IROS Charles Lesire, Franck Pommereau
2017	B	`conf`	Faster Simulation of (Coloured) Petri Nets Using Parallel Computing. Petri Nets Franck Pommereau, Jordan de la Houssaye
2017	J	`jnl`	Formal Modelling and Analysis of Distributed Storage Systems. Trans. Petri Nets Other Model. Concurr. Jordan de la Houssaye, Franck Pommereau, Philippe Deniel
2017	—	`conf`	Scalable Fine-Grained Metric-Based Remeshing Algorithm for Manycore/NUMA Architectures. Euro-Par Hoby Rakotoarivelo, Franck Ledoux, Franck Pommereau, Nicolas Le Goff
2016	—	`ch.`	A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets. Modeling in Systems Biology, The Petri Net Approach Claudine Chaouiya, Hanna Klaudel, Franck Pommereau
2016	B	`conf`	ABCD: A User-Friendly Language for Formal Modelling and Analysis. Petri Nets Franck Pommereau
2016	—	`conf`	Formal Modelling and Analysis of Distributed Storage Systems. PNSE @ Petri Nets Jordan de la Houssaye, Franck Pommereau, Philippe Deniel
2015	B	`conf`	SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper). Petri Nets Franck Pommereau
2014	J	`jnl`	A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. J. Supercomput. Frédéric Gava, Franck Pommereau, Michaël Guedj
2014	—	`conf`	Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions. ACSD Yves-Stan Le Cornec, Franck Pommereau
2013	—	`conf`	Building Petri Nets Tools around Neco Compiler. PNSE+ModPE Lukasz Fronc, Franck Pommereau
2013	J	`jnl`	Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR 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
2012	C	`conf`	A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols. PDCAT Frédéric Gava, Michaël Guedj, Franck Pommereau
2012	C	`conf`	A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. ISPDC Frédéric Gava, Michaël Guedj, Franck Pommereau
2012	—	`conf`	Formal modelling and analysis of behaviour grading within a peer-to-peer storage system. SpringSim (TMS-DEVS) Samira Chaou, Franck Pommereau
2012	J	`jnl`	Integrated regulatory networks (IRNs): Spatially organized biochemical modules. Theor. Comput. Sci. Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
2012	C	`conf`	Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. PDP Frédéric Gava, Michaël Guedj, Franck Pommereau
2012	J	`jnl`	Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR 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
2011	—	`conf`	Evaluating a peer-to-peer storage system in presence of malicious peers. HPCS Samira Chaou, Gil Utard, Franck Pommereau
2011	—	`conf`	State Space Exploration of Spatially Organized Populations of Agents. SASO Workshops Antoine Dautriche, Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
2011	B	`conf`	Towards a Certified Petri Net Model-Checker. APLAS Lukasz Fronc, Franck Pommereau
2010	—	`conf`	Modelling, verification, and formal analysis of security properties in a P2P system. CTS Sam B. Sanjabi, Franck Pommereau
2010	—	`conf`	Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections MeCBIC Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
2010	J	`jnl`	State Space Reduction for Dynamic Process Creation. Sci. Ann. Comput. Sci. Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
2009	—	`book`	Algebras of coloured Petri nets and their applications to modelling and verification. Franck Pommereau
2009	—	`conf`	An approach to state space reduction for systems with dynamic process creation. ISCIS Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
2009	—	`conf`	Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. INFINITY Franck Pommereau, Raymond Devillers, Hanna Klaudel
2008	J	`jnl`	M-nets: a survey. Acta Informatica Hanna Klaudel, Franck Pommereau
2008	B	`conf`	Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau
2008	—	`conf`	Quickly prototyping petri nets tools with SNAKES. SimuTools Franck Pommereau
2008	C	`conf`	Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
2007	—	`conf`	Versatile boxes: a multi-purpose algebra of high-level Petri nets. SCSC Franck Pommereau
2005	J	`jnl`	Petri nets as Executable Specifications of High-Level Timed Parallel Systems. Scalable Comput. Pract. Exp. Franck Pommereau
2004	Misc	`conf`	Petri Nets as Executable Specifications of High-Level Timed Parallel Systems. International Conference on Computational Science Franck Pommereau
2003	J	`jnl`	Asynchronous Box Calculus. Fundam. Informaticae Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
2003	—	`conf`	Causal Time Calculus. FORMATS Franck Pommereau
2002	J	`jnl`	A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems. Fundam. Informaticae Hanna Klaudel, Franck Pommereau
2002	—	`conf`	An Algebra of Non-safe Petri Boxes. AMAST Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
2002	—	`—`	Modèles composables et concurrents pour le temps-réel. Franck Pommereau
2002	—	`conf`	Petri nets with causal time for system verification. MTCS Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau
2001	—	`conf`	A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. ICATPN Hanna Klaudel, Franck Pommereau
2000	B	`conf`	A Concurrent and Compositional Petri Net Semantics of Preemption. IFM Hanna Klaudel, Franck Pommereau
1999	—	`conf`	Asynchronous Links in the PBC and M-Nets. ASIAN Hanna Klaudel, Franck Pommereau