Robert Eschbach

ORCID

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 2

Top Venues

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Robert Eschbach
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B. ABZ (2021)
Robert Eschbach
Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis. FM (2019)
Robert Eschbach, Lan Lin, Jesse H. Poore
Applying string-rewriting to sequence-based specification. Formal Methods Syst. Des. 43 (3) (2013)
Frank Elberzhager, Alla Rosbach, Jürgen Münch, Robert Eschbach
Inspection and Test Process Integration Based on Explicit Test Prioritization Strategies. CoRR (2013)
Frank Elberzhager, Robert Eschbach, Jürgen Münch
The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing. CoRR (2013)
Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar
A Generic Fault Model for Quality Assurance. MoDELS (2013)
Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. FASE (2013)
Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach
Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application. IEEE Softw. 29 (6) (2012)
Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach
"Safety automata" - A new specification language for the development of PLC safety applications. ETFA (2012)
Frank Elberzhager, Alla Rosbach, Jürgen Münch, Robert Eschbach
Inspection and Test Process Integration Based on Explicit Test Prioritization Strategies. SWQD (2012)
Frank Elberzhager, Alla Rosbach, Jürgen Münch, Robert Eschbach
Reducing test effort: A systematic mapping study on existing approaches. Inf. Softw. Technol. 54 (10) (2012)
Johannes Kloos, Tanvir Hussain, Robert Eschbach
Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis. ICST Workshops (2011)
Frank Elberzhager, Robert Eschbach, Jürgen Münch
The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing. EUROMICRO-SEAA (2011)
Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. PRDC (2011)
Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach
Iterative refinement of specification for component based embedded systems. ISSTA (2011)
Robert Eschbach, Jesse H. Poore
Guest Editorial: Special Section from 6th Workshop on Advances in Model-Based Testing (A-MOST 2010). Inf. Softw. Technol. 53 (11) (2011)
Frank Böhr, Robert Eschbach
SIMOTEST: A tool for automated testing of hybrid real-time Simulink models. ETFA (2011)
Detlef Streitferdt, Florian Kantz, Philipp Nenninger, Thomas Ruschival, Holger Kaul, Thomas Bauer, Tanvir Hussain, Robert Eschbach
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain. Int. J. Embed. Real Time Commun. Syst. 2 (2) (2011)
Tanvir Hussain, Robert Eschbach
Automated fault tree generation and risk-based testing of networked automation systems. ETFA (2010)
Johannes Kloos, Robert Eschbach
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. Electron. Notes Theor. Comput. Sci. 263 (2010)
Muzammil Shahbaz, Robert Eschbach
Automatic Discovery of Unspecified Behaviors in Automotive Control Software. TAIC PART (2010)
Frank Elberzhager, Robert Eschbach, Johannes Kloos
Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems. Software Engineering (2010)
Thomas Bauer, Robert Eschbach
Enabling Statistical Testing for Component-based Systems. GI Jahrestagung (2) (2010)
Johannes Kloos, Frank Elberzhager, Robert Eschbach
Systematic Construction of Goal Indicator Trees for Indicator-Based Dependability Inspections. EUROMICRO-SEAA (2010)
Martin Proetzsch, Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Karsten Berns
A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages. KI (2010)
Dietmar Winkler, Frank Elberzhager, Stefan Biffl, Robert Eschbach
Software Process Improvement Initiatives Based on Quality Assurance Strategies: A QATAM Pilot Application. EuroSPI (2010)
Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Thomas Bauer
Risikobasiertes statistisches Testen. Softwaretechnik-Trends 29 (4) (2009)
Johannes Kloos, Robert Eschbach
Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study. ICST Workshops (2009)
Thomas Bauer, Heiko Stallbaum, Andreas Metzger, Robert Eschbach
Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest. Software Engineering (2008)
Haruka Nakao, Robert Eschbach
Strategic Usage of Test Case Generation by Combining Two Test Case Generation Approaches. SSIRI (2008)
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. J. Univers. Comput. Sci. 7 (11) (2001)
Robert Eschbach
A Verification Approach for Distributed Abstract State Machines. Ershov Memorial Conference (2001)
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. Abstract State Machines (2000)
Andreas Prinz, Robert Eschbach, Reinhard Gotzhein
A Executable Formal Semantics for SDL-2000. SAM (2000)
Robert Eschbach
A Termination Detection Algorithm: Specification and Verification. World Congress on Formal Methods (1999)

Robert Eschbach.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robert Eschbach