Nombre de documents

45

Franck Pommereau


Article dans une revue8 documents

  • 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〉
  • 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.. SCPE/PDPC, 2005, 6.4, pp.71-82. 〈hal-00114670〉
  • Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau. Asynchonous Box Calculus. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2003, 54(1), pp.1-50. 〈hal-00114675〉
  • Raymond Devillers, Hanna Klaudel, M. Koutny, Franck Pommereau. Aynchronous Box Calculus.. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2003, 54, pp.1-50. 〈hal-00005604〉
  • 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〉

Communication dans un congrès31 documents

  • 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. 10258, pp.37--56, 2017, Lecture Notes in Computer Science. 〈hal-01533514〉
  • 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. 10417, pp.594--606, 2017, Lecture Notes in Computer Science. 〈10.1007/978-3-319-64203-1_43〉. 〈hal-01609940〉
  • 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. Lecture Notes in Computer Science, 9698, pp.176--195, 2016, 〈10.1007/978-3-319-39086-4_12〉. 〈hal-01352028〉
  • 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. 10470, pp.70--90, 2016, Lecture Notes in Computer Science. 〈10.1007/978-3-662-55862-1_4〉. 〈hal-01352035〉
  • 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. 163, pp.123--135, Procedia Engineering. 〈10.1016/j.proeng.2016.11.035〉. 〈hal-01432988〉
  • 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. 9115, pp.254--265, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 〈10.1007/978-3-319-19488-2_13〉. 〈hal-01186407〉
  • 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.), 2013. 〈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, 2012, 〈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, 2012, 〈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. 44 (4), pp.212--219, 2012. 〈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, 2012, 〈10.1109/PDP.2012.65〉. 〈hal-00745201〉
  • Gil Utard, Samira Chaou, Franck Pommereau. Evaluating a peer-to-peer storage system in presence of malicious peers. High Performance Computing and Simulation (HPCS), 2011 International Conference on, Aug 2011, Istambul, Turkey. High Performance Computing and Simulation (HPCS), 2011 International Conference on, 〈10.1109/HPCSim.2011.5999855〉. 〈hal-01323735〉
  • 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. 7078, pp.322--336, 2012, Lecture Notes in Computer Science. 〈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. 726, pp.49--64, 2011. 〈hal-00666661〉
  • 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, 2011, 〈10.1109/HPCSim.2011.5999855〉. 〈hal-00669179〉
  • 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, 2011, 〈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, 2011, 〈10.1109/PDMC-HiBi.2010.14〉. 〈hal-00669177〉
  • 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. (elec. proc.), 2010, 〈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, 2009, 〈10.1109/ISCIS.2009.5291864〉. 〈hal-00666664〉
  • 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. Springer Berlin / Heidelberg, 5062, pp.72--91, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-68746-7_9〉. 〈hal-00340476〉
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. Towards Efficient Verification of Systems with Dynamic Process Creation. 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), Sep 2008, Istanbul, Turkey. 5160, pp.186--200, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-85762-4_13〉. 〈hal-00666665〉
  • 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. 239, pp.119--129, 2009, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2009.05.034〉. 〈hal-00340494〉
  • Franck Pommereau. Petri nets as Executable Specifications of High-Level Timed Parallel Systems. Bubak, M. and van Albada, D. and Sloot, P. and Dongarra, J. 2004, Springer, pp.331-338, 2004, Lecture Notes in Computer Science. 〈hal-00114671〉
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Box Calculus with High-Level Buffers. 2004, SCS, pp.1-6, 2004. 〈hal-00114672〉
  • Franck Pommereau. Causal Time Calculus. 2004, Springer, pp.1-12, 2004, Lecture Notes in Computer Science. 〈hal-00114673〉
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Petri nets with causal time for system verification. 2003, Elsevier, pp.1-16, 2003, Electronic Notes in Theoretical Computer Science 68(5). 〈hal-00114682〉
  • Raymond Devillers, Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. Operational Semantics for PBC with Asynchronous Communication. 2002, SCS, pp.1-6, 2002. 〈hal-00114684〉
  • Hanna Klaudel, Franck Pommereau. A concurrent semantics of static exceptions in a parallel programming language. J.-M. Colom and M. Koutny. 2001, Springer, pp.204-223, 2001, Lecture Notes in Computer Science 2075. 〈hal-00114689〉
  • Hanna Klaudel, Franck Pommereau. A concurrent and compositional Petri net semantics of preemption. W. Grieskamp, T. Santen and B. Stoddart. 2000, Springer, pp.318-337, 2000, Lecture Notes in Computer Science 1945. 〈hal-00114693〉
  • Franck Pommereau. FIFO buffers in tie sauce. P. Kacsuk and G. Kotsis. 2000, Kluwer Academic Publishers, pp.95-104, 2000. 〈hal-00114694〉
  • Hanna Klaudel, Franck Pommereau. Asynchronous links in the PBC and M-nets. P. S. Thiagarajan and R. Yap. 1999, Springer, pp.190-200, 1999, Lecture Notes in Computer Science 1742. 〈hal-00114697〉

Autre publication3 documents

  • Fabrice Kordon, Alban Linard, Marco Becutti, Didier Buchs, Lukasz Fronc, et al.. Web Report on the Model Checking Contest @ Petri Net 2013. http://mcc.lip6.fr. 2013. 〈hal-00926989〉
  • Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Box Calculus with Coloured Buffers. Technical report 2002-16, LACL. 2002. 〈hal-00114687〉
  • Franck Pommereau, Christian Stehno. FIFO buffers is hot tie sauce. Technical report 2001-04, LACL. 2001. 〈hal-00114692〉

Pré-publication, Document de travail1 document

  • Franck Pommereau. Petri nets as executable specifications of high-level timed parallel systems.. 2005. 〈hal-00114669〉

Rapport1 document

  • 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〉

Thèse1 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〉