Hanna Klaudel

According to our database1, Hanna Klaudel
  • authored at least 64 papers between 1995 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Modeling and checking robustness of communicating autonomous vehicles.
Proceedings of the Distributed Computing and Artificial Intelligence, 2017

2016
Activity Networks with Delays An application to toxicity analysis.
CoRR, 2016

Networks and games for precision medicine.
Biosystems, 2016

Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

From Petri Nets with Shared Variables to ITL.
Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015
Indefinite waitings in MIRELA systems.
Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

Modelling and Analysing Mixed Reality Applications.
Proceedings of the Man-Machine Interactions 4, 2015

2014
Interval Temporal Logic Semantics of Box Algebra.
Proceedings of the Language and Automata Theory and Applications, 2014

Deadlock and Temporal Properties Analysis in Mixed Reality Applications.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Systemic approach for toxicity analysis.
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.
J. Log. Algebr. Program., 2013

A Petri Net Interpretation of Open Reconfigurable Systems.
Fundam. Inform., 2013

Implementing Timed Automata Specifications: The "Sandwich" Approach.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
Integrated regulatory networks (IRNs): Spatially organized biochemical modules.
Theor. Comput. Sci., 2012

Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics.
Proceedings of the Computational Methods in Systems Biology, 2012

2011
Analysis of modular organisation of interaction networks based on asymptotic dynamics
CoRR, 2011

State Space Exploration of Spatially Organized Populations of Agents.
Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

A Petri Net Interpretation of Open Reconfigurable Systems.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010
State Space Reduction for Dynamic Process Creation.
Sci. Ann. Comp. Sci., 2010

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections
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
Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

Discrete causal model view of biological networks.
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.
JVRB, 2009

Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters.
Electr. Notes Theor. Comput. Sci., 2009

An approach to state space reduction for systems with dynamic process creation.
Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009

2008
A compositional Petri net translation of general pi -calculus terms.
Formal Asp. Comput., 2008

M-nets: a survey.
Acta Inf., 2008

MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata.
Proceedings of the IEEE Virtual Reality Conference 2008 (VR 2008), 2008

Towards Efficient Verification of Systems with Dynamic Process Creation.
Proceedings of the Theoretical Aspects of Computing, 2008

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007
From MIN model to ordinary differential equations.
J. Integrative Bioinformatics, 2007

Incremental and unifying modelling formalism for biological interaction networks.
BMC Bioinformatics, 2007

Modelling Mobility in High-level Petri Nets.
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.
Technique et Science Informatiques, 2006

Petri Net Semantics of the Finite pi-calculus Terms.
Fundam. Inform., 2006

A Petri Net Semantics of a Simple Process Algebra for Mobility.
Electr. Notes Theor. Comput. Sci., 2006

A Petri Net Translation of pi-Calculus Terms.
Proceedings of the Theoretical Aspects of Computing, 2006

Tutorial on Formal Methods for Distributed and Cooperative Systems.
Proceedings of the Theoretical Aspects of Computing, 2006

Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language).
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.
Fundam. Inform., 2005

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004
Automates temporisés et systèmes multi-agents temps-réel.
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.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Petri Net Semantics of the Finite pi-Calculus.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Towards Timed Automata and Multi-agent Systems.
Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Context-based Process Algebras for Mobility.
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.
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.
Theor. Comput. Sci., 2003

Asynchronous Box Calculus.
Fundam. Inform., 2003

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

Petri nets with causal time for system verification.
Electr. Notes Theor. Comput. Sci., 2002

An Algebra of Non-safe Petri Boxes.
Proceedings of the Algebraic Methodology and Software Technology, 2002

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

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.
Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000
An Algebraic Box Calculus.
Journal of Automata, Languages and Combinatorics, 2000

A Concurrent and Compositional Petri Net Semantics of Preemption.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999
Refinement-based Semantics of Parallel Procedures.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Asynchronous Links in the PBC and M-Nets.
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.
Acta Inf., 1998

M-net Calculus Based Semantics for Triggers.
Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997
General Refinement for High Level Petri Nets.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

High Level Expressions with their SOS Semantics (Extended Abstract).
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1995
Communication as Unification in the Petri Box Calculus.
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)2.
Proceedings of the Application and Theory of Petri Nets 1995, 1995


  Loading...