
Franck Pommereau
80
Documents
Affiliations actuelles
- Université d'Évry-Val-d'Essonne (UEVE)
- Université Paris-Saclay
Identifiants chercheurs
Site web
Publications
Publications
A case study of cyber-resilience19th Conference on Computer Science and Intelligence Systems (FedCSIS), Sep 2024, Belgrade (Serbia), Serbia
Communication dans un congrès
hal-04653997
v1
|
|
|
An autonomous vehicle in a connected environment: case study of cyber-resilience19th Conference on Computer Science and Intelligence Systems (FedCSIS), Sep 2024, Belgrade, Serbia. pp.363-373, ⟨10.15439/2024F8797⟩
Communication dans un congrès
hal-04856428
v1
|
|
A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological SystemsInternational Workshop on Petri Nets and Software Engineering (PNSE 2024), Jun 2024, Genève, Switzerland. pp.13--32
Communication dans un congrès
hal-04667502
v1
|
|
Automatic Discovery of CyberattacksIEEE International Conference on Cyber Security and Resilience (CSR 2024), Sep 2024, London - Hybrid, United Kingdom. pp.172--179, ⟨10.1109/CSR61664.2024.10679497⟩
Communication dans un congrès
hal-04745334
v1
|
|
Reset Petri Net Unfolding Semantics for Ecosystem HypergraphsPNSE 2023 - International Workshop on Petri Nets and Software Engineering, Jul 2022, Bergen, Norway. pp.213--214
Communication dans un congrès
hal-03750233
v1
|
|
Petri Nets Semantics of Reaction Rules (RR) A Language for Ecosystems ModellingApplication and Theory of Petri Nets and Concurrency (PTRE NETS 2022), Jun 2022, Bergen, Norway. pp.175-194, ⟨10.1007/978-3-031-06653-5_10⟩
Communication dans un congrès
hal-03617050
v1
|
|
EDEN Framework for Interactive Analysis of Ecosystems ModelsInternational Workshop on Petri Nets and Software Engineering (PNSE 2022), Jun 2022, Bergen, Norway. pp.119--138
Communication dans un congrès
hal-03750229
v1
|
Laser Array Covering 155 nm Wide Spectral Band Achieved by Selective Area Growth on Silicon Wafer2020 European Conference on Optical Communications (ECOC), Dec 2020, Brussels, Belgium. pp.1-4, ⟨10.1109/ECOC48923.2020.9333230⟩
Communication dans un congrès
hal-04627280
v1
|
|
Analysis of Discrete Models for Ecosystem Ecology12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), Ana Roque; Arkadiusz Tomczyk; Elisabetta De Maria; Felix Putze; Roman Moucek; Ana Fred; Hugo Gamboa, Feb 2019, Prague, Czech Republic. pp.242--264, ⟨10.1007/978-3-030-46970-2_12⟩
Communication dans un congrès
hal-02682352
v1
|
|
|
Pattern Matching in discrete Models for Ecosystem Ecology10th International Conference on Bioinformatics Models, Methods and Algorithms (Bioinformatics 2019), Feb 2019, Prague, Czech Republic. pp.101--111
Communication dans un congrès
hal-02002550
v1
|
|
ASPiC: an Acting system based on Skill Petri net Composition2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), Oct 2018, Madrid, Spain. pp.6952--6958, ⟨10.1109/IROS.2018.8594328⟩
Communication dans un congrès
hal-01961211
v1
|
|
Scalable fine-grained metric-based remeshing algorithm for manycore/NUMA architectures23rd 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⟩
Communication dans un congrès
hal-01609940
v1
|
|
Faster simulation of (Coloured) Petri nets using parallel computing38th 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⟩
Communication dans un congrès
hal-01533514
v1
|
|
ABCD: A user-friendly language for formal modelling and analysis37th 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⟩
Communication dans un congrès
hal-01352028
v1
|
|
Fine-grained Locality-aware Parallel Scheme for Anisotropic Mesh Adaptation25th International Meshing Roundtable (IMR 2016), Sep 2016, Crystal City, United States. pp.123-135, ⟨10.1016/j.proeng.2016.11.035⟩
Communication dans un congrès
hal-01432988
v1
|
|
Formal modelling and analysis of distributed storage systemsInternational 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⟩
Communication dans un congrès
hal-01352035
v1
|
|
SNAKES: A flexible high-level Petri nets library36th 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⟩
Communication dans un congrès
hal-01186407
v1
|
|
Modular µ-calculus model-checking with formula-dependent hierarchical abstractions2014 14th International Conference on Application of Concurrency to System Design, Jun 2014, Tunis La Marsa, France. pp.11-20, ⟨10.1109/ACSD.2014.14⟩
Communication dans un congrès
hal-02309924
v1
|
|
Building Petri nets tools around Neco compilerInternational Workshop on Petri Nets and Software Engineering (PNSE 2013), Jun 2013, Milano, Italy. (elec. proc.)
Communication dans un congrès
hal-00911714
v1
|
|
Formal modelling and analysis of behaviour grading within a peer-to-peer storage systemTheory 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
Communication dans un congrès
hal-00868709
v1
|
|
Towards a certified Petri net model-checker9th Asian Symposiium on Programming Languages and Systems (APLAS 2011), Dec 2011, Kenting, Taiwan. pp.322--336, ⟨10.1007/978-3-642-25318-8_24⟩
Communication dans un congrès
hal-00666660
v1
|
|
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols13th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2012), Dec 2012, Beijing, China. pp.79--84, ⟨10.1109/PDCAT.2012.12⟩
Communication dans un congrès
hal-00950415
v1
|
|
Performance evaluations of a BSP algorithm for state space construction of security protocols20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2012), Feb 2012, Garching, Germany. pp.170--174, ⟨10.1109/PDP.2012.65⟩
Communication dans un congrès
hal-00745201
v1
|
|
A BSP algorithm for on-the-fly checking LTL formulas on security protocols11th International Symposium on Parallel and Distributed Computing (ISPDC 2012), Jun 2012, Munich/Garching, Bavaria, Germany. pp.11--18, ⟨10.1109/ISPDC.2012.10⟩
Communication dans un congrès
hal-00868689
v1
|
|
Optimising the compilation of Petri net modelsSecond 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
Communication dans un congrès
hal-00666661
v1
|
|
A BSP Algorithm for the State Space Construction of Security Protocols9th 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⟩
Communication dans un congrès
hal-00669177
v1
|
|
Evaluating a Peer-to-peer Storage System in Presence of Malicious PeersInternational Conférence on High Performance Computing and Simulation (HPCS 2011), Jul 2011, Istanbul, Turkey. pp.419--426, ⟨10.1109/HPCSim.2011.5999855⟩
Communication dans un congrès
hal-00669179
v1
|
|
State space exploration of spatially organized populations of agents5th 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⟩
Communication dans un congrès
hal-00745245
v1
|
|
Modelling, Verification, and Formal Analysis of Security Properties in a P2P System2010 International Symposium on Collaborative Technologies and Systems, May 2010, Chicago, France. pp.499-508, ⟨10.1109/CTS.2010.5478474⟩
Communication dans un congrès
hal-02310070
v1
|
|
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010), Aug 2010, Jena, Germany. ⟨10.4204/EPTCS.40.11⟩
Communication dans un congrès
hal-00666662
v1
|
|
Efficient reachability graph representation of Petri nets with unbounded counters9th International Workshops on Verification of Infinite-State Systems (INFINITY 2007), Sep 2007, Lisbon, Portugal. pp.119--129, ⟨10.1016/j.entcs.2009.05.034⟩
Communication dans un congrès
hal-00340494
v1
|
|
An approach to state space reduction for systems with dynamic process creation24th International Symposium on Computer and Information Sciences (ISCIS 2009), Sep 2009, Guzelyurt, Turkey. pp.543--548, ⟨10.1109/ISCIS.2009.5291864⟩
Communication dans un congrès
hal-00666664
v1
|
|
Nets in Nets with SNAKESFifth International Workshop on Modelling of Objects, Components, and Agents (MOCA'09), Sep 2009, Hamburg, Germany
Communication dans un congrès
hal-00666665
v1
|
|
Modeling and analysis of security protocols using role based specifications and Petri netsInternational 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⟩
Communication dans un congrès
hal-00340476
v1
|
|
Quickly prototyping Petri nets tools with SNAKESInternational Workshop on Petri Nets Tools and APplications PNTAP 2008,, Mar 2008, Marseille, France
Communication dans un congrès
hal-02309814
v1
|
|
Versatile Boxes: a Multi-Purpose Algebra of High-Level Petri netsSummer Computer Simulation Conference, 2007, San Diego, United States
Communication dans un congrès
hal-02309961
v1
|
|
Box Calculus with High-Level Buffers2004, pp.1-6
Communication dans un congrès
hal-00114672
v1
|
|
Petri nets as Executable Specifications of High-Level Timed Parallel SystemsComputational Science - ICCS, 2004, Kraków, Poland. pp.331-338, ⟨10.1007/978-3-540-24688-6_44⟩
Communication dans un congrès
hal-00114671
v1
|
|
Causal Time CalculusFORMATS, 2004, Marseille, France. pp.1-12, ⟨10.1007/978-3-540-40903-8_21⟩
Communication dans un congrès
istex
hal-00114673
v1
|
|
Petri nets with causal time for system verificationMTCS, 2003, Brno, Czech Republic. pp.1-16, ⟨10.1016/S1571-0661(04)80521-8⟩
Communication dans un congrès
hal-00114682
v1
|
|
An Algebra of Non-safe Petri BoxesAMAST, 2002, Saint-Gilles-les-Bains, France. pp.192-207, ⟨10.1007/3-540-45719-4_14⟩
Communication dans un congrès
istex
hal-02309988
v1
|
|
Operational Semantics for PBC with Asynchronous Communication2002, pp.1-6
Communication dans un congrès
hal-00114684
v1
|
|
A concurrent semantics of static exceptions in a parallel programming languagePETRI NETS, 2001, Newcastle upon Tyne, United Kingdom. pp.204-223, ⟨10.1007/3-540-45740-2_13⟩
Communication dans un congrès
istex
hal-00114689
v1
|
|
FIFO Buffers in tie SauceDistributed and Parallel Systems, Sep 2000, Balatonfüred, Hungary. pp.95-104, ⟨10.1007/978-1-4615-4489-0_13⟩
Communication dans un congrès
istex
hal-02310048
v1
|
|
A concurrent and compositional Petri net semantics of preemptionIntegrated Formal Methods (IFM), 2000, Dagstuhl, Germany. pp.318-337, ⟨10.1007/3-540-40911-4_19⟩
Communication dans un congrès
istex
hal-00114693
v1
|
|
Asynchronous links in the PBC and M-netsASIAN, 1999, Phuket, Thailand. pp.190-200, ⟨10.1007/3-540-46674-6_17⟩
Communication dans un congrès
istex
hal-00114697
v1
|
|
Algebras of coloured Petri netsLAP LAMBERT Academic Publishing, 2010, 978-3843361132
Ouvrages
hal-02309870
v1
|
|
A modular, qualitative modelling of regulatory networks using Petri netsModeling in Systems Biology, pp.253-279, 2011, ⟨10.1007/978-1-84996-474-6_12⟩
Chapitre d'ouvrage
hal-02309999
v1
|
|
Towards Efficient Verification of Systems with Dynamic Process CreationTheoretical 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⟩
Chapitre d'ouvrage
istex
hal-02310882
v1
|
|
Web Report on the Model Checking Contest @ Petri Net 20132013
Autre publication scientifique
hal-00926989
v1
|
|
FIFO buffers is hot tie sauce2001
Autre publication scientifique
hal-00114692
v1
|
|
Diagnosis of planktonic trophic network dynamics with sharp qualitative changes2024
Pré-publication, Document de travail
(preprint/prepublication)
hal-04395166
v1
|
|
ZINC: a compiler for “any language”-coloured Petri nets[Research Report] IBISC, university of Evry / Paris-Saclay. 2018
Rapport
(rapport de recherche)
hal-01941485
v1
|
|
Formal modelling and analysis of distributed storage systems[Research Report] IBISC, university of Evry / Paris-Saclay. 2014
Rapport
(rapport de recherche)
hal-02310229
v1
|
|
Proving a Petri net model-checker implementation[Research Report] IBISC, university of Evry / Paris-Saclay. 2011
Rapport
(rapport de recherche)
hal-02315062
v1
|
|
Modelling molecular networks: relationships between different formalisms and levels of details[Research Report] RR-7221, INRIA. 2010
Rapport
(rapport de recherche)
inria-00461084
v1
|
|
Asynchronous Box Calculus with multi-way communication[Research Report] LACL, Université Paris-Est/Créteil. 2008
Rapport
(rapport de recherche)
hal-02310227
v1
|
|
Towards efficient verification of systems with dynamic process creation[Research Report] LACL, Université Paris-Est. 2008
Rapport
(rapport de recherche)
hal-02310226
v1
|
|
Box Calculus with Coloured Buffers[Research Report] LACL, Université Paris-Est/Créteil. 2002
Rapport
(rapport de recherche)
hal-00114687
v1
|
|
Modèles composables et concurrents pour le temps-réelModélisation et simulation. Université Paris 12, 2002. Français. ⟨NNT : ⟩
Thèse
tel-00114680
v1
|
|
Algebras of coloured Petri nets and their applications to modelling and verificationComputer Science [cs]. Université de Paris-Est/Créteil, 2009
HDR
tel-02309973
v1
|
|
Proceedings of SUMo and CompoNet 2011SUMo and CompoNet, Newcastle upon Tyne, United Kingdom. CEUR Workshop Proceedings, 726, 2011
N°spécial de revue/special issue
hal-02310023
v1
|
Chargement...
Chargement...