Search - Archive ouverte HAL Access content directly

Filter your results

82 Results

A Decidable Characterization of a Graphical Pi-calculus with Iterators

Frédéric Peschanski , Hanna Klaudel , Raymond Devillers
12th International Workshop on Verification of Infinite-State Systems (INFINITY 2010), Sep 2010, Singapore, Singapore. pp.47--61, ⟨10.4204/EPTCS.39.4⟩
Conference papers hal-00628499v1
Image document

Asynchonous Box Calculus

Raymond Devillers , Hanna Klaudel , Maciej Koutny , Franck Pommereau
Fundamenta Informaticae, 2003, 54, pp.1-50
Journal articles hal-00114675v1

The MIRELA Framework: modeling and analyzing mixed reality applications using timed automata

Jean-Yves Didier , Bachir Djafri , Hanna Klaudel
10th ACM/IEEE Virtual Reality International Conference (VRIC 2008), Apr 2008, Laval, France. pp.189--199
Conference papers hal-00339454v1
Image document

Filtering distributed information to build a plausible scene for autonomous and connected vehicles

Guillaume Hutzler , Hanna Klaudel , Abderrahmane Sali
17th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2020), Oct 2020, L'Aquila, Italy. pp.89--101, ⟨10.1007/978-3-030-53036-5_10⟩
Conference papers hal-02886993v1
Image document

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⟩
Conference papers hal-00114682v1

Modelling Mobility in High-level Petri Nets

Raymond Devillers , Hanna Klaudel , Maciej Koutny
Seventh International Conference on Application of Concurrency to System Design (ACSD'07), 2007, Slovakia. pp.110--119
Conference papers hal-00340485v1
Image document

Modélisation du changement de voie de véhicules autonomes à différents niveaux d'abstraction

Jérémy Sobieraj , Lydie Nouveliere , Guillaume Hutzler , Hanna Klaudel
Journées Francophones sur les Systèmes Multi-Agents 2018 (JFSMA’2018), Oct 2018, Métabief, France. pp.21--30
Conference papers hal-02062425v1
Image document

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⟩
Book sections istex hal-02310882v1
Image document

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⟩
Journal articles hal-00769275v1

Modeling and checking robustness of communicating autonomous vehicles

Johan Arcile , Raymond Devillers , Hanna Klaudel , Witold Klaudel , Bożena Woźna-Szcześniak
S. Omatu, S. Rodriguez, G. Villarrubia, P. Faria, P. Sitek, J. Prieto. Distributed Computing and Artificial Intelligence, 14th International Conference, 620, Springer, pp.173-180, 2018, Advances in Intelligent Systems and Computing, 978-3-319-62409-9. ⟨10.1007/978-3-319-62410-5_21⟩
Book sections hal-02920656v1

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⟩
Conference papers hal-02682352v1
Image document

Box Calculus with High-Level Buffers

Cécile Bui Thanh , Hanna Klaudel , Franck Pommereau
2004, pp.1-6
Conference papers hal-00114672v1
Image document

Operational Semantics for PBC with Asynchronous Communication

Raymond Devillers , Hanna Klaudel , Maciej Koutny , Elisabeth Pelz , Franck Pommereau
2002, pp.1-6
Conference papers hal-00114684v1

Modeling and validation of mobile agent systems: a case study

Nassima Benaissa , Bachir Djafri , Guillaume Hutzler , Hanna Klaudel
INFOCOMP Journal of Computer Science, 2007, Special Edition, pp.9--15
Journal articles hal-00340121v1
Image document

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⟩
Conference papers hal-00340494v1
Image document

Asynchronous Box Calculus with multi-way communication

Cécile Bui Thanh , Hanna Klaudel , Franck Pommereau
[Research Report] LACL, Université Paris-Est/Créteil. 2008
Reports hal-02310227v1
Image document

Pattern Matching in Link Streams: Timed-Automata with Finite Memory

Clément Bertrand , Frédéric Peschanski , Hanna Klaudel , Matthieu Latapy
Scientific Annals of Computer Science, 2018, 28 (36), pp.161-198. ⟨10.7561/SACS.2018.2.161⟩
Journal articles hal-02110475v1
Image document

Modeling and checking robustness of communicating autonomous vehicles

Johan Arcile , Raymond Devillers , Hanna Klaudel , Witold Klaudel , Bożena Woźna-Szcześniak
14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2017), Jun 2017, Porto, Portugal. pp.173--180, ⟨10.1007/978-3-319-62410-5_21⟩
Conference papers hal-01567627v1
Image document

VerifCar: a framework for modeling and model checking communicating autonomous vehicles

Johan Arcile , Raymond Devillers , Hanna Klaudel
Autonomous Agents and Multi-Agent Systems, 2019, 33 (3), pp.353--381. ⟨10.1007/s10458-019-09409-x⟩
Journal articles hal-02133680v1
Image document

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⟩
Conference papers istex hal-02309988v1
Image document

Networks and Games for Precision Medicine

Célia Biane , Franck Delaplace , Hanna Klaudel
2016
Preprints, Working Papers, ... hal-01276715v2
Image document

Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study

Johan Arcile, , Jérémy Sobieraj , Hanna Klaudel , Guillaume Hutzler
15th European Conference on Multi-Agent Systems (EUMAS 2017) and the 5th International Conference on Agreement Technologies (AT 2017), Dec 2017, Evry, France. pp.292--304, ⟨10.1007/978-3-030-01713-2_21⟩
Conference papers hal-01918518v1

A Compositional Petri net Translation of General Pi-Calculus Terms

Raymond Devillers , Hanna Klaudel , Maciej Koutny
Formal Aspects of Computing, 2008, 20 (4-5), pp.429--450. ⟨10.1007/s00165-008-0079-2⟩
Journal articles hal-00340124v1

From Box Algebra to Interval Temporal Logic

Hanna Klaudel , Maciej Koutny , Zhenhua Duan , Ben Moszkowski
Fundamenta Informaticae, 2019, 167 (4), pp.323--354. ⟨10.3233/FI-2019-1820⟩
Journal articles hal-02196476v1
Image document

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
Journal articles hal-00114685v1

Petri Net Semantics of the Finite pi-calculus Terms

Raymond Devillers , Hanna Klaudel , Maciej Koutny
Fundamenta Informaticae, 2006, 70, pp.203--226
Journal articles hal-00340125v1

Modélisation et simulation de la coopération dans les Systèmes de Transport Intelligents : un comparatif

Jérémy Sobieraj , Guillaume Hutzler , Hanna Klaudel
Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2017), Jul 2017, Caen, France
Conference papers hal-01566972v1

Translation into Petri Nets of Biological Networks Represented in MIN formalism

Anastasia Yartseva , Hanna Klaudel , Raymond Devillers , François Képès
European Conference on Complex Systems (ECCS 2007), 2007, Germany. pp.203--205
Conference papers hal-00340496v1
Image document

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⟩
Conference papers hal-00666664v1
Image document

Analysis of modular organisation of interaction networks based on asymptotic dynamics

Franck Delaplace , Hanna Klaudel , Tarek Melliti , Sylvain Sené
10th International Conference on Computational Methods in Systems Biology (CMSB 2012), Oct 2012, London, United Kingdom. pp.148--165, ⟨10.1007/978-3-642-33636-2_10⟩
Conference papers hal-00750180v1