Dr. Robert Eschbach
Dr. Robert Eschbach
ITK Engineering GmbH
Verified email at - Homepage
Cited by
Cited by
Reducing test effort: A systematic mapping study on existing approaches
F Elberzhager, A Rosbach, J Münch, R Eschbach
Information and Software Technology 54 (10), 1092-1106, 2012
Risk-based testing of safety-critical embedded systems driven by fault tree analysis
J Kloos, T Hussain, R Eschbach
2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011
From requirements to statistical testing of embedded systems
T Bauer, F Bohr, D Landmann, T Beletski, R Eschbach, J Poore
Fourth International Workshop on Software Engineering for Automotive Systems …, 2007
Formal Definition of SDL-2000-Compiling and Running SDL Specifications as ASM Models.
R Eschbach, U Glässer, R Gotzhein, M von Löwis, A Prinz
J. Univers. Comput. Sci. 7 (11), 1024-1049, 2001
Risk-based statistical testing: A refinement-based approach to the reliability analysis of safety-critical systems
F Zimmermann, R Eschbach, J Kloos, T Bauer
12th European Workshop on Dependable Computing, EWDC 2009, 8 pages, 2009
A generic fault model for quality assurance
A Pretschner, D Holling, R Eschbach, M Gemmar
Model-Driven Engineering Languages and Systems: 16th International …, 2013
On the formal semantics of SDL-2000: A compilation approach based on an abstract SDL machine
R Eschbach, U Glässer, R Gotzhein, A Prinz
International Workshop on Abstract State Machines, 242-265, 2000
Iterative refinement of specification for component based embedded systems
M Shahbaz, KC Shashidhar, R Eschbach
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest
T Bauer, H Stallbaum, A Metzger, R Eschbach
Gesellschaft für Informatik e. V., 2008
Automated fault tree generation and risk-based testing of networked automation systems
T Hussain, R Eschbach
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation …, 2010
Automated Statistical Testing for Embedded Systems.
JH Poore, L Lin, R Eschbach, T Bauer
Model-Based Testing for Embedded Systems, 2011
“Safety automata”—A new specification language for the development of PLC safety applications
G Frey, R Drath, B Schlich, R Eschbach
Proceedings of 2012 IEEE 17th International Conference on Emerging …, 2012
Combining combinatorial and model-based test approaches for highly configurable safety-critical systems
T Bauer, R Eschbach, M Größl, T Hussain, D Streitferdt, F Kantz
Model-based Testing in Practice, 9, 2009
SIMOTEST: A tool for automated testing of hybrid real-time Simulink models
F Böhr, R Eschbach
ETFA2011, 1-4, 2011
Using inspection results for prioritizing test activities
F Elberzhager, R Eschbach, J Münch
21st International Symposium on Software Reliability Engineering, 263-272, 2010
A systematic approach to construct compositional behaviour models for network-structured safety-critical systems
J Kloos, R Eschbach
Electronic Notes in Theoretical Computer Science 263, 145-160, 2010
A termination detection algorithm: Specification and verification
R Eschbach
International Symposium on Formal Methods, 1720-1737, 1999
On the formal semantics of design languages: a compilation approach using abstract state machines
R Eschbach, U Glässer, R Gotzhein, A Prinz
Proc. ASM, 2000
Specification inference using systematic reverse-engineering methodologies: An automotive industry application
M Shahbaz, KC Shashidhar, R Eschbach
IEEE software 29 (6), 62-69, 2011
A systematic testing approach for autonomous mobile robots using domain-specific languages
M Proetzsch, F Zimmermann, R Eschbach, J Kloos, K Berns
KI 2010: Advances in Artificial Intelligence: 33rd Annual German Conference …, 2010
The system can't perform the operation now. Try again later.
Articles 1–20