Dr. Robert Eschbach
Dr. Robert Eschbach
ITK Engineering GmbH
E-mail megerősítve itt: robert-eschbach.de - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
722012
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
632007
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
572011
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
Journal of Universal Computer Science 7 (11), 1024-1049, 2001
532001
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
402009
A generic fault model for quality assurance
A Pretschner, D Holling, R Eschbach, M Gemmar
International Conference on Model Driven Engineering Languages and Systems …, 2013
352013
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
342000
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
212011
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
162010
Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest
T Bauer, H Stallbaum, A Metzger, R Eschbach
Software Engineering 2008, 2008
162008
Automated Statistical Testing for Embedded Systems.
JH Poore, L Lin, R Eschbach, T Bauer
Model-Based Testing for Embedded Systems, 2011
152011
Using inspection results for prioritizing test activities
F Elberzhager, R Eschbach, J Münch
21st International Symposium on Software Reliability Engineering, 263-272, 2010
112010
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
102010
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
102009
A termination detection algorithm: Specification and verification
R Eschbach
International Symposium on Formal Methods, 1720-1737, 1999
101999
SIMOTEST: A tool for automated testing of hybrid real-time Simulink models
F Böhr, R Eschbach
ETFA2011, 1-4, 2011
92011
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
92000
Generating system models for a highly configurable train control system using a domain-specific language: A case study
J Kloos, R Eschbach
2009 International Conference on Software Testing, Verification, and …, 2009
82009
“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
62012
The relevance of assumptions and context factors for the integration of inspections and testing
F Elberzhager, R Eschbach, J Munch
2011 37th EUROMICRO Conference on Software Engineering and Advanced …, 2011
62011
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20