A Termination Detection Algorithm: Specification and Verification. - Robert Eschbach (World Congress on Formal Methods, 1999)

On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. - Robert Eschbach; Uwe Glässer; Reinhard Gotzhein; Andreas Prinz 001 (Abstract State Machines, 2000)

A Executable Formal Semantics for SDL-2000. - Andreas Prinz 001; Robert Eschbach; Reinhard Gotzhein (SAM, 2000)

A Verification Approach for Distributed Abstract State Machines. - Robert Eschbach (Ershov Memorial Conference, 2001)

Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. - Robert Eschbach; Uwe Glässer; Reinhard Gotzhein; Martin von Löwis; Andreas Prinz 001 (J. Univers. Comput. Sci., 2001)

Formal specification and verification: structures and techniques. - Robert Eschbach (2005)

Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest. - Thomas Bauer; Heiko Stallbaum; Andreas Metzger; Robert Eschbach (Software Engineering, 2008)

Strategic Usage of Test Case Generation by Combining Two Test Case Generation Approaches. - Haruka Nakao; Robert Eschbach (SSIRI, 2008)

Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study. - Johannes Kloos; Robert Eschbach (ICST Workshops, 2009)

A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. - Johannes Kloos; Robert Eschbach (FACS@FMWeek, 2009)

Risikobasiertes statistisches Testen. - Fabian Zimmermann; Robert Eschbach; Johannes Kloos; Thomas Bauer (Softwaretechnik-Trends, 2009)

Automated fault tree generation and risk-based testing of networked automation systems. - Tanvir Hussain; Robert Eschbach (ETFA, 2010)

Systematic Construction of Goal Indicator Trees for Indicator-Based Dependability Inspections. - Johannes Kloos; Frank Elberzhager; Robert Eschbach (EUROMICRO-SEAA, 2010)

Software Process Improvement Initiatives Based on Quality Assurance Strategies: A QATAM Pilot Application. - Dietmar Winkler 001; Frank Elberzhager; Stefan Biffl; Robert Eschbach (EuroSPI, 2010)

Enabling Statistical Testing for Component-based Systems. - Thomas Bauer; Robert Eschbach (GI Jahrestagung (2), 2010)

A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages. - Martin Proetzsch; Fabian Zimmermann; Robert Eschbach; Johannes Kloos; Karsten Berns (KI, 2010)

Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems. - Frank Elberzhager; Robert Eschbach; Johannes Kloos (Software Engineering, 2010)

Automatic Discovery of Unspecified Behaviors in Automotive Control Software. - Muzammil Shahbaz; Robert Eschbach (TAIC PART, 2010)

Automated Statistical Testing for Embedded Systems. - Jesse H. Poore; Lan Lin; Robert Eschbach; Thomas Bauer (Model-Based Testing for Embedded Systems, 2011)

SIMOTEST: A tool for automated testing of hybrid real-time Simulink models. - Frank Böhr; Robert Eschbach (ETFA, 2011)

The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing. - Frank Elberzhager; Robert Eschbach; Jürgen Münch (EUROMICRO-SEAA, 2011)

Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis. - Johannes Kloos; Tanvir Hussain; Robert Eschbach (ICST Workshops, 2011)

Iterative refinement of specification for component based embedded systems. - Muzammil Shahbaz; K. C. Shashidhar; Robert Eschbach (ISSTA, 2011)

Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. - Matthias Güdemann; Michael Lipaczewski; Frank Ortmeier; Marco Schumann; Robert Eschbach (PRDC, 2011)

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain. - Detlef Streitferdt; Florian Kantz; Philipp Nenninger; Thomas Ruschival; Holger Kaul; Thomas Bauer; Tanvir Hussain; Robert Eschbach (Int. J. Embed. Real Time Commun. Syst., 2011)

Guest Editorial: Special Section from 6th Workshop on Advances in Model-Based Testing (A-MOST 2010). - Robert Eschbach; Jesse H. Poore (Inf. Softw. Technol., 2011)

"Safety automata" - A new specification language for the development of PLC safety applications. - Georg Frey; Rainer Drath; Bastian Schlich; Robert Eschbach (ETFA, 2012)

Inspection and Test Process Integration Based on Explicit Test Prioritization Strategies. - Frank Elberzhager; Alla Rosbach; Jürgen Münch; Robert Eschbach (SWQD, 2012)

Reducing test effort: A systematic mapping study on existing approaches. - Frank Elberzhager; Alla Rosbach; Jürgen Münch; Robert Eschbach (Inf. Softw. Technol., 2012)

Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application. - Muzammil Shahbaz; K. C. Shashidhar; Robert Eschbach (IEEE Softw., 2012)

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 (FASE, 2013)

A Generic Fault Model for Quality Assurance. - Alexander Pretschner; Dominik Holling; Robert Eschbach; Matthias Gemmar (MoDELS, 2013)

Applying string-rewriting to sequence-based specification. - Robert Eschbach; Lan Lin; Jesse H. Poore (Formal Methods Syst. Des., 2013)

Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis. - Robert Eschbach (FM, 2019)

Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B. - Robert Eschbach (ABZ, 2021)