default search action

combined dblp search
author search
venue search
publication search

ask others

Franck Pommereau

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c37]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/PommereauG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PommereauG24
Franck Pommereau, Cédric Gaucherel:
A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems. PNSE@Petri Nets 2024: 13-32
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/csr2/HutzlerKKPR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csr2/HutzlerKKPR24
Guillaume Hutzler, Hanna Klaudel, Witold Klaudel, Franck Pommereau, Artur Rataj:
Automatic Discovery of Cyberattacks. CSR 2024: 1-8
2022
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ploscb/ThomasCGP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ploscb/ThomasCGP22
Colin Thomas, Maximilien Cosme, Cédric Gaucherel, Franck Pommereau:
Model-checking ecological state-transition graphs. PLoS Comput. Biol. 18(6) (2022)
[c35]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/PommereauTG22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PommereauTG22a
Franck Pommereau, Colin Thomas, Cédric Gaucherel:
EDEN Framework for Interactive Analysis of Ecosystems Models. PNSE@Petri Nets 2022: 119-138
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PommereauTG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PommereauTG22
Franck Pommereau, Colin Thomas, Cédric Gaucherel:
Petri Nets Semantics of Reaction Rules (RR) - A Language for Ecosystems Modelling. Petri Nets 2022: 175-194
[c33]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/Aguirre-Samboni22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Aguirre-Samboni22
Giann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau:
Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs. PNSE@Petri Nets 2022: 213-214
2021
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ecoi/GaucherelCGNP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ecoi/GaucherelCGNP21
Cédric Gaucherel, Camille Carpentier, Ilse R. Geijzendorffer, Camille Noûs, Franck Pommereau:
Discrete-event models for conservation assessment of integrated ecosystems. Ecol. Informatics 61: 101205 (2021)
2020
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/complexity/GaucherelPH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/complexity/GaucherelPH20
Cédric Gaucherel, Franck Pommereau, Christelle Hély:
Understanding Ecosystem Complexity via Application of a Process-Based State Space rather than a Potential Surface. Complex. 2020: 7163920:1-7163920:14 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/biostec/GiustoGKP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/biostec/GiustoGKP19
Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau:
Pattern Matching in Discrete Models for Ecosystem Ecology. BIOINFORMATICS 2019: 101-111
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/biostec/GiustoGKP19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/biostec/GiustoGKP19a
Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau:
Analysis of Discrete Models for Ecosystem Ecology. BIOSTEC (Selected Papers) 2019: 242-264
2018
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/LesireP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/LesireP18
Charles Lesire, Franck Pommereau:
ASPiC: An Acting System Based on Skill Petri Net Composition. IROS 2018: 6952-6958
2017
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HoussayePD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HoussayePD17
Jordan de la Houssaye, Franck Pommereau, Philippe Deniel:
Formal Modelling and Analysis of Distributed Storage Systems. Trans. Petri Nets Other Model. Concurr. 12: 70-90 (2017)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PommereauH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PommereauH17
Franck Pommereau, Jordan de la Houssaye:
Faster Simulation of (Coloured) Petri Nets Using Parallel Computing. Petri Nets 2017: 37-56
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/RakotoariveloLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/RakotoariveloLP17
Hoby Rakotoarivelo, Franck Ledoux, Franck Pommereau, Nicolas Le Goff:
Scalable Fine-Grained Metric-Based Remeshing Algorithm for Manycore/NUMA Architectures. Euro-Par 2017: 594-606
2016
[c27]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/HoussayePD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HoussayePD16
Jordan de la Houssaye, Franck Pommereau, Philippe Deniel:
Formal Modelling and Analysis of Distributed Storage Systems. PNSE @ Petri Nets 2016: 56-75
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Pommereau16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Pommereau16
Franck Pommereau:
ABCD: A User-Friendly Language for Formal Modelling and Analysis. Petri Nets 2016: 176-195
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/cb/ChaouiyaKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/ChaouiyaKP16
Claudine Chaouiya, Hanna Klaudel, Franck Pommereau:
A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets. Modeling in Systems Biology, The Petri Net Approach 2016: 253-279
2015
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Pommereau15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Pommereau15
Franck Pommereau:
SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper). Petri Nets 2015: 254-265
2014
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tjs/GavaPG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tjs/GavaPG14
Frédéric Gava, Franck Pommereau, Michaël Guedj:
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. J. Supercomput. 69(2): 629-672 (2014)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/CornecP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/CornecP14
Yves-Stan Le Cornec, Franck Pommereau:
Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions. ACSD 2014: 11-20
2013
[c23]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/FroncP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/FroncP13
Lukasz Fronc, Franck Pommereau:
Building Petri Nets Tools around Neco Compiler. PNSE+ModPE 2013: 239-245
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KordonLBBFHHLLMPPRRTWW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KordonLBBFHHLLMPPRRTWW13
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:
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR abs/1309.2485 (2013)
2012
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GiavittoKP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GiavittoKP12
Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau:
Integrated regulatory networks (IRNs): Spatially organized biochemical modules. Theor. Comput. Sci. 431: 219-234 (2012)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ispdc/GavaGP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispdc/GavaGP12
Frédéric Gava, Michaël Guedj, Franck Pommereau:
A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. ISPDC 2012: 11-18
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/pdcat/GavaGP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdcat/GavaGP12
Frédéric Gava, Michaël Guedj, Franck Pommereau:
A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols. PDCAT 2012: 79-84
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/GavaGP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/GavaGP12
Frédéric Gava, Michaël Guedj, Franck Pommereau:
Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. PDP 2012: 170-174
[c19]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/springsim/ChaouP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/ChaouP12
Samira Chaou, Franck Pommereau:
Formal modelling and analysis of behaviour grading within a peer-to-peer storage system. SpringSim (TMS-DEVS) 2012: 21
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1209-2382
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-2382
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:
Raw Report on the Model Checking Contest at Petri Nets 2012. CoRR abs/1209.2382 (2012)
2011
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/FroncP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/FroncP11
Lukasz Fronc, Franck Pommereau:
Towards a Certified Petri Net Model-Checker. APLAS 2011: 322-336
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/ChaouUP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/ChaouUP11
Samira Chaou, Gil Utard, Franck Pommereau:
Evaluating a peer-to-peer storage system in presence of malicious peers. HPCS 2011: 419-426
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/saso/DautricheGKP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/DautricheGKP11
Antoine Dautriche, Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau:
State Space Exploration of Spatially Organized Populations of Agents. SASO Workshops 2011: 79-84
2010
[j5]
- view
  - electronic edition @ uaic.ro (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cuza/KlaudelKPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/KlaudelKPP10
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
State Space Reduction for Dynamic Process Creation. Sci. Ann. Comput. Sci. 20: 131-157 (2010)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/SanjabiP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/SanjabiP10
Sam B. Sanjabi, Franck Pommereau:
Modelling, verification, and formal analysis of security properties in a P2P system. CTS 2010: 499-508
[c14]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-0498
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-0498
Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau:
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections. MeCBIC 2010: 162-177

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[b2]
- view
  - electronic edition @ archives-ouvertes.fr
  - no references & citations available
- export record
  dblp key:
  - books/hal/Pommereau09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hal/Pommereau09
Franck Pommereau:
Algebras of coloured Petri nets and their applications to modelling and verification. University of Paris-Est, France, 2009
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iscis/KlaudelKPP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscis/KlaudelKPP09
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
An approach to state space reduction for systems with dynamic process creation. ISCIS 2009: 543-548
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PommereauDK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PommereauDK09
Franck Pommereau, Raymond R. Devillers, Hanna Klaudel:
Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. INFINITY 2009: 119-129
2008
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/KlaudelP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/KlaudelP08
Hanna Klaudel, Franck Pommereau:
M-nets: a survey. Acta Informatica 45(7-8): 537-564 (2008)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BourouletDKPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BourouletDKPP08
Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau:
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets 2008: 72-91
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/KlaudelKPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/KlaudelKPP08
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC 2008: 186-200
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/simutools/Pommereau08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simutools/Pommereau08
Franck Pommereau:
Quickly prototyping petri nets tools with SNAKES. SimuTools 2008: 17
2007
[c8]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/scsc/Pommereau07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsc/Pommereau07
Franck Pommereau:
Versatile boxes: a multi-purpose algebra of high-level Petri nets. SCSC 2007: 665-672
2005
[j3]
- view
  - electronic edition @ scpe.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/scpe/Pommereau05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scpe/Pommereau05
Franck Pommereau:
Petri nets as Executable Specifications of High-Level Timed Parallel Systems. Scalable Comput. Pract. Exp. 6(4) (2005)
2004
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iccS/Pommereau04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/Pommereau04
Franck Pommereau:
Petri Nets as Executable Specifications of High-Level Timed Parallel Systems. International Conference on Computational Science 2004: 322-330
2003
[j2]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/DevillersKKP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DevillersKKP03
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau:
Asynchronous Box Calculus. Fundam. Informaticae 54(4): 295-344 (2003)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/Pommereau03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/Pommereau03
Franck Pommereau:
Causal Time Calculus. FORMATS 2003: 260-272
2002
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Pommereau02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Pommereau02
Franck Pommereau:
Modèles composables et concurrents pour le temps-réel. Paris 12 Val de Marne University, France, 2002
[j1]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/KlaudelP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KlaudelP02
Hanna Klaudel, Franck Pommereau:
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems. Fundam. Informaticae 50(1): 33-55 (2002)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/DevillersKKP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/DevillersKKP02
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau:
An Algebra of Non-safe Petri Boxes. AMAST 2002: 192-207
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ThanhKP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ThanhKP02
Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau:
Petri nets with causal time for system verification. MTCS 2002: 85-100
2001
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KlaudelP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KlaudelP01
Hanna Klaudel, Franck Pommereau:
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. ICATPN 2001: 204-223
2000
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/KlaudelP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/KlaudelP00
Hanna Klaudel, Franck Pommereau:
A Concurrent and Compositional Petri Net Semantics of Preemption. IFM 2000: 318-337

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/KlaudelP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/KlaudelP99
Hanna Klaudel, Franck Pommereau:
Asynchronous Links in the PBC and M-Nets. ASIAN 1999: 190-200

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.