Elisabeth Pelz

34 papers A 1B 2C 1Journal 12Unranked 18

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets. Fundam. Informaticae Elisabeth Pelz
2016	J	`jnl`	Small Universal Deterministic Petri Nets with Inhibitor Arcs. J. Autom. Lang. Comb. Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
2016	—	`conf`	Timed Processes of Interval-Timed Petri Nets. CS&P Elisabeth Pelz
2015	—	`conf`	Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation. PNSE @ Petri Nets Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann
2014	J	`jnl`	A Holistic State Equation for Timed Petri Nets. Fundam. Informaticae Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz
2014	—	`conf`	Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. DCFS Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
2013	—	`conf`	A Holistic State Equation for Timed Petri Nets. CS&P Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz
2013	J	`jnl`	Small Universal Petri Nets with Inhibitor Arcs. CoRR Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
2012	J	`jnl`	Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays. Fundam. Informaticae Louchka Popova-Zeugmann, Elisabeth Pelz
2010	J	`jnl`	State Space Reduction for Dynamic Process Creation. Sci. Ann. Comput. Sci. Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
2009	—	`conf`	An approach to state space reduction for systems with dynamic process creation. ISCIS Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
2008	B	`conf`	Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau
2008	C	`conf`	Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
2007	—	`conf`	Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets. ICATPN Elisabeth Pelz, Dietmar Tutsch
2006	—	`conf`	Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). ACSD Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
2004	—	`conf`	A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. ACSD Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
2003	—	`conf`	Compositional High Level Petri Nets with Timing Constraints - A Comparison. ACSD Elisabeth Pelz, Hans Fleischhack
2003	—	`conf`	Hierarchical Timed High Level Nets and Their Branching Processes. ICATPN Hans Fleischhack, Elisabeth Pelz
2000	J	`jnl`	An Algebraic Box Calculus. J. Autom. Lang. Comb. Raymond Devillers, Hanna Klaudel, Elisabeth Pelz
1998	J	`jnl`	M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
1998	—	`conf`	M-net Calculus Based Semantics for Triggers. ICATPN Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
1997	—	`conf`	Improved Implementations via a New Structural Equivalence on Labelled Nets. ICATPN Wojciech Fraczak, Elisabeth Pelz
1995	—	`conf`	A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN) Application and Theory of Petri Nets Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
1995	—	`conf`	An M-net Semantics of B(PN)2. STRICT Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
1995	—	`conf`	CALIBAN - Esprit Basic Research WG 6067. STRICT Eike Best, Raymond Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel
1995	B	`conf`	Communication as Unification in the Petri Box Calculus. FCT Hanna Klaudel, Elisabeth Pelz
1992	J	`jnl`	Normalization of place/transition-systems preserves net behaviour. RAIRO Theor. Informatics Appl. Elisabeth Pelz
1990	J	`jnl`	Logic Versus Sequential and Concurrent Net Behaviour. J. Inf. Process. Cybern. Elisabeth Pelz
1988	—	`conf`	About the concurrent behaviour of EN systems: definability and closure results. European Workshop on Applications and Theory in Petri Nets Elisabeth Pelz
1987	A	`conf`	Closure Properties of Deterministic Petri Nets. STACS Elisabeth Pelz
1986	—	`conf`	Infinitary languages of Petri nets and logical sentences. European Workshop on Applications and Theory of Petri Nets Elisabeth Pelz
1985	J	`jnl`	A Logical Approach of Petri Net Languages. Theor. Comput. Sci. Michel Parigot, Elisabeth Pelz
1985	—	`conf`	A logical formalism for the study of the infinite behaviour of Petri nets. Applications and Theory in Petri Nets Michel Parigot, Elisabeth Pelz
1985	J	`jnl`	On the Complexity of Theories of Permutations. Theor. Comput. Sci. Elisabeth Pelz

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.