| Development and Validation of a Distance Measurement System in Metro Lines. | 0 | 0.34 | 2019 |
| A Train-Centric Communication-Based New Movement Authority Proposal for ETCS-2 | 1 | 0.35 | 2019 |
| Availability and Performance Analysis of Train-to-Train Data Communication System | 1 | 0.35 | 2019 |
| Development and Evaluation Procedure of the Train-Centric Communication-Based System | 0 | 0.34 | 2019 |
| Scenario-based system design with colored Petri nets: an application to train control systems. | 4 | 0.42 | 2018 |
| Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets. | 3 | 0.46 | 2017 |
| Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets. | 3 | 0.43 | 2016 |
| Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme. | 0 | 0.34 | 2015 |
| Semantic Industry: Herausforderungen auf dem Weg zur rechnergestützten Informationsverarbeitung der Industrie 4.0. | 2 | 0.39 | 2015 |
| Das Petrinetz Modellierungs- und -analysetool Π-Tool. | 0 | 0.34 | 2014 |
| Implementation of an Energy Model and a Charging Infrastructure in SUMO. | 5 | 0.59 | 2014 |
| (Verkehrs)sicherheit als regelungstechnische Aufgabe. | 0 | 0.34 | 2014 |
| Message Collision and CSMA/CA Modeling and Simulation by Means of Petri Net | 0 | 0.34 | 2013 |
| A Measurement Standard for Vehicle Localization and Its ISO-Compliant Measurement Uncertainty Evaluation. | 1 | 0.36 | 2012 |
| Verification of the safety communication protocol in train control system using colored Petri net. | 12 | 0.71 | 2012 |
| Heuristic forecasting of geometry deterioration of high speed railway tracks | 0 | 0.34 | 2011 |
| Traffic Flow Organization by Means of a Vehicle-Sided Rule-Bases | 1 | 0.42 | 2009 |
| "OPEN SESAME" --TOWARDS A NEXT GENERATION TERMINOLOGY MANAGEMENT SYSTEM | 0 | 0.34 | 2009 |
| Accident based requirements analysis for advanced driver assistance systems. | 0 | 0.34 | 2007 |
| Duality in high level petri-nets: a basis to do diagnoses | 0 | 0.34 | 2007 |
| UML-based safety analysis of distributed automation systems | 3 | 0.55 | 2007 |
| A formal description of the basic concepts of system theory for transportation | 0 | 0.34 | 2005 |
| LiLoLe-Verlagsprogramm zur Technischen Zuverlässigkeit | 0 | 0.34 | 2005 |
| Formal Cognitive Resource Model: Modeling of human behavior in complex work environments | 4 | 1.42 | 2005 |
| Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report | 8 | 2.05 | 2004 |
| BASYSNET - An Integrated Approach for Automated Control System Development | 1 | 0.43 | 2003 |
| Modellintegration durch Werkzeugkopplung auf Basis des ITC-Frameworks. | 0 | 0.34 | 2002 |
| Integation heterogener Modellwelten der Automatisierungstechnik. | 0 | 0.34 | 2002 |
| Modellkonzepte in der Automatisierungstechnik | 1 | 0.43 | 2001 |
| Holistic modeling of complex systems with Petri nets | 1 | 0.42 | 2000 |
| Modeling train control systems with Petrinets-an operational specification | 0 | 0.34 | 2000 |
| Formal Modelling and Simulation of Train Control Systems Using Petri Nets | 11 | 1.10 | 1999 |
| Modelling and Control of Complex Logistic Systems for Manufacturing | 0 | 0.34 | 1992 |
| Organisationsstruktur der Fahrzeugsteuerung von Magnetschnellbahnen | 0 | 0.34 | 1984 |
