Skip to Main content
Number of documents

62

Franck Pommereau


Journal articles9 documents

  • Cedric Gaucherel, Franck Pommereau. Using discrete systems to exhaustively characterize the dynamics of an integrated ecosystem. Methods in Ecology and Evolution, Wiley, 2019, 10 (9), pp.1615-1627. ⟨10.1111/2041-210X.13242⟩. ⟨hal-02265554⟩
  • Frédéric Gava, Franck Pommereau, Michael Guedj. A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. Journal of Supercomputing, Springer Verlag, 2014, 69 (2), pp.629--672. ⟨10.1007/s11227-014-1099-8⟩. ⟨hal-00950399⟩
  • Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau. Integrated Regulatory Networks (IRNs): Spatially organized biochemical modules. Theoretical Computer Science, Elsevier, 2012, 431, pp.219--234. ⟨10.1016/j.tcs.2011.12.054⟩. ⟨hal-00769275⟩
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. State Space Reduction for Dynamic Process Creation. Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2010, 20, pp.131--157. ⟨hal-00666663⟩
  • Franck Pommereau. Quickly prototyping Petri nets tools with SNAKES. Petri nets newsletter, Universität Augsburg, 2008, 75. ⟨hal-02310228⟩
  • Hanna Klaudel, Franck Pommereau. M-nets: A survey. Acta Informatica, Springer Verlag, 2008, 45 (7-8), pp.537--564. ⟨10.1007/s00236-008-0077-0⟩. ⟨hal-00870484⟩
  • Franck Pommereau. Petri nets as executable specifications of high-level timed parallel systems.. Scalable Computing : Practice and Experience, West University of Timisoara, 2005, 6 (4), pp.71-82. ⟨hal-00114669⟩
  • Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau. Asynchonous Box Calculus. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2003, 54, pp.1-50. ⟨hal-00114675⟩
  • Hanna Klaudel, Franck Pommereau. A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2002, 50(1), pp.33-55. ⟨hal-00114685⟩

Conference papers38 documents

  • Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau. Analysis of Discrete Models for Ecosystem Ecology. 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), Feb 2019, Prague, Czech Republic. pp.242--264, ⟨10.1007/978-3-030-46970-2_12⟩. ⟨hal-02682352⟩
  • Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau. Pattern Matching in discrete Models for Ecosystem Ecology. 10th International Conference on Bioinformatics Models, Methods and Algorithms (Bioinformatics 2019), Feb 2019, Prague, Czech Republic. pp.101--111. ⟨hal-02002550⟩
  • Charles Lesire, Franck Pommereau. ASPiC: an Acting system based on Skill Petri net Composition. 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), Oct 2018, MADRID, Spain. pp.6952--6958, ⟨10.1109/IROS.2018.8594328⟩. ⟨hal-01961211⟩
  • Hoby Rakotoarivelo, Franck Ledoux, Franck Pommereau, Nicolas Le Goff. Scalable fine-grained metric-based remeshing algorithm for manycore/NUMA architectures. 23rd International Conference on Parallel and Distributed Computing (Euro-Par 2017), Aug 2017, Santiago de Compostela, Spain. pp.594--606, ⟨10.1007/978-3-319-64203-1_43⟩. ⟨hal-01609940⟩
  • Franck Pommereau, Jordan de la Houssaye. Faster simulation of (Coloured) Petri nets using parallel computing. 38th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2017), Jun 2017, Zaragoza, Spain. pp.37--56, ⟨10.1007/978-3-319-57861-3_4⟩. ⟨hal-01533514⟩
  • Hoby Rakotoarivelo, Franck Ledoux, Franck Pommereau. Fine-grained Locality-aware Parallel Scheme for Anisotropic Mesh Adaptation. 25th International Meshing Roundtable (IMR 2016), Sep 2016, Crystal City, United States. pp.123-135, ⟨10.1016/j.proeng.2016.11.035⟩. ⟨hal-01432988⟩
  • Jordan de la Houssaye, Franck Pommereau, Philippe Deniel. Formal modelling and analysis of distributed storage systems. International Workshop on Petri Nets and Software Engineering (PNSE 2016), including the International Workshop on Biological Processes and Petri Nets (BioPPN 2016), Jun 2016, Torun, Poland. pp.70-90, ⟨10.1007/978-3-662-55862-1_4⟩. ⟨hal-01352035⟩
  • Franck Pommereau. ABCD: A user-friendly language for formal modelling and analysis. 37th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2016), Jun 2016, Torun, Poland. pp.176--195, ⟨10.1007/978-3-319-39086-4_12⟩. ⟨hal-01352028⟩
  • Franck Pommereau. SNAKES: A flexible high-level Petri nets library. 36th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2015), Jun 2015, Brussels, Belgium. pp.254--265, ⟨10.1007/978-3-319-19488-2_13⟩. ⟨hal-01186407⟩
  • Yves-Stan Le Cornec, Franck Pommereau. Modular µ-calculus model-checking with formula-dependent hierarchical abstractions. 2014 14th International Conference on Application of Concurrency to System Design, Jun 2014, Tunis La Marsa, France. pp.11-20, ⟨10.1109/ACSD.2014.14⟩. ⟨hal-02309924⟩
  • Lukasz Fronc, Franck Pommereau. Building Petri nets tools around Neco compiler. International Workshop on Petri Nets and Software Engineering (PNSE 2013), Jun 2013, Milano, Italy. (elec. proc.). ⟨hal-00911714⟩
  • Frédéric Gava, Michael Guedj, Franck Pommereau. A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. 13th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2012), Dec 2012, Beijing, China. pp.79--84, ⟨10.1109/PDCAT.2012.12⟩. ⟨hal-00950415⟩
  • Frédéric Gava, Michael Guedj, Franck Pommereau. A BSP algorithm for on-the-fly checking LTL formulas on security protocols. 11th International Symposium on Parallel and Distributed Computing (ISPDC 2012), Jun 2012, Munich/Garching, Bavaria, Germany. pp.11--18, ⟨10.1109/ISPDC.2012.10⟩. ⟨hal-00868689⟩
  • Samira Chaou, Franck Pommereau. Formal modelling and analysis of behaviour grading within a peer-to-peer storage system. Theory of Modeling and Simulation: DEVS Integrative M and S Symposium 2012 (DEVS 2012), Part of the 2012 Spring Simulation Multiconference (SpringSim 2012), Mar 2012, Orlando, FL., United States. pp.212--219. ⟨hal-00868709⟩
  • Frédéric Gava, Michael Guedj, Franck Pommereau. Performance evaluations of a BSP algorithm for state space construction of security protocols. 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2012), Feb 2012, Garching, Germany. pp.170--174, ⟨10.1109/PDP.2012.65⟩. ⟨hal-00745201⟩
  • Samira Chaou, Gil Utard, Franck Pommereau. Evaluating a Peer-to-peer Storage System in Presence of Malicious Peers. International Conférence on High Performance Computing and Simulation (HPCS 2011), Jul 2011, Istanbul, Turkey. pp.419--426, ⟨10.1109/HPCSim.2011.5999855⟩. ⟨hal-00669179⟩
  • Lukasz Fronc, Franck Pommereau. Towards a certified Petri net model-checker. 9th Asian Symposiium on Programming Languages and Systems (APLAS 2011), Dec 2011, Kenting, Taiwan. pp.322--336, ⟨10.1007/978-3-642-25318-8_24⟩. ⟨hal-00666660⟩
  • Lukasz Fronc, Franck Pommereau. Optimising the compilation of Petri net models. Second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO 2011), Jun 2011, Kanazawa, Japan. pp.49--64. ⟨hal-00666661⟩
  • Antoine Dautriche, Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau. State space exploration of spatially organized populations of agents. 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011), Oct 2011, Ann Arbor, MI, United States. pp.79-84, ⟨10.1109/SASOW.2011.9⟩. ⟨hal-00745245⟩
  • Frédéric Gava, Michael Guedj, Franck Pommereau. A BSP Algorithm for the State Space Construction of Security Protocols. 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC, affiliated to conference SPIN 2010), Sep 2010, Enschede, Netherlands. pp.37--44, ⟨10.1109/PDMC-HiBi.2010.14⟩. ⟨hal-00669177⟩
  • Sam Sanjabi, Franck Pommereau. Modelling, Verification, and Formal Analysis of Security Properties in a P2P System. 2010 International Symposium on Collaborative Technologies and Systems, May 2010, Chicago, France. pp.499-508, ⟨10.1109/CTS.2010.5478474⟩. ⟨hal-02310070⟩
  • Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau. Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections. 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010), Aug 2010, Jena, Germany. ⟨10.4204/EPTCS.40.11⟩. ⟨hal-00666662⟩
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. An approach to state space reduction for systems with dynamic process creation. 24th International Symposium on Computer and Information Sciences (ISCIS 2009), Sep 2009, Guzelyurt, Turkey. pp.543--548, ⟨10.1109/ISCIS.2009.5291864⟩. ⟨hal-00666664⟩
  • Franck Pommereau. Nets in Nets with SNAKES. Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA'09), Sep 2009, Hamburg, Germany. ⟨hal-00666665⟩
  • Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau. Modeling and analysis of security protocols using role based specifications and Petri nets. International Conference on Application and Theory of Petri Nets (ICATPN'08), Jun 2008, Xi'an, China. pp.72--91, ⟨10.1007/978-3-540-68746-7_9⟩. ⟨hal-00340476⟩
  • Franck Pommereau. Quickly prototyping Petri nets tools with SNAKES. International Workshop on Petri Nets Tools and APplications PNTAP 2008,, Mar 2008, Marseille, France. ⟨hal-02309814⟩
  • Franck Pommereau. Versatile Boxes: a Multi-Purpose Algebra of High-Level Petri nets. Summer Computer Simulation Conference, 2007, San Diego, United States. ⟨hal-02309961⟩
  • Franck Pommereau, Raymond Devillers, Hanna Klaudel. Efficient reachability graph representation of Petri nets with unbounded counters. 9th International Workshops on Verification of Infinite-State Systems (INFINITY 2007), Sep 2007, Lisbon, Portugal. pp.119--129, ⟨10.1016/j.entcs.2009.05.034⟩. ⟨hal-00340494⟩
  • Franck Pommereau. Petri nets as Executable Specifications of High-Level Timed Parallel Systems. Computational Science - ICCS, 2004, Kraków, Poland. pp.331-338, ⟨10.1007/978-3-540-24688-6_44⟩. ⟨hal-00114671⟩
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Box Calculus with High-Level Buffers. 2004, pp.1-6. ⟨hal-00114672⟩
  • Franck Pommereau. Causal Time Calculus. FORMATS, 2004, Marseille, France. pp.1-12, ⟨10.1007/978-3-540-40903-8_21⟩. ⟨hal-00114673⟩
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Petri nets with causal time for system verification. MTCS, 2003, Brno, Czech Republic. pp.1-16, ⟨10.1016/S1571-0661(04)80521-8⟩. ⟨hal-00114682⟩
  • Raymond Devillers, Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. Operational Semantics for PBC with Asynchronous Communication. 2002, pp.1-6. ⟨hal-00114684⟩
  • Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau. An Algebra of Non-safe Petri Boxes. AMAST, 2002, Saint-Gilles-les-Bains, France. pp.192-207, ⟨10.1007/3-540-45719-4_14⟩. ⟨hal-02309988⟩
  • Hanna Klaudel, Franck Pommereau. A concurrent semantics of static exceptions in a parallel programming language. PETRI NETS, 2001, Newcastle upon Tyne, United Kingdom. pp.204-223, ⟨10.1007/3-540-45740-2_13⟩. ⟨hal-00114689⟩
  • Hanna Klaudel, Franck Pommereau. A concurrent and compositional Petri net semantics of preemption. Integrated Formal Methods (IFM), 2000, Dagstuhl, Germany. pp.318-337, ⟨10.1007/3-540-40911-4_19⟩. ⟨hal-00114693⟩
  • Franck Pommereau. FIFO Buffers in tie Sauce. Distributed and Parallel Systems, Sep 2000, Balatonfüred, Hungary. pp.95-104, ⟨10.1007/978-1-4615-4489-0_13⟩. ⟨hal-02310048⟩
  • Hanna Klaudel, Franck Pommereau. Asynchronous links in the PBC and M-nets. ASIAN, 1999, Phuket, Thailand. pp.190-200, ⟨10.1007/3-540-46674-6_17⟩. ⟨hal-00114697⟩

Books1 document

  • Franck Pommereau. Algebras of coloured Petri nets: and their applications to modelling and verification. LAP LAMBERT Academic Publishing, 2010, 978-3843361132. ⟨hal-02309870⟩

Book sections2 documents

  • Hanna Klaudel, Claudine Chaouiya, Franck Pommereau. A modular, qualitative modelling of regulatory networks using Petri nets. Modeling in Systems Biology, pp.253-279, 2011, ⟨10.1007/978-1-84996-474-6_12⟩. ⟨hal-02309999⟩
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. Towards Efficient Verification of Systems with Dynamic Process Creation. Theoretical Aspects of Computing - ICTAC 2008, 5160, Springer Berlin Heidelberg, pp.186-200, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-85762-4_13⟩. ⟨hal-02310882⟩

Directions of work or proceedings1 document

  • Didier Buchs, Hanna Klaudel, Franck Pommereau. Proceedings of SUMo and CompoNet 2011. SUMo and CompoNet, Newcastle upon Tyne, United Kingdom. CEUR Workshop Proceedings, 726, 2011. ⟨hal-02310023⟩

Other publications2 documents

  • Fabrice Kordon, Alban Linard, Marco Becutti, Didier Buchs, Lukasz Fronc, et al.. Web Report on the Model Checking Contest @ Petri Net 2013. 2013. ⟨hal-00926989⟩
  • Franck Pommereau, Christian Stehno. FIFO buffers is hot tie sauce. 2001. ⟨hal-00114692⟩

Reports7 documents

  • Franck Pommereau. ZINC: a compiler for “any language”-coloured Petri nets. [Research Report] IBISC, university of Evry / Paris-Saclay. 2018. ⟨hal-01941485⟩
  • Jordan de la Houssaye, Franck Pommereau, Philippe Deniel. Formal modelling and analysis of distributed storage systems. [Research Report] IBISC, university of Evry / Paris-Saclay. 2014. ⟨hal-02310229⟩
  • Lukasz Fronc, Franck Pommereau. Proving a Petri net model-checker implementation. [Research Report] IBISC, university of Evry / Paris-Saclay. 2011. ⟨hal-02315062⟩
  • Sylvain Soliman, Claudine Chaouiya, Grégory Batt, Francois Fages, Élisabeth Remy, et al.. Modelling molecular networks: relationships between different formalisms and levels of details. [Research Report] RR-7221, INRIA. 2010. ⟨inria-00461084⟩
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. Towards efficient verification of systems with dynamic process creation. [Research Report] LACL, Université Paris-Est. 2008. ⟨hal-02310226⟩
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Asynchronous Box Calculus with multi-way communication. [Research Report] LACL, Université Paris-Est/Créteil. 2008. ⟨hal-02310227⟩
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Box Calculus with Coloured Buffers. [Research Report] LACL, Université Paris-Est/Créteil. 2002. ⟨hal-00114687⟩

Theses1 document

  • Franck Pommereau. Modèles composables et concurrents pour le temps-réel. Modélisation et simulation. Université Paris 12, 2002. Français. ⟨tel-00114680⟩

Habilitation à diriger des recherches1 document

  • Franck Pommereau. Algebras of coloured Petri nets and their applications to modelling and verification. Computer Science [cs]. Université de Paris-Est/Créteil, 2009. ⟨tel-02309973⟩