default search action
Hanna Klaudel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c59]Guillaume Hutzler, Hanna Klaudel, Witold Klaudel, Franck Pommereau, Artur Rataj:
Automatic Discovery of Cyberattacks. CSR 2024: 1-8 - [c58]Guillaume Hutzler, Hanna Klaudel, Witold Klaudel, Franck Pommereau, Artur Rataj:
An autonomous vehicle in a connected environment: case study of cyber-resilience. FedCSIS 2024: 363-373 - 2023
- [j25]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: 246-263 (2023) - [c57]Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault:
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. CONCUR 2023: 33:1-33:17 - [c56]Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
Factorization of the State Space Construction for Cyclic Systems with Data. VECoS 2023: 1-14 - [i4]Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault:
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. CoRR abs/2307.03561 (2023) - 2022
- [c55]Clément Bertrand, Hanna Klaudel, Frédéric Peschanski:
Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory. Petri Nets 2022: 43-63 - 2020
- [j24]Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks. Fundam. Informaticae 175(1-4): 59-95 (2020) - [c54]Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles. PNSE@Petri Nets 2020: 29-48 - [c53]Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
VERIFCAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles. AAMAS 2020: 2126-2127 - [c52]Guillaume Hutzler, Hanna Klaudel, Abderrahmane Sali:
Filtering Distributed Information to Build a Plausible Scene for Autonomous and Connected Vehicles. DCAI 2020: 89-101
2010 – 2019
- 2019
- [j23]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): 353-381 (2019) - [j22]Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski:
From Box Algebra to Interval Temporal Logic. Fundam. Informaticae 167(4): 323-354 (2019) - [c51]Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau:
Pattern Matching in Discrete Models for Ecosystem Ecology. BIOINFORMATICS 2019: 101-111 - [c50]Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau:
Analysis of Discrete Models for Ecosystem Ecology. BIOSTEC (Selected Papers) 2019: 242-264 - [i3]Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
Dynamic exploration of multi-agent systems with timed periodic tasks. CoRR abs/1911.07591 (2019) - 2018
- [j21]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): 161-198 (2018) - [j20]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): 119-142 (2018) - [c49]Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski:
Pattern Matching in Link Streams: A Token-Based Approach. Petri Nets 2018: 227-247 - [c48]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: 21-30 - 2017
- [c47]Johan Arcile, Raymond R. Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak:
Modeling and checking robustness of communicating autonomous vehicles. DCAI 2017: 173-180 - [c46]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: 292-304 - [c45]Jérémy Sobieraj, Guillaume Hutzler, Hanna Klaudel:
Modélisation et simulation de la coopération dans les STI : un comparatif. JFSMA 2017: 183-192 - 2016
- [j19]Célia Biane, Franck Delaplace, Hanna Klaudel:
Networks and games for precision medicine. Biosyst. 150: 52-60 (2016) - [c44]Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski:
From Petri Nets with Shared Variables to ITL. ACSD 2016: 11-18 - [c43]Raymond R. Devillers, Hanna Klaudel:
Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. FORMATS 2016: 140-156 - [p1]Claudine Chaouiya, Hanna Klaudel, Franck Pommereau:
A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets. Modeling in Systems Biology, The Petri Net Approach 2016: 253-279 - [i2]Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel:
Activity Networks with Delays An application to toxicity analysis. CoRR abs/1608.07440 (2016) - 2015
- [c42]Johan Arcile, Tadeusz Czachórski, Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Artur Rataj:
Modelling and Analysing Mixed Reality Applications. ICMMI 2015: 3-17 - [c41]Johan Arcile, Jean-Yves Didier, Hanna Klaudel, Raymond R. Devillers, Artur Rataj:
Indefinite waitings in MIRELA systems. ESSS 2015: 5-18 - 2014
- [c40]Cinzia Di Giusto, Hanna Klaudel, Franck Delaplace:
Systemic approach for toxicity analysis. BioPPN@Petri Nets 2014: 30-44 - [c39]Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile:
Deadlock and Temporal Properties Analysis in Mixed Reality Applications. ISSRE 2014: 55-65 - [c38]Hanna Klaudel, Maciej Koutny, Zhenhua Duan:
Interval Temporal Logic Semantics of Box Algebra. LATA 2014: 441-452 - 2013
- [j18]Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers:
A Petri Net Interpretation of Open Reconfigurable Systems. Fundam. Informaticae 122(1-2): 85-117 (2013) - [j17]Zhenhua Duan, Hanna Klaudel, Maciej Koutny:
ITL semantics of composite Petri nets. J. Log. Algebraic Methods Program. 82(2): 95-110 (2013) - [c37]Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel:
Implementing Timed Automata Specifications: The "Sandwich" Approach. ACSD 2013: 226-235 - 2012
- [j16]Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau:
Integrated regulatory networks (IRNs): Spatially organized biochemical modules. Theor. Comput. Sci. 431: 219-234 (2012) - [c36]Franck Delaplace, Hanna Klaudel, Tarek Melliti, Sylvain Sené:
Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics. CMSB 2012: 148-165 - 2011
- [c35]Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers:
A Petri Net Interpretation of Open Reconfigurable Systems. Petri Nets 2011: 208-227 - [c34]Antoine Dautriche, Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau:
State Space Exploration of Spatially Organized Populations of Agents. SASO Workshops 2011: 79-84 - [i1]Franck Delaplace, Hanna Klaudel, Tarek Melliti, Sylvain Sené:
Analysis of modular organisation of interaction networks based on asymptotic dynamics. CoRR abs/1111.2313 (2011) - 2010
- [j15]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
State Space Reduction for Dynamic Process Creation. Sci. Ann. Comput. Sci. 20: 131-157 (2010) - [c33]Franck Delaplace, Hanna Klaudel, Amandine Cartier-Michaud:
Discrete causal model view of biological networks. CMSB 2010: 4-13 - [c32]Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers:
A Decidable Characterization of a Graphical Pi-calculus with Iterators. INFINITY 2010: 47-61 - [c31]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: 162-177
2000 – 2009
- 2009
- [j14]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) - [c30]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
An approach to state space reduction for systems with dynamic process creation. ISCIS 2009: 543-548 - [c29]Franck Pommereau, Raymond R. Devillers, Hanna Klaudel:
Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. INFINITY 2009: 119-129 - 2008
- [j13]Hanna Klaudel, Franck Pommereau:
M-nets: a survey. Acta Informatica 45(7-8): 537-564 (2008) - [j12]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
A compositional Petri net translation of general pi -calculus terms. Formal Aspects Comput. 20(4-5): 429-450 (2008) - [c28]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: 72-91 - [c27]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC 2008: 186-200 - [c26]Jean-Yves Didier, Bachir Djafri, Hanna Klaudel:
MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata. VR 2008: 249-250 - 2007
- [j11]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) - [j10]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) - [c25]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
Modelling Mobility in High-level Petri Nets. ACSD 2007: 110-119 - 2006
- [j9]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
Petri Net Semantics of the Finite pi-calculus Terms. Fundam. Informaticae 70(3): 203-226 (2006) - [j8]Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang:
Systèmes multi-agents adaptatifs avec contraintes temps-réel. Tech. Sci. Informatiques 25(3): 317-342 (2006) - [c24]Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz:
Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). ACSD 2006: 179-188 - [c23]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
A Petri Net Translation of pi-Calculus Terms. ICTAC 2006: 138-152 - [c22]Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg:
Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC 2006: 362-365 - 2005
- [j7]Raymond R. Devillers, Hanna Klaudel:
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets. Fundam. Informaticae 66(3): 221-257 (2005) - [c21]Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu:
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. ICATPN 2005: 208-227 - [c20]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
A Petri Net Semantics of a Simple Process Algebra for Mobility. EXPRESS 2005: 71-94 - 2004
- [c19]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
Context-based Process Algebras for Mobility. ACSD 2004: 79-88 - [c18]Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz:
A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. ACSD 2004: 99-110 - [c17]Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang:
Towards Timed Automata and Multi-agent Systems. FAABS 2004: 161-172 - [c16]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
Petri Net Semantics of the Finite pi-Calculus. FORTE 2004: 309-325 - [c15]Cécile Bui Thanh, Hanna Klaudel:
Object-Oriented Modelling with High-Level Modular Petri Nets. IFM 2004: 287-306 - [c14]Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang:
Automates temporisés et systèmes multi-agents temps-réel. JFSMA 2004: 69-82 - 2003
- [j6]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau:
Asynchronous Box Calculus. Fundam. Informaticae 54(4): 295-344 (2003) - [j5]Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann:
General parameterised refinement and recursion for the M-net calculus. Theor. Comput. Sci. 300(1-3): 259-300 (2003) - 2002
- [j4]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): 33-55 (2002) - [c13]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau:
An Algebra of Non-safe Petri Boxes. AMAST 2002: 192-207 - [c12]Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau:
Petri nets with causal time for system verification. MTCS 2002: 85-100 - 2001
- [j3]Hanna Klaudel:
Compositional high-level Petri net semantics of a parallel programming language with procedures. Sci. Comput. Program. 41(3): 195-240 (2001) - [c11]Hanna Klaudel, Franck Pommereau:
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. ICATPN 2001: 204-223 - 2000
- [j2]Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz:
An Algebraic Box Calculus. J. Autom. Lang. Comb. 5(2): 81-107 (2000) - [c10]Hanna Klaudel, Franck Pommereau:
A Concurrent and Compositional Petri Net Semantics of Preemption. IFM 2000: 318-337
1990 – 1999
- 1999
- [c9]Hanna Klaudel, Franck Pommereau:
Asynchronous Links in the PBC and M-Nets. ASIAN 1999: 190-200 - [c8]Hanna Klaudel, Robert-C. Riemann:
Refinement-based Semantics of Parallel Procedures. PDPTA 1999: 1810-1816 - 1998
- [j1]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): 813-857 (1998) - [c7]Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann:
M-net Calculus Based Semantics for Triggers. ICATPN 1998: 306-325 - 1997
- [c6]Hanna Klaudel, Robert-C. Riemann:
High Level Expressions with their SOS Semantics (Extended Abstract). CONCUR 1997: 288-301 - [c5]Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann:
General Refinement for High Level Petri Nets. FSTTCS 1997: 297-311 - 1995
- [c4]Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz:
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2. Application and Theory of Petri Nets 1995: 103-120 - [c3]Hanna Klaudel, Elisabeth Pelz:
Communication as Unification in the Petri Box Calculus. FCT 1995: 303-312 - [c2]Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz:
An M-net Semantics of B(PN)2. STRICT 1995: 85-100 - [c1]Raymond R. Devillers, Hanna Klaudel:
Refinement and Recursion in a High Level Petri Box Calculus. STRICT 1995: 144-159
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-04 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint