| 2019 | FM | Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis. | Robert Eschbach |
| 2013 | FASE | Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. | Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett |
| 2013 | MODELS | A Generic Fault Model for Quality Assurance. | Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar |
| 2012 | ETFA | "Safety automata" - A new specification language for the development of PLC safety applications. | Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach |
| 2011 | ETFA | SIMOTEST: A tool for automated testing of hybrid real-time Simulink models. | Frank Bhr, Robert Eschbach |
| 2011 | ICST | Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis. | Johannes Kloos, Tanvir Hussain, Robert Eschbach |
| 2011 | ISSTA | Iterative refinement of specification for component based embedded systems. | Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach |
| 2011 | PRDC | Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. | Matthias Gdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach |
| 2010 | ETFA | Automated fault tree generation and risk-based testing of networked automation systems. | Tanvir Hussain, Robert Eschbach |
| 2010 | EuroSPI | Software Process Improvement Initiatives Based on Quality Assurance Strategies: A QATAM Pilot Application. | Dietmar Winkler, Frank Elberzhager, Stefan Biffl, Robert Eschbach |
| 2010 | GI | Enabling Statistical Testing for Component-based Systems. | Thomas Bauer, Robert Eschbach |
| 2010 | KI | A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages. | Martin Proetzsch, Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Karsten Berns |
| 2009 | ICST | Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study. | Johannes Kloos, Robert Eschbach |
| 1999 | FM | A Termination Detection Algorithm: Specification and Verification. | Robert Eschbach |