The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hanna Klaudel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
    A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:99-110 [Conf]
  2. Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
    Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:179-188 [Conf]
  3. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    Context-based Process Algebras for Mobility. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:79-88 [Conf]
  4. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
    An Algebra of Non-safe Petri Boxes. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:192-207 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:103-120 [Conf]
  6. Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
    M-net Calculus Based Semantics for Triggers. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:306-325 [Conf]
  7. Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu
    Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:208-227 [Conf]
  8. Hanna Klaudel, Franck Pommereau
    A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:204-223 [Conf]
  9. Hanna Klaudel, Franck Pommereau
    Asynchronous Links in the PBC and M-Nets. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:190-200 [Conf]
  10. Hanna Klaudel, Robert-C. Riemann
    High Level Expressions with their SOS Semantics (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:288-301 [Conf]
  11. Guillaume Hutzler, Hanna Klaudel, D. Y. Wang
    Towards Timed Automata and Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    FAABS, 2004, pp:161-172 [Conf]
  12. Hanna Klaudel, Elisabeth Pelz
    Communication as Unification in the Petri Box Calculus. [Citation Graph (0, 0)][DBLP]
    FCT, 1995, pp:303-312 [Conf]
  13. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    Petri Net Semantics of the Finite pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:309-325 [Conf]
  14. Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann
    General Refinement for High Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1997, pp:297-311 [Conf]
  15. Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
    Tutorial on Formal Methods for Distributed and Cooperative Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:362-365 [Conf]
  16. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    A Petri Net Translation of pi-Calculus Terms. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:138-152 [Conf]
  17. Hanna Klaudel, Franck Pommereau
    A Concurrent and Compositional Petri Net Semantics of Preemption. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:318-337 [Conf]
  18. Cécile Bui Thanh, Hanna Klaudel
    Object-Oriented Modelling with High-Level Modular Petri Nets. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:287-306 [Conf]
  19. Hanna Klaudel, Robert-C. Riemann
    Refinement-based Semantics of Parallel Procedures. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:1810-1816 [Conf]
  20. 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. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:10, pp:813-857 [Journal]
  21. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    A Petri Net Semantics of a Simple Process Algebra for Mobility. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:3, pp:71-94 [Journal]
  22. Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau
    Petri nets with causal time for system verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
  23. Raymond R. Devillers, Hanna Klaudel
    Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:66, n:3, pp:221-257 [Journal]
  24. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    Petri Net Semantics of the Finite pi-calculus Terms. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:70, n:3, pp:203-226 [Journal]
  25. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
    Asynchronous Box Calculus. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:4, pp:295-344 [Journal]
  26. Hanna Klaudel, Franck Pommereau
    A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:50, n:1, pp:33-55 [Journal]
  27. Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz
    An Algebraic Box Calculus. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 2000, v:5, n:2, pp:81-108 [Journal]
  28. Hanna Klaudel
    Compositional high-level Petri net semantics of a parallel programming language with procedures. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:41, n:3, pp:195-240 [Journal]
  29. Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann
    General parameterised refinement and recursion for the M-net calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:300, n:1-3, pp:259-300 [Journal]
  30. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    Modelling Mobility in High-level Petri Nets. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:110-119 [Conf]

  31. Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. [Citation Graph (, )][DBLP]


  32. Towards Efficient Verification of Systems with Dynamic Process Creation. [Citation Graph (, )][DBLP]


  33. An approach to state space reduction for systems with dynamic process creation. [Citation Graph (, )][DBLP]


  34. MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata. [Citation Graph (, )][DBLP]


  35. M-nets: a survey. [Citation Graph (, )][DBLP]


  36. Incremental and unifying modelling formalism for biological interaction networks. [Citation Graph (, )][DBLP]


  37. Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002