Nombre de documents

8

CV de Elisabeth Pelz


Communication dans un congrès6 documents

  • Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan. Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. Helmut Jürgensen and Juhani Karhumäki and Alexander Okhotin. Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings, 2014, Unknown, Unknown or Invalid Region. Springer, 8614, pp.186--197, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-09704-6_17>. <hal-01161698>
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. An approach to state space reduction for systems with dynamic process creation. 24th International Symposium on Computer and Information Sciences (ISCIS 2009), Sep 2009, Guzelyurt, Turkey. pp.543--548, 2009, <10.1109/ISCIS.2009.5291864>. <hal-00666664>
  • Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau. Modeling and analysis of security protocols using role based specifications and Petri nets. International Conference on Application and Theory of Petri Nets (ICATPN'08), Jun 2008, Xi'an, China. Springer Berlin / Heidelberg, 5062, pp.72--91, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-68746-7_9>. <hal-00340476>
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. Towards Efficient Verification of Systems with Dynamic Process Creation. 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), Sep 2008, Istanbul, Turkey. 5160, pp.186--200, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-85762-4_13>. <hal-00666665>
  • Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz. Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). International Conference on Application of Concurrency to System Design, ACSD'2006, 2006, Finland. pp.ERREUR_CHAMPS_NON_SPECIFIE, 2006. <hal-00340477>
  • Raymond Devillers, Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. Operational Semantics for PBC with Asynchronous Communication. 2002, SCS, pp.1-6, 2002. <hal-00114684>

Article dans une revue2 documents

  • Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan. Small Universal Petri Nets with Inhibitor Arcs. CoRR, 2013, abs/1312.4414, pp.1-18. <hal-01161702>
  • Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. State Space Reduction for Dynamic Process Creation. Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2010, 20, pp.131--157. <hal-00666663>