A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2. - Eike Best; Hans Fleischhack; Wojciech Fraczak; Richard P. Hopkins; Hanna Klaudel; Elisabeth Pelz (Application and Theory of Petri Nets, 1995)

Communication as Unification in the Petri Box Calculus. - Hanna Klaudel; Elisabeth Pelz (FCT, 1995)

An M-net Semantics of B(PN)2. - Eike Best; Hans Fleischhack; Wojciech Fraczak; Richard P. Hopkins; Hanna Klaudel; Elisabeth Pelz (STRICT, 1995)

Refinement and Recursion in a High Level Petri Box Calculus. - Raymond Devillers; Hanna Klaudel (STRICT, 1995)

High Level Expressions with their SOS Semantics (Extended Abstract). - Hanna Klaudel; Robert-C. Riemann (CONCUR, 1997)

General Refinement for High Level Petri Nets. - Raymond Devillers; Hanna Klaudel; Robert-C. Riemann (FSTTCS, 1997)

M-net Calculus Based Semantics for Triggers. - Véronique Benzaken; Nicolas Hugon; Hanna Klaudel; Elisabeth Pelz; Robert-C. Riemann (ICATPN, 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)

Asynchronous Links in the PBC and M-Nets. - Hanna Klaudel; Franck Pommereau (ASIAN, 1999)

Refinement-based Semantics of Parallel Procedures. - Hanna Klaudel; Robert-C. Riemann (PDPTA, 1999)

A Concurrent and Compositional Petri Net Semantics of Preemption. - Hanna Klaudel; Franck Pommereau (IFM, 2000)

An Algebraic Box Calculus. - Raymond Devillers; Hanna Klaudel; Elisabeth Pelz (J. Autom. Lang. Comb., 2000)

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. - Hanna Klaudel; Franck Pommereau (ICATPN, 2001)

Compositional high-level Petri net semantics of a parallel programming language with procedures. - Hanna Klaudel (Sci. Comput. Program., 2001)

An Algebra of Non-safe Petri Boxes. - Raymond Devillers; Hanna Klaudel; Maciej Koutny; Franck Pommereau (AMAST, 2002)

Petri nets with causal time for system verification. - Cécile Bui Thanh; Hanna Klaudel; Franck Pommereau (MTCS, 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)

Asynchronous Box Calculus. - Raymond Devillers; Hanna Klaudel; Maciej Koutny; Franck Pommereau (Fundam. Informaticae, 2003)

General parameterised refinement and recursion for the M-net calculus. - Raymond Devillers; Hanna Klaudel; Robert-C. Riemann (Theor. Comput. Sci., 2003)

A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. - Roland Bouroulet; Hanna Klaudel; Elisabeth Pelz (ACSD, 2004)

Context-based Process Algebras for Mobility. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (ACSD, 2004)

Towards Timed Automata and Multi-agent Systems. - Guillaume Hutzler; Hanna Klaudel; Dong Yue Wang (FAABS, 2004)

Petri Net Semantics of the Finite pi-Calculus. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (FORTE, 2004)

Object-Oriented Modelling with High-Level Modular Petri Nets. - Cécile Bui Thanh; Hanna Klaudel (IFM, 2004)

Automates temporisés et systèmes multi-agents temps-réel. - Guillaume Hutzler; Hanna Klaudel; Dong Yue Wang (JFSMA, 2004)

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. - Jean-Paul Comet; Hanna Klaudel; Stéphane Liauzu (ICATPN, 2005)

A Petri Net Semantics of a Simple Process Algebra for Mobility. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (EXPRESS, 2005)

Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets. - Raymond Devillers; Hanna Klaudel (Fundam. Informaticae, 2005)

Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). - Roland Bouroulet; Hanna Klaudel; Elisabeth Pelz (ACSD, 2006)

Tutorial on Formal Methods for Distributed and Cooperative Systems. - Christine Choppy; Serge Haddad; Hanna Klaudel; Fabrice Kordon; Laure Petrucci; Yann Thierry-Mieg (ICTAC, 2006)

A Petri Net Translation of pi-Calculus Terms. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (ICTAC, 2006)

Petri Net Semantics of the Finite pi-calculus Terms. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (Fundam. Informaticae, 2006)

Systèmes multi-agents adaptatifs avec contraintes temps-réel. - Guillaume Hutzler; Hanna Klaudel; Dong Yue Wang (Tech. Sci. Informatiques, 2006)

Modelling Mobility in High-level Petri Nets. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (ACSD, 2007)

Incremental and unifying modelling formalism for biological interaction networks. - Anastasia Yartseva; Hanna Klaudel; Raymond Devillers; François Képès (BMC Bioinform., 2007)

From MIN model to ordinary differential equations. - Anastasia Yartseva; Raymond Devillers; Hanna Klaudel; François Képès (J. Integr. Bioinform., 2007)

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. - Roland Bouroulet; Raymond Devillers; Hanna Klaudel; Elisabeth Pelz; Franck Pommereau (Petri Nets, 2008)

Towards Efficient Verification of Systems with Dynamic Process Creation. - Hanna Klaudel; Maciej Koutny; Elisabeth Pelz; Franck Pommereau (ICTAC, 2008)

MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata. - Jean-Yves Didier; Bachir Djafri; Hanna Klaudel (VR, 2008)

M-nets: a survey. - Hanna Klaudel; Franck Pommereau (Acta Informatica, 2008)

A compositional Petri net translation of general pi -calculus terms. - Raymond Devillers; Hanna Klaudel; Maciej Koutny (Formal Aspects Comput., 2008)

An approach to state space reduction for systems with dynamic process creation. - Hanna Klaudel; Maciej Koutny; Elisabeth Pelz; Franck Pommereau (ISCIS, 2009)

Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. - Franck Pommereau; Raymond Devillers; Hanna Klaudel (INFINITY, 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)

Discrete causal model view of biological networks. - Franck Delaplace; Hanna Klaudel; Amandine Cartier-Michaud (CMSB, 2010)

A Decidable Characterization of a Graphical Pi-calculus with Iterators - Frédéric Peschanski; Hanna Klaudel; Raymond Devillers (INFINITY, 2010)

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections - Jean-Louis Giavitto; Hanna Klaudel; Franck Pommereau (MeCBIC, 2010)

State Space Reduction for Dynamic Process Creation. - Hanna Klaudel; Maciej Koutny; Elisabeth Pelz; Franck Pommereau (Sci. Ann. Comput. Sci., 2010)

State Space Exploration of Spatially Organized Populations of Agents. - Antoine Dautriche; Jean-Louis Giavitto; Hanna Klaudel; Franck Pommereau (SASO Workshops, 2011)

Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics. - Franck Delaplace; Hanna Klaudel; Tarek Melliti; Sylvain Sené (CMSB, 2012)

Integrated regulatory networks (IRNs): Spatially organized biochemical modules. - Jean-Louis Giavitto; Hanna Klaudel; Franck Pommereau (Theor. Comput. Sci., 2012)

Implementing Timed Automata Specifications: The "Sandwich" Approach. - Raymond Devillers; Jean-Yves Didier; Hanna Klaudel (ACSD, 2013)

A Petri Net Interpretation of Open Reconfigurable Systems. - Frédéric Peschanski; Hanna Klaudel; Raymond Devillers (Fundam. Informaticae, 2013)

ITL semantics of composite Petri nets. - Zhenhua Duan; Hanna Klaudel; Maciej Koutny (J. Log. Algebraic Methods Program., 2013)

Systemic approach for toxicity analysis. - Cinzia Di Giusto; Hanna Klaudel; Franck Delaplace (BioPPN@Petri Nets, 2014)

Deadlock and Temporal Properties Analysis in Mixed Reality Applications. - Raymond Devillers; Jean-Yves Didier; Hanna Klaudel; Johan Arcile (ISSRE, 2014)

Interval Temporal Logic Semantics of Box Algebra. - Hanna Klaudel; Maciej Koutny; Zhenhua Duan (LATA, 2014)

Modelling and Analysing Mixed Reality Applications. - Johan Arcile; Tadeusz Czachórski; Raymond Devillers; Jean-Yves Didier; Hanna Klaudel; Artur Rataj (ICMMI, 2015)

Indefinite waitings in MIRELA systems. - Johan Arcile; Jean-Yves Didier; Hanna Klaudel; Raymond Devillers; Artur Rataj (ESSS, 2015)

From Petri Nets with Shared Variables to ITL. - Hanna Klaudel; Maciej Koutny; Ben C. Moszkowski (ACSD, 2016)

Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. - Raymond Devillers; Hanna Klaudel (FORMATS, 2016)

Networks and games for precision medicine. - Célia Biane; Franck Delaplace; Hanna Klaudel (Biosyst., 2016)

Activity Networks with Delays An application to toxicity analysis. - Franck Delaplace; Cinzia Di Giusto; Jean-Louis Giavitto; Hanna Klaudel (CoRR, 2016)

A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets. - Claudine Chaouiya; Hanna Klaudel; Franck Pommereau (Modeling in Systems Biology, The Petri Net Approach, 2016)

Modeling and checking robustness of communicating autonomous vehicles. - Johan Arcile; Raymond Devillers; Hanna Klaudel; Witold Klaudel; Bozena Wozna-Szczesniak (DCAI, 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 (EUMAS/AT, 2017)

Modélisation et simulation de la coopération dans les STI : un comparatif. - Jérémy Sobieraj; Guillaume Hutzler; Hanna Klaudel (JFSMA, 2017)

Pattern Matching in Link Streams: A Token-Based Approach. - Clément Bertrand; Hanna Klaudel; Matthieu Latapy; Frédéric Peschanski (Petri Nets, 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 (JFSMA, 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)

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 Discrete Models for Ecosystem Ecology. - Cinzia Di Giusto; Cédric Gaucherel; Hanna Klaudel; Franck Pommereau (BIOINFORMATICS, 2019)

Analysis of Discrete Models for Ecosystem Ecology. - Cinzia Di Giusto; Cédric Gaucherel; Hanna Klaudel; Franck Pommereau (BIOSTEC (Selected Papers), 2019)

VerifCar: a framework for modeling and model checking communicating autonomous vehicles. - Johan Arcile; Raymond Devillers; Hanna Klaudel (Auton. Agents Multi Agent Syst., 2019)

Dynamic exploration of multi-agent systems with timed periodic tasks. - Johan Arcile; Raymond Devillers; Hanna Klaudel (CoRR, 2019)

From Box Algebra to Interval Temporal Logic. - Hanna Klaudel; Maciej Koutny; Zhenhua Duan; Ben C. Moszkowski (Fundam. Informaticae, 2019)

Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles. - Johan Arcile; Raymond Devillers; Hanna Klaudel (PNSE@Petri Nets, 2020)

Filtering Distributed Information to Build a Plausible Scene for Autonomous and Connected Vehicles. - Guillaume Hutzler; Hanna Klaudel; Abderrahmane Sali (DCAI, 2020)

Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks. - Johan Arcile; Raymond Devillers; Hanna Klaudel (Fundam. Informaticae, 2020)

Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory. - Clément Bertrand; Hanna Klaudel; Frédéric Peschanski (Petri Nets, 2022)

Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. - Clément Bertrand; Cinzia Di Giusto; Hanna Klaudel; Damien Regnault (CONCUR, 2023)

Factorization of the State Space Construction for Cyclic Systems with Data. - Johan Arcile; Raymond Devillers; Hanna Klaudel (VECoS, 2023)

An Efficient State Space Construction for a Class of Timed Automata. - Johan Arcile; Raymond Devillers; Hanna Klaudel (Trans. Petri Nets Other Model. Concurr., 2023)

Automatic Discovery of Cyberattacks. - Guillaume Hutzler; Hanna Klaudel; Witold Klaudel; Franck Pommereau; Artur Rataj (CSR, 2024)

An autonomous vehicle in a connected environment: case study of cyber-resilience. - Guillaume Hutzler; Hanna Klaudel; Witold Klaudel; Franck Pommereau; Artur Rataj (FedCSIS, 2024)