Hanna Klaudel

According to our database, Hanna Klaudel authored at least 83 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Efficient State Space Construction for a Class of Timed Automata.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel

Trans. Petri Nets Other Model. Concurr., 2023

Factorization of the State Space Construction for Cyclic Systems with Data.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata.

Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory.

Clément Bertrand, Hanna Klaudel, Frédéric Peschanski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2020

Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel

Fundam. Informaticae, 2020

Filtering Distributed Information to Build a Plausible Scene for Autonomous and Connected Vehicles.

Guillaume Hutzler, Hanna Klaudel, Abderrahmane Sali

Proceedings of the Distributed Computing and Artificial Intelligence, 2020

Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

2019

From Box Algebra to Interval Temporal Logic.

Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski

Fundam. Informaticae, 2019

Dynamic exploration of multi-agent systems with timed periodic tasks.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel

CoRR, 2019

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

Johan Arcile, Raymond R. Devillers, Hanna Klaudel

Auton. Agents Multi Agent Syst., 2019

Analysis of Discrete Models for Ecosystem Ecology.

Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau

Proceedings of the Biomedical Engineering Systems and Technologies, 2019

Pattern Matching in Discrete Models for Ecosystem Ecology.

Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau

Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019

2018

Activity Networks with Delays an Application to Toxicity Analysis.

Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher

Fundam. Informaticae, 2018

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

Clément Bertrand, Frédéric Peschanski, Hanna Klaudel, Matthieu Latapy

Sci. Ann. Comput. Sci., 2018

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

Jérémy Sobieraj, Lydie Nouvelière, Guillaume Hutzler, Hanna Klaudel

Proceedings of the Distribution et Décentralisation, 2018

Pattern Matching in Link Streams: A Token-Based Approach.

Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Modélisation et simulation de la coopération dans les STI : un comparatif.

Jérémy Sobieraj, Guillaume Hutzler, Hanna Klaudel

Proceedings of the Cohésion : fondement ou propriété émergente - JFSMA 17, 2017

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

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

Modeling and checking robustness of communicating autonomous vehicles.

Johan Arcile, Raymond R. Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak

Proceedings of the Distributed Computing and Artificial Intelligence, 2017

2016

A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets.

Claudine Chaouiya, Hanna Klaudel, Franck Pommereau

Proceedings of the Modeling in Systems Biology, The Petri Net Approach, 2016

Activity Networks with Delays An application to toxicity analysis.

Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel

CoRR, 2016

Networks and games for precision medicine.

Célia Biane, Franck Delaplace, Hanna Klaudel

Biosyst., 2016

Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata.

Raymond R. Devillers, Hanna Klaudel

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

From Petri Nets with Shared Variables to ITL.

Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Indefinite waitings in MIRELA systems.

Johan Arcile, Jean-Yves Didier, Hanna Klaudel, Raymond R. Devillers, Artur Rataj

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

Modelling and Analysing Mixed Reality Applications.

Johan Arcile, Tadeusz Czachórski, Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Artur Rataj

Proceedings of the Man-Machine Interactions 4, 2015

2014

Interval Temporal Logic Semantics of Box Algebra.

Hanna Klaudel, Maciej Koutny, Zhenhua Duan

Proceedings of the Language and Automata Theory and Applications, 2014

Deadlock and Temporal Properties Analysis in Mixed Reality Applications.

Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Systemic approach for toxicity analysis.

Cinzia Di Giusto, Hanna Klaudel, Franck Delaplace

Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), 2014

2013

ITL semantics of composite Petri nets.

Zhenhua Duan, Hanna Klaudel, Maciej Koutny

J. Log. Algebraic Methods Program., 2013

A Petri Net Interpretation of Open Reconfigurable Systems.

Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers

Fundam. Informaticae, 2013

Implementing Timed Automata Specifications: The "Sandwich" Approach.

Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Integrated regulatory networks (IRNs): Spatially organized biochemical modules.

Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau

Theor. Comput. Sci., 2012

Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics.

Franck Delaplace, Hanna Klaudel, Tarek Melliti, Sylvain Sené

Proceedings of the Computational Methods in Systems Biology, 2012

2011

State Space Exploration of Spatially Organized Populations of Agents.

Antoine Dautriche, Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau

Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

2010

State Space Reduction for Dynamic Process Creation.

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau

Sci. Ann. Comput. Sci., 2010

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections

Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

A Decidable Characterization of a Graphical Pi-calculus with Iterators

Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers

Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

Discrete causal model view of biological networks.

Franck Delaplace, Hanna Klaudel, Amandine Cartier-Michaud

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

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

Jean-Yves Didier, Bachir Djafri, Hanna Klaudel

J. Virtual Real. Broadcast., 2009

Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters.

Franck Pommereau, Raymond R. Devillers, Hanna Klaudel

Proceedings of the Joint Proceedings of the 8th, 2009

An approach to state space reduction for systems with dynamic process creation.

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau

Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009

2008

A compositional Petri net translation of general <i>pi</i> -calculus terms.

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny

Formal Aspects Comput., 2008

M-nets: a survey.

Hanna Klaudel, Franck Pommereau

Acta Informatica, 2008

MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata.

Jean-Yves Didier, Bachir Djafri, Hanna Klaudel

Proceedings of the IEEE Virtual Reality Conference 2008 (VR 2008), 2008

Towards Efficient Verification of Systems with Dynamic Process Creation.

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau

Proceedings of the Theoretical Aspects of Computing, 2008

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.

Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

From MIN model to ordinary differential equations.

Anastasia Yartseva, Raymond R. Devillers, Hanna Klaudel, François Képès

J. Integr. Bioinform., 2007

Incremental and unifying modelling formalism for biological interaction networks.

Anastasia Yartseva, Hanna Klaudel, Raymond R. Devillers, François Képès

BMC Bioinform., 2007

Modelling Mobility in High-level Petri Nets.

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Systèmes multi-agents adaptatifs avec contraintes temps-réel.

Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang

Tech. Sci. Informatiques, 2006

Petri Net Semantics of the Finite pi-calculus Terms.

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny

Fundam. Informaticae, 2006

A Petri Net Translation of <i>pi</i>-Calculus Terms.

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny

Proceedings of the Theoretical Aspects of Computing, 2006

Tutorial on Formal Methods for Distributed and Cooperative Systems.

Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg

Proceedings of the Theoretical Aspects of Computing, 2006

Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language).

Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets.

Raymond R. Devillers, Hanna Klaudel

Fundam. Informaticae, 2005

A Petri Net Semantics of a Simple Process Algebra for Mobility.

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny

Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets.

Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

Automates temporisés et systèmes multi-agents temps-réel.

Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang

Proceedings of the Systèmes Multi-Agents Défis scientifiques et nouveaux usages - JFSMA 04, 2004

Object-Oriented Modelling with High-Level Modular Petri Nets.

Cécile Bui Thanh, Hanna Klaudel

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Petri Net Semantics of the Finite pi-Calculus.

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Towards Timed Automata and Multi-agent Systems.

Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang

Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Context-based Process Algebras for Mobility.

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets.

Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

General parameterised refinement and recursion for the M-net calculus.

Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann

Theor. Comput. Sci., 2003

Asynchronous Box Calculus.

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau

Fundam. Informaticae, 2003

2002

A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems.

Hanna Klaudel, Franck Pommereau

Fundam. Informaticae, 2002

Petri nets with causal time for system verification.

Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau

Proceedings of the International Workshop on Models for Time-Critical Systems, 2002

An Algebra of Non-safe Petri Boxes.

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Compositional high-level Petri net semantics of a parallel programming language with procedures.

Hanna Klaudel

Sci. Comput. Program., 2001

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.

Hanna Klaudel, Franck Pommereau

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

An Algebraic Box Calculus.

Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz

J. Autom. Lang. Comb., 2000

A Concurrent and Compositional Petri Net Semantics of Preemption.

Hanna Klaudel, Franck Pommereau

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Refinement-based Semantics of Parallel Procedures.

Hanna Klaudel, Robert-C. Riemann

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Asynchronous Links in the PBC and M-Nets.

Hanna Klaudel, Franck Pommereau

Proceedings of the Advances in Computing Science, 1999

1998

M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages.

Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz

Acta Informatica, 1998

M-net Calculus Based Semantics for Triggers.

Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann

Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997

General Refinement for High Level Petri Nets.

Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

High Level Expressions with their SOS Semantics (Extended Abstract).

Hanna Klaudel, Robert-C. Riemann

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1995

Refinement and Recursion in a High Level Petri Box Calculus.

Raymond R. Devillers, Hanna Klaudel

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

An M-net Semantics of B(PN)2.

Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

Communication as Unification in the Petri Box Calculus.

Hanna Klaudel, Elisabeth Pelz

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)².

Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz

Proceedings of the Application and Theory of Petri Nets 1995, 1995