Hanna Klaudel

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 25

Top Topics

Pattern Matching

Regular Languages

Autonomous Vehicles

Top Venues

Fundam. Informaticae

Publications

Johan Arcile, Raymond R. Devillers, Hanna Klaudel
Factorization of the State Space Construction for Cyclic Systems with Data. VECoS (2023)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
An Efficient State Space Construction for a Class of Timed Automata. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. CoRR (2023)
Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. CONCUR (2023)
Clément Bertrand, Hanna Klaudel, Frédéric Peschanski
Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory. Petri Nets (2022)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks. Fundam. Informaticae 175 (1-4) (2020)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
VERIFCAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles. AAMAS (2020)
Guillaume Hutzler, Hanna Klaudel, Abderrahmane Sali
Filtering Distributed Information to Build a Plausible Scene for Autonomous and Connected Vehicles. DCAI (2020)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles. PNSE@Petri Nets (2020)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
VerifCar: a framework for modeling and model checking communicating autonomous vehicles. Auton. Agents Multi Agent Syst. 33 (3) (2019)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel
Dynamic exploration of multi-agent systems with timed periodic tasks. CoRR (2019)
Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski
From Box Algebra to Interval Temporal Logic. Fundam. Informaticae 167 (4) (2019)
Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau
Analysis of Discrete Models for Ecosystem Ecology. BIOSTEC (Selected Papers) (2019)
Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau
Pattern Matching in Discrete Models for Ecosystem Ecology. BIOINFORMATICS (2019)
Clément Bertrand, Frédéric Peschanski, Hanna Klaudel, Matthieu Latapy
Pattern Matching in Link Streams: Timed-Automata with Finite Memory. Sci. Ann. Comput. Sci. 28 (2) (2018)
Jérémy Sobieraj, Lydie Nouvelière, Guillaume Hutzler, Hanna Klaudel
Modélisation du changement de voie de véhicules autonomes à différents niveaux d'abstraction. JFSMA (2018)
Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher
Activity Networks with Delays an Application to Toxicity Analysis. Fundam. Informaticae 160 (1-2) (2018)
Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski
Pattern Matching in Link Streams: A Token-Based Approach. Petri Nets (2018)
Johan Arcile, Jérémy Sobieraj, Hanna Klaudel, Guillaume Hutzler
Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles' Behaviors: A Case Study. EUMAS/AT (2017)
Jérémy Sobieraj, Guillaume Hutzler, Hanna Klaudel
Modélisation et simulation de la coopération dans les STI : un comparatif. JFSMA (2017)
Johan Arcile, Raymond R. Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak
Modeling and checking robustness of communicating autonomous vehicles. DCAI (2017)
Raymond R. Devillers, Hanna Klaudel
Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. FORMATS (2016)
Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski
From Petri Nets with Shared Variables to ITL. ACSD (2016)
Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel
Activity Networks with Delays An application to toxicity analysis. CoRR (2016)
Célia Biane, Franck Delaplace, Hanna Klaudel
Networks and games for precision medicine. Biosyst. 150 (2016)
Johan Arcile, Tadeusz Czachórski, Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Artur Rataj
Modelling and Analysing Mixed Reality Applications. ICMMI (2015)
Johan Arcile, Jean-Yves Didier, Hanna Klaudel, Raymond R. Devillers, Artur Rataj
Indefinite waitings in MIRELA systems. ESSS (2015)
Cinzia Di Giusto, Hanna Klaudel, Franck Delaplace
Systemic approach for toxicity analysis. BioPPN@Petri Nets (2014)
Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile
Deadlock and Temporal Properties Analysis in Mixed Reality Applications. ISSRE (2014)
Hanna Klaudel, Maciej Koutny, Zhenhua Duan
Interval Temporal Logic Semantics of Box Algebra. LATA (2014)
Zhenhua Duan, Hanna Klaudel, Maciej Koutny
ITL semantics of composite Petri nets. J. Log. Algebraic Methods Program. 82 (2) (2013)
Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers
A Petri Net Interpretation of Open Reconfigurable Systems. Fundam. Informaticae 122 (1-2) (2013)
Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel
Implementing Timed Automata Specifications: The "Sandwich" Approach. ACSD (2013)
Franck Delaplace, Hanna Klaudel, Tarek Melliti, Sylvain Sené
Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics. CMSB (2012)
Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
Integrated regulatory networks (IRNs): Spatially organized biochemical modules. Theor. Comput. Sci. 431 (2012)
Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers
A Petri Net Interpretation of Open Reconfigurable Systems. Petri Nets (2011)
Franck Delaplace, Hanna Klaudel, Tarek Melliti, Sylvain Sené
Analysis of modular organisation of interaction networks based on asymptotic dynamics CoRR (2011)
Antoine Dautriche, Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
State Space Exploration of Spatially Organized Populations of Agents. SASO Workshops (2011)
Franck Delaplace, Hanna Klaudel, Amandine Cartier-Michaud
Discrete causal model view of biological networks. CMSB (2010)
Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections MeCBIC (2010)
Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers
A Decidable Characterization of a Graphical Pi-calculus with Iterators INFINITY (2010)
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
State Space Reduction for Dynamic Process Creation. Sci. Ann. Comput. Sci. 20 (2010)
Jean-Yves Didier, Bachir Djafri, Hanna Klaudel
The MIRELA framework: modeling and analyzing mixed reality applications using timed automata. J. Virtual Real. Broadcast. 6 (2009)
Franck Pommereau, Raymond R. Devillers, Hanna Klaudel
Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. INFINITY (2009)
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
An approach to state space reduction for systems with dynamic process creation. ISCIS (2009)
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC (2008)
Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets (2008)
Hanna Klaudel, Franck Pommereau
M-nets: a survey. Acta Informatica 45 (7-8) (2008)
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
-calculus terms. Formal Aspects Comput. 20 (4-5) (2008)
Jean-Yves Didier, Bachir Djafri, Hanna Klaudel
MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata. VR (2008)
Anastasia Yartseva, Raymond R. Devillers, Hanna Klaudel, François Képès
From MIN model to ordinary differential equations. J. Integr. Bioinform. 4 (3) (2007)
Anastasia Yartseva, Hanna Klaudel, Raymond R. Devillers, François Képès
Incremental and unifying modelling formalism for biological interaction networks. BMC Bioinform. 8 (2007)
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
Modelling Mobility in High-level Petri Nets. ACSD (2007)
Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC (2006)
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
-Calculus Terms. ICTAC (2006)
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
Petri Net Semantics of the Finite pi-calculus Terms. Fundam. Informaticae 70 (3) (2006)
Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang
Systèmes multi-agents adaptatifs avec contraintes temps-réel. Tech. Sci. Informatiques 25 (3) (2006)
Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). ACSD (2006)
Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. ICATPN (2005)
Raymond R. Devillers, Hanna Klaudel
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets. Fundam. Informaticae 66 (3) (2005)
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
A Petri Net Semantics of a Simple Process Algebra for Mobility. EXPRESS (2005)
Cécile Bui Thanh, Hanna Klaudel
Object-Oriented Modelling with High-Level Modular Petri Nets. IFM (2004)
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
Context-based Process Algebras for Mobility. ACSD (2004)
Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang
Automates temporisés et systèmes multi-agents temps-réel. JFSMA (2004)
Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang
Towards Timed Automata and Multi-agent Systems. FAABS (2004)
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
Petri Net Semantics of the Finite pi-Calculus. FORTE (2004)
Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. ACSD (2004)
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
Asynchronous Box Calculus. Fundam. Informaticae 54 (4) (2003)
Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann
General parameterised refinement and recursion for the M-net calculus. Theor. Comput. Sci. 300 (1-3) (2003)
Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau
Petri nets with causal time for system verification. Electron. Notes Theor. Comput. Sci. 68 (5) (2002)
Hanna Klaudel, Franck Pommereau
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems. Fundam. Informaticae 50 (1) (2002)
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
An Algebra of Non-safe Petri Boxes. AMAST (2002)
Hanna Klaudel, Franck Pommereau
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. ICATPN (2001)
Hanna Klaudel
Compositional high-level Petri net semantics of a parallel programming language with procedures. Sci. Comput. Program. 41 (3) (2001)
Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz
An Algebraic Box Calculus. J. Autom. Lang. Comb. 5 (2) (2000)
Hanna Klaudel, Franck Pommereau
A Concurrent and Compositional Petri Net Semantics of Preemption. IFM (2000)
Hanna Klaudel, Franck Pommereau
Asynchronous Links in the PBC and M-Nets. ASIAN (1999)
Hanna Klaudel, Robert-C. Riemann
Refinement-based Semantics of Parallel Procedures. PDPTA (1999)
Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica 35 (10) (1998)
Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
M-net Calculus Based Semantics for Triggers. ICATPN (1998)
Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann
General Refinement for High Level Petri Nets. FSTTCS (1997)
Hanna Klaudel, Robert-C. Riemann
High Level Expressions with their SOS Semantics (Extended Abstract). CONCUR (1997)
Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
. Application and Theory of Petri Nets (1995)
Raymond R. Devillers, Hanna Klaudel
Refinement and Recursion in a High Level Petri Box Calculus. STRICT (1995)
Hanna Klaudel, Elisabeth Pelz
Communication as Unification in the Petri Box Calculus. FCT (1995)
Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
An M-net Semantics of B(PN)2. STRICT (1995)