Eckehard Schnieder

44 papers B 3C 2Misc 1Journal 17Unranked 19

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	Need and Approaches for Norm-Compliant Qualification for Satellite Based Train Localization Evaluation - Assessment- Certification - Approval. ENC Eckehard Schnieder
2019	J	`jnl`	A Train-Centric Communication-Based New Movement Authority Proposal for ETCS-2. IEEE Trans. Intell. Transp. Syst. Haifeng Song, HongJie Liu, Eckehard Schnieder
2019	J	`jnl`	Availability and Performance Analysis of Train-to-Train Data Communication System. IEEE Trans. Intell. Transp. Syst. Haifeng Song, Eckehard Schnieder
2019	J	`jnl`	Development and Evaluation Procedure of the Train-Centric Communication-Based System. IEEE Trans. Veh. Technol. Haifeng Song, Eckehard Schnieder
2019	J	`jnl`	Development and Validation of a Distance Measurement System in Metro Lines. IEEE Trans. Intell. Transp. Syst. Haifeng Song, Eckehard Schnieder
2018	J	`jnl`	Scenario-based system design with colored Petri nets: an application to train control systems. Softw. Syst. Model. Daohua Wu, Eckehard Schnieder
2017	J	`jnl`	Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets. Reliab. Eng. Syst. Saf. Haifeng Song, Jieyu Liu, Eckehard Schnieder
2016	J	`jnl`	Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets. IEEE Trans. Intell. Transp. Syst. Daohua Wu, Eckehard Schnieder
2015	J	`jnl`	Performance Evaluation of GNSS for Train Localization. IEEE Trans. Intell. Transp. Syst. Debiao Lu, Eckehard Schnieder
2015	J	`jnl`	Semantic Industry: Herausforderungen auf dem Weg zur rechnergestützten Informationsverarbeitung der Industrie 4.0. Autom. Stephan Höme, Jens Grützner, Thomas Hadlich, Christian Diedrich, Dieter Schnäpp, Susanne Arndt, Eckehard Schnieder
2015	J	`jnl`	Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme. Autom. Patrick Diekhake, Eckehard Schnieder
2014	J	`jnl`	(Verkehrs)sicherheit als regelungstechnische Aufgabe. Autom. Eckehard Schnieder
2014	J	`jnl`	Das Petrinetz Modellierungs- und -analysetool Π-Tool. Autom. Lisandro Quiroga, Uwe Becker, Eckehard Schnieder
2013	—	`conf`	Implementation of an Energy Model and a Charging Infrastructure in SUMO. SUMO Tamás Kurczveil, Pablo Álvarez López, Eckehard Schnieder
2013	—	`conf`	Message Collision and CSMA/CA Modeling and Simulation by Means of Petri Net. CyberC Jieyu Liu, Eckehard Schnieder, Zuoyu Miao
2013	C	`conf`	Online monitoring of a distributed building automation system to verify large sequences of bus messages by causal Petri net models. IECON Patrick Diekhake, Eckehard Schnieder
2012	J	`jnl`	A Measurement Standard for Vehicle Localization and Its ISO-Compliant Measurement Uncertainty Evaluation. IEEE Trans. Instrum. Meas. Marco Wegener, Eckehard Schnieder
2012	J	`jnl`	Verification of the safety communication protocol in train control system using colored Petri net. Reliab. Eng. Syst. Saf. Lijie Chen, Tao Tang, Xianqiong Zhao, Eckehard Schnieder
2011	—	`ed.`	FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010 FORMS/FORMAT Eckehard Schnieder, Géza Tarnai
2011	—	`conf`	Heuristic Forecasting of Geometry Deterioration of High Speed Railway Tracks. EUROCAST (2) Lisandro Quiroga, Eckehard Schnieder
2009	J	`jnl`	"Open Sesame" - towards a Next Generation Terminology Management System. Trans. SDPS Eckehard Schnieder, Lars Schnieder, Christian Stein
2009	—	`conf`	Reference Measurement Platforms for Satellite Based Localisation in Ground Transportation. VTC Fall Matthias Hübner, Jan Poliak, Daniel Beisel, Uwe Becker, Eckehard Schnieder
2009	—	`conf`	Traffic Flow Organization by means of a Vehicle-Sided Rule-Bases. VTC Fall Matthias Hübner, Tobias Lück, Eckehard Schnieder
2007	—	`conf`	Accident based requirements analysis for advanced driver assistance systems. IFAC HMS Uwe Becker, Jörn Drewes, Eckehard Schnieder
2007	Misc	`conf`	Duality in high level petri-nets: a basis to do diagnoses. WSC Jörg R. Müller, Eckehard Schnieder
2007	C	`conf`	UML-based safety analysis of distributed automation systems. ETFA Sebastian Schreiber, Till Schmidberger, Alexander Fay, Jörg May, Jörn Drewes, Eckehard Schnieder
2005	—	`conf`	A Formal Description of the Basic Concepts of System Theory for Transportation. Formal Methods in Software and Systems Modeling Eckehard Schnieder, Jörg R. Müller
2005	—	`conf`	Formal Cognitive Resource Model: Modeling of human behavior in complex work environments. CIMCA/IAWTIC Bernd Werther, Eckehard Schnieder
2005	J	`jnl`	LiLoLe-Verlagsprogramm zur Technischen Zuverlässigkeit. Autom. Eckehard Schnieder
2004	—	`ed.`	Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report SoftSpez Final Report Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
2004	—	`conf`	Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. SoftSpez Final Report Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder
2004	—	`conf`	Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems. SoftSpez Final Report Eckehard Schnieder
2003	—	`conf`	BASYSNET - An Integrated Approach for Automated Control System Development. Petri Net Technology for Communication-Based Systems Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste
2002	—	`conf`	Integation heterogener Modellwelten der Automatisierungstechnik. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen Eckehard Schnieder
2002	—	`conf`	Modellintegration durch Werkzeugkopplung auf Basis des ITC-Frameworks. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen S. König, Marc Horstmann, Eckehard Schnieder
2001	J	`jnl`	Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. Trans. SDPS Julia Padberg, L. Jansen, Hartmut Ehrig, Eckehard Schnieder, Reiko Heckel
2001	—	`conf`	Modellkonzepte in der Automatisierungstechnik. Modellierung Eckehard Schnieder
2000	B	`conf`	Holistic modeling of complex systems with Petri nets. SMC Penglin Zhu, Eckehard Schnieder
2000	B	`conf`	Modeling train control systems with Petri nets-a functional reference-architecture. SMC Michael Meyer zu Hörste, Eckehard Schnieder
2000	B	`conf`	Modeling train control systems with Petrinets-an operational specification. SMC Stefan Einer, Roman Slovák, Eckehard Schnieder
1999	—	`conf`	Formal Modelling and Simulation of Train Control Systems Using Petri Nets. World Congress on Formal Methods Michael Meyer zu Hörste, Eckehard Schnieder
1999	—	`conf`	Modelling and control of large flexible structures using combined simulation tools. ECC A. Arenz, Eckehard Schnieder
1992	—	`conf`	Modelling and Control of Complex Logistic Systems for Manufacturing. Application and Theory of Petri Nets Karsten Lemmer, Eckehard Schnieder
1984	—	`conf`	Organisationsstruktur der Fahrzeugsteuerung von Magnetschnellbahnen. Fachtagung Prozessrechner Eckehard Schnieder

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.