Franck Pommereau

Identifiants chercheurs

IdHAL :

franck-pommereau

ORCID :

0000-0002-9959-3699

IdRef :

066923689

VIAF :

217153564

ISNI :

0000000139688410

Publications

Article dans une revue (19)

Explicit spatial–temporal scenarios of food security in a West-African socio-ecological system under climate change Maxime Leloup,Maximilien Cosme,Franck Pommereau,Cédric Gaucherel Agriculture and Food Security, 2026, 14, pp.52. ⟨10.1186/s40066-025-00564-x⟩ Article dans une revue hal-05472953v1
Improving livelihood through crop-livestock integration: Insights from a farm trajectory model Maximilien Cosme,Arouna Koné,Franck Pommereau,Cédric Gaucherel Agricultural Systems, 2024, 219, pp.103949. ⟨10.1016/j.agsy.2024.103949⟩ Article dans une revue hal-04653797v1
Diagnosis of planktonic trophic network dynamics with sharp qualitative changes Cédric Gaucherel,Stolian Fayolle,Raphael Savelli,Olivier Philippine,Franck Pommereauet al. Peer Community Journal, 2024, 4, pp.e58. ⟨10.24072/pcjournal.417⟩ Article dans une revue hal-04647015v1
A single changing hypernetwork to represent (social-)ecological dynamics Cédric Gaucherel,Maximilien Cosme,Camille Noûs,Franck Pommereau Peer Community Journal, 2024, 4, pp.e104. ⟨10.24072/pcjournal.482⟩ Article dans une revue hal-04786422v2
Risk assessment and recovery trajectories of a social-ecological system with a discrete-event model after a volcanic eruption Maximilien Cosme,Olivia Bernardoff,Christelle Hély,Christel Tiberi,Fleurice Paratet al. International Journal of Disaster Risk Reduction, 2023, 92, pp.103741. ⟨10.1016/j.ijdrr.2023.103741⟩ Article dans une revue hal-04101858v1
Model-checking ecological state-transition graphs Colin Thomas,Maximilien Cosme,Cédric Gaucherel,Franck Pommereau PLoS Computational Biology, 2022, 18 (6), pp.e1009657. ⟨10.1371/journal.pcbi.1009657⟩ Article dans une revue hal-03719082v1
Qualitative Modeling for Bridging Expert-Knowledge and Social-Ecological Dynamics of an East African Savanna Maximilien Cosme,Christelle Hély,Franck Pommereau,Paolo Pasquariello,Christel Tiberiet al. Land, 2022, 11 (1), 26 p. ⟨10.3390/land11010042⟩ Article dans une revue hal-03522463v1
Maintaining biodiversity promotes the multifunctionality of social-ecological systems: holistic modelling of a mountain system Zhun Mao,Julia Centanni,Franck Pommereau,Alexia Stokes,Cédric Gaucherel Ecosystem Services, 2021, 47, pp.101220. ⟨10.1016/j.ecoser.2020.101220⟩ Article dans une revue hal-03043249v1
Discrete-event models for conservation assessment of integrated ecosystems Cédric Gaucherel,Camille Carpentier,Ilse R. Geijzendorffer,Camille Noûs,Franck Pommereau Ecological Informatics, 2021, 61, pp.101205. ⟨10.1016/j.ecoinf.2020.101205⟩ Article dans une revue hal-03039548v1
Understanding Ecosystem Complexity via Application of a Process-Based State Space rather than a Potential Surface Cédric Gaucherel,F. Pommereau,Christelle Hély Complexity, 2020, 2020, pp.1-14. ⟨10.1155/2020/7163920⟩ Article dans une revue hal-02974933v1
Using discrete systems to exhaustively characterize the dynamics of an integrated ecosystem Cedric Gaucherel,Franck Pommereau Methods in Ecology and Evolution, 2019, 10 (9), pp.1615-1627. ⟨10.1111/2041-210X.13242⟩ Article dans une revue hal-02265554v1
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols Frédéric Gava,Franck Pommereau,Michael Guedj Journal of Supercomputing, 2014, 69 (2), pp.629--672. ⟨10.1007/s11227-014-1099-8⟩ Article dans une revue hal-00950399v1
Integrated Regulatory Networks (IRNs): Spatially organized biochemical modules Jean-Louis Giavitto,Hanna Klaudel,Franck Pommereau Theoretical Computer Science, 2012, 431, pp.219--234. ⟨10.1016/j.tcs.2011.12.054⟩ Article dans une revue hal-00769275v1
State Space Reduction for Dynamic Process Creation Hanna Klaudel,Maciej Koutny,Elisabeth Pelz,Franck Pommereau Scientific Annals of Computer Science, 2010, 20, pp.131--157 Article dans une revue hal-00666663v1
Quickly prototyping Petri nets tools with SNAKES Franck Pommereau Petri nets newsletter, 2008, 75 Article dans une revue hal-02310228v1
M-nets: A survey Hanna Klaudel,Franck Pommereau Acta Informatica, 2008, 45 (7-8), pp.537--564. ⟨10.1007/s00236-008-0077-0⟩ Article dans une revue hal-00870484v1
Petri nets as executable specifications of high-level timed parallel systems. Franck Pommereau Scalable Computing : Practice and Experience, 2005, 6 (4), pp.71-82 Article dans une revue hal-00114669v1
Asynchonous Box Calculus Raymond Devillers,Hanna Klaudel,Maciej Koutny,Franck Pommereau Fundamenta Informaticae, 2003, 54, pp.1-50 Article dans une revue hal-00114675v1
A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems Hanna Klaudel,Franck Pommereau Fundamenta Informaticae, 2002, 50(1), pp.33-55 Article dans une revue hal-00114685v1

Communication dans un congrès (46)

An autonomous vehicle in a connected environment: case study of cyber-resilience Guillaume Hutzler,Hanna Klaudel,Witold Klaudel,Franck Pommereau,Artur Rataj 19th Conference on Computer Science and Intelligence Systems (FedCSIS), Sep 2024, Belgrade, Serbia. pp.363-373, ⟨10.15439/2024F8797⟩ Communication dans un congrès hal-04856428v1
Automatic Discovery of Cyberattacks Guillaume Hutzler,Hanna Klaudel,Witold Klaudel,Franck Pommereau,Artur Rataj IEEE 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-04745334v1
A case study of cyber-resilience Guillaume Hutzler,Hanna Klaudel,Witold Klaudel,Franck Pommereau,Artur Rataj 19th Conference on Computer Science and Intelligence Systems (FedCSIS), Sep 2024, Belgrade (Serbia), Serbia Communication dans un congrès hal-04653997v1
A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems Franck Pommereau,Cédric Gaucherel International Workshop on Petri Nets and Software Engineering (PNSE 2024), Jun 2024, Genève, Switzerland. pp.13--32 Communication dans un congrès hal-04667502v1
Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs Giann Karlo Aguirre-Samboní,Cédric Gaucherel,Stefan Haar,Franck Pommereau International Workshop on Petri Nets and Software Engineering (PNSE 2022), Jul 2022, Bergen, Norway. pp.213--214 Communication dans un congrès hal-03750233v1
Petri Nets Semantics of Reaction Rules (RR) A Language for Ecosystems Modelling Franck Pommereau,Colin Thomas,Cédric Gaucherel Application 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-03617050v1
EDEN Framework for Interactive Analysis of Ecosystems Models Franck Pommereau,Colin Thomas,Cédric Gaucherel International Workshop on Petri Nets and Software Engineering (PNSE 2022), Jun 2022, Bergen, Norway. pp.119--138 Communication dans un congrès hal-03750229v1
Laser Array Covering 155 nm Wide Spectral Band Achieved by Selective Area Growth on Silicon Wafer C. Besancon,P. Fanneau,D. Neel,G. Cerulo,N. Vaissiereet al. 2020 European Conference on Optical Communications (ECOC), Dec 2020, Brussels, Belgium. pp.1-4, ⟨10.1109/ECOC48923.2020.9333230⟩ Communication dans un congrès hal-04627280v1
Analysis of Discrete Models for Ecosystem Ecology Cinzia Di Giusto,Cédric Gaucherel,Hanna Klaudel,Franck Pommereau 12th 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-02682352v1
Pattern Matching in discrete Models for Ecosystem Ecology Cinzia Di Giusto,Cédric Gaucherel,Hanna Klaudel,Franck Pommereau 10. International Conference on Bioinformatics Models, Methods and Algorithms (Bioinformatics 2019), Feb 2019, Prague, Czech Republic. pp.101--111 Communication dans un congrès hal-02002550v1
ASPiC: an Acting system based on Skill Petri net Composition Charles Lesire,Franck Pommereau 2018 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-01961211v1
Scalable fine-grained metric-based remeshing algorithm for manycore/NUMA architectures Hoby Rakotoarivelo,Franck Ledoux,Franck Pommereau,Nicolas Le Goff 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⟩ Communication dans un congrès hal-01609940v1
Faster simulation of (Coloured) Petri nets using parallel computing Franck Pommereau,Jordan de La Houssaye 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⟩ Communication dans un congrès hal-01533514v1
ABCD: A user-friendly language for formal modelling and analysis Franck Pommereau 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⟩ Communication dans un congrès hal-01352028v1
Fine-grained Locality-aware Parallel Scheme for Anisotropic Mesh Adaptation Hoby Rakotoarivelo,Franck Ledoux,Franck Pommereau 25th 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-01432988v1
Formal modelling and analysis of distributed storage systems Jordan de La Houssaye,Franck Pommereau,Philippe Deniel 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⟩ Communication dans un congrès hal-01352035v1
SNAKES: A flexible high-level Petri nets library Franck Pommereau 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⟩ Communication dans un congrès hal-01186407v1
Modular µ-calculus model-checking with formula-dependent hierarchical abstractions Yves-Stan Le Cornec,Franck Pommereau 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⟩ Communication dans un congrès hal-02309924v1
Building Petri nets tools around Neco compiler Lukasz Fronc,Franck Pommereau International Workshop on Petri Nets and Software Engineering (PNSE 2013), Jun 2013, Milano, Italy. (elec. proc.) Communication dans un congrès hal-00911714v1
Formal modelling and analysis of behaviour grading within a peer-to-peer storage system Samira Chaou,Franck Pommereau 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 Communication dans un congrès hal-00868709v1
Towards a certified Petri net model-checker Lukasz Fronc,Franck Pommereau 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⟩ Communication dans un congrès hal-00666660v1
Performance evaluations of a BSP algorithm for state space construction of security protocols Frédéric Gava,Michael Guedj,Franck Pommereau 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⟩ Communication dans un congrès hal-00745201v1
A BSP algorithm for on-the-ﬂy checking CTL* formulas on security protocols Frédéric Gava,Michael Guedj,Franck Pommereau 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⟩ Communication dans un congrès hal-00950415v1
A BSP algorithm for on-the-fly checking LTL formulas on security protocols Frédéric Gava,Michael Guedj,Franck Pommereau 11th 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-00868689v1
Optimising the compilation of Petri net models Lukasz Fronc,Franck Pommereau 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 Communication dans un congrès hal-00666661v1
A BSP Algorithm for the State Space Construction of Security Protocols Frédéric Gava,Michael Guedj,Franck Pommereau 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⟩ Communication dans un congrès hal-00669177v1
Evaluating a Peer-to-peer Storage System in Presence of Malicious Peers Samira Chaou,Gil Utard,Franck Pommereau International 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-00669179v1
State space exploration of spatially organized populations of agents Antoine Dautriche,Jean-Louis Giavitto,Hanna Klaudel,Franck Pommereau 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⟩ Communication dans un congrès hal-00745245v1
Modelling, Verification, and Formal Analysis of Security Properties in a P2P System Sam Sanjabi,Franck Pommereau 2010 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-02310070v1
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections Jean-Louis Giavitto,Hanna Klaudel,Franck Pommereau 4th 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-00666662v1
An approach to state space reduction for systems with dynamic process creation Hanna Klaudel,Maciej Koutny,Elisabeth Pelz,Franck Pommereau 24th 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-00666664v1
Efficient reachability graph representation of Petri nets with unbounded counters Franck Pommereau,Raymond Devillers,Hanna Klaudel 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⟩ Communication dans un congrès hal-00340494v1
Nets in Nets with SNAKES Franck Pommereau Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA'09), Sep 2009, Hamburg, Germany Communication dans un congrès hal-00666665v1
Quickly prototyping Petri nets tools with SNAKES Franck Pommereau International Workshop on Petri Nets Tools and APplications PNTAP 2008,, Mar 2008, Marseille, France Communication dans un congrès hal-02309814v1
Modeling and analysis of security protocols using role based specifications and Petri nets Roland Bouroulet,Raymond Devillers,Hanna Klaudel,Elisabeth Pelz,Franck Pommereau 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⟩ Communication dans un congrès hal-00340476v1
Versatile Boxes: a Multi-Purpose Algebra of High-Level Petri nets Franck Pommereau Summer Computer Simulation Conference, 2007, San Diego, United States Communication dans un congrès hal-02309961v1
Causal Time Calculus Franck Pommereau FORMATS, 2004, Marseille, France. pp.1-12, ⟨10.1007/978-3-540-40903-8_21⟩ Communication dans un congrès istex hal-00114673v1
Petri nets as Executable Specifications of High-Level Timed Parallel Systems Franck Pommereau Computational Science - ICCS, 2004, Kraków, Poland. pp.331-338, ⟨10.1007/978-3-540-24688-6_44⟩ Communication dans un congrès hal-00114671v1
Box Calculus with High-Level Buffers Cécile Bui Thanh,Hanna Klaudel,Franck Pommereau 2004, pp.1-6 Communication dans un congrès hal-00114672v1
Petri nets with causal time for system verification Cécile Bui Thanh,Hanna Klaudel,Franck Pommereau MTCS, 2003, Brno, Czech Republic. pp.1-16, ⟨10.1016/S1571-0661(04)80521-8⟩ Communication dans un congrès hal-00114682v1
An Algebra of Non-safe Petri Boxes Raymond Devillers,Hanna Klaudel,Maciej Koutny,Franck Pommereau AMAST, 2002, Saint-Gilles-les-Bains, France. pp.192-207, ⟨10.1007/3-540-45719-4_14⟩ Communication dans un congrès istex hal-02309988v1
Operational Semantics for PBC with Asynchronous Communication Raymond Devillers,Hanna Klaudel,Maciej Koutny,Elisabeth Pelz,Franck Pommereau 2002, pp.1-6 Communication dans un congrès hal-00114684v1
A concurrent semantics of static exceptions in a parallel programming language Hanna Klaudel,Franck Pommereau PETRI NETS, 2001, Newcastle upon Tyne, United Kingdom. pp.204-223, ⟨10.1007/3-540-45740-2_13⟩ Communication dans un congrès istex hal-00114689v1
FIFO Buffers in tie Sauce Franck Pommereau Distributed 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-02310048v1
A concurrent and compositional Petri net semantics of preemption Hanna Klaudel,Franck Pommereau Integrated Formal Methods (IFM), 2000, Dagstuhl, Germany. pp.318-337, ⟨10.1007/3-540-40911-4_19⟩ Communication dans un congrès istex hal-00114693v1
Asynchronous links in the PBC and M-nets Hanna Klaudel,Franck Pommereau ASIAN, 1999, Phuket, Thailand. pp.190-200, ⟨10.1007/3-540-46674-6_17⟩ Communication dans un congrès istex hal-00114697v1

Ouvrages (1)

Algebras of coloured Petri nets Franck Pommereau LAP LAMBERT Academic Publishing, 2010, 978-3843361132 Ouvrages hal-02309870v1

Chapitre d'ouvrage (2)

A modular, qualitative modelling of regulatory networks using Petri nets Hanna Klaudel,Claudine Chaouiya,Franck Pommereau Modeling in Systems Biology, pp.253-279, 2011, ⟨10.1007/978-1-84996-474-6_12⟩ Chapitre d'ouvrage hal-02309999v1
Towards Efficient Verification of Systems with Dynamic Process Creation Hanna Klaudel,Maciej Koutny,Elisabeth Pelz,Franck Pommereau 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⟩ Chapitre d'ouvrage istex hal-02310882v1

Autre publication scientifique (2)

Web Report on the Model Checking Contest @ Petri Net 2013 Fabrice Kordon,Alban Linard,Marco Becutti,Didier Buchs,Lukasz Froncet al. 2013 Autre publication scientifique hal-00926989v1
FIFO buffers is hot tie sauce Franck Pommereau,Christian Stehno 2001 Autre publication scientifique hal-00114692v1

Pré-publication, Document de travail (2)

Farm Trajectories in the South Sudanian Zone of Burkina Faso: How to Achieve a Persistent Crop-Livestock Integration? Maximilien Cosme,Franck Pommereau,Cédric Gaucherel 2023 Pré-publication, Document de travail hal-05196341v1
Diagnosis of planktonic trophic network dynamics with sharp qualitative changes Cedric Gaucherel,Stolian Fayolle,Raphael Savelli,Olivier Philippine,Franck Pommereauet al. 2024 Pré-publication, Document de travail (preprint/prepublication) hal-04395166v1

Rapport (7)

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

Thèse (1)

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

HDR (1)

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

N°spécial de revue/special issue (1)

Proceedings of SUMo and CompoNet 2011 Didier Buchs,Hanna Klaudel,Franck Pommereau SUMo and CompoNet, Newcastle upon Tyne, United Kingdom. CEUR Workshop Proceedings, 726, 2011 N°spécial de revue/special issue hal-02310023v1