Refereed Journal Publications, Industrial Journal Publications
- Robert Eschbach, Lan Lin, Jesse H Poore, "Applying string-rewriting to sequence-based specification", Formal Methods in System Design: Volume 43, Issue 3 (2013), Page 414-449
- Frank Elberzhager, Alla Rosbach, Robert Eschbach, Jürgen Münch, "Reducing test effort: A systematic mapping study on existing approaches", Information and Software Technology (IST), 2012
- Bauer, Th.; Eschbach, R.; Görlich, D.; Kloos, J.: „Anforderung: Funktionale Korrektheit“. Zeitschrift: Elektronik 20/2011, Oktober 2011, S. 38-41.
- Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach, "A systematic Reverse Engineering Methodology for Deriving Specifications: A Prospect in Automotive Industry", IEEE Software, 2012
- Robert Eschbach, "Signal-Baukasten zum automatisierten Testen von Simulink-Modellen", Elektronik Praxis 003-2011
- Robert Eschbach, and Jesse H. Poore, "Guest Editorial: Special Section from 6th Workshop on Advances in Model-Based Testing", Information and Software Technology (IST), Volume 53, Issue 11,
Novenber 2011.
- Muzammil Shahbaz and Robert Eschbach, "New Experiences in Testing Component Based Automotive Systems", Testing Experience, March 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", Model-Based Testing for Embedded and Real-Time Communication Systems, International Journal of Embedded and Real-Time Communication Systems (IJERTCS) journal, 2011
- Robert Eschbach; Tanvir Hussain: "Modulare Signalbeschreibungen für automatisierte Tests in der modellbasierten Software-Entwicklung", ATZ elektronik 05, October 2010
- Tanvir Hussain, Robert Eschbach "Applications of Model-Based Statistical Testing for the Automotive and Factory Automation Domains", Testing Experience, No. 9, March 2010
- Robert Eschbach, Fabian Zimmermann, Henning Barthel (Partnerbeitrag InnoVisions, Zuarbeit Wengenroth, S.) "Blick ins 'Gehirn' des Computers - Neue Visualisierungstechniken helfen, in komplexen
Softwareroutinen Safety- und Securitylücken schneller zu 'sehen'". InnoVisions, 2010, eins, 58-59
- Robert Eschbach, Alla Rosbach "Sicherung der Softwarequalität in medizinischen Produkten", DeviceMed, www.devicemed.de, März 2010
- Peter Liggesmeyer, Robert Eschbach, Ralf Kalmar, Mario Trapp, Dirk Zeckzer, "Die Zukunft in der Softwareentwicklung", Jahrbuch Embedded Software Engineering, Elektronik Praxis, 2009
- Zimmermann, Fabian; Eschbach, Robert; Kloos, Johannes; Bauer, Thomas, "Risikobasiertes statistisches Testen" in Softwaretechnik-Trends, Band 29 Heft 4, 2009
- Robert Eschbach, Thomas Bauer, Justyna Zander-Nowicka, Axel Rennoch:"Modellbasierte Testentwicklung in der industriellen Anwendung", OBJECTspectrum, 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. UCS 7(11): 1024-1049
(2001)
Books, Book Chapter
- Detlef Streitferdt, Florian Kantz, Philipp Nenninger, Thomas Ruschival, Holger Kaul, Thomas Bauer, Tanvir Hussain, Robert Eschbach, "Model-Based Testing of Highly Configurable Embedded Systems",
Chapter 10 in Seppo Virtanen (Ed.), "Advancing Embedded Systems and Real-Time Communications with Emerging Technologies", a volume in the Advances in Systems Analysis, Software Engineering, and High
Performance Computing (ASASEHPC) Book Series, IGI-Global, pp. 234-261, 2014, DOI: 10.4018/978-1-4666-6034-2.ch010, ISBN 978-1-4666-6034-2.
- Thomas Bauer, Robert Eschbach, "Model-based Testing of Distributed System Functions", Advanced Automated Software Testing: Frameworks for Refined Practice, IGI Global (accepted for
publication)
- Jesse H. Poore, Lan Lin, Robert Eschbach, and Thomas Bauer, "Automated Statistical Testing of Embedded Systems", Chapter in "Model-Based Testing for Embedded Systems", Series on "Computational
Analysis, Synthesis, and Design of Dynamic Systems.", 2011, ISBN: 9781439818459, ISBN 10: 1439818452, Publication Date: July 15, 2011
- Peter Liggesmeyer, "Software-Qualität. Testen, Analysieren und Verifizieren von Software", Spektrum Akademischer Verlag, 2009, Beitrag zu Kapitel Modellbasiertes Testen
- Helmut Balzert, "Lehrbuch der Software-Technik: Basiskonzepte Und Requirements Engineering", Spektrum Akademischer Verlag, 2009, Beitrag zu Kapitel Dynamik (Markov Ketten, Generalisierte
Stochastische Petri-Netze) und zu Kapitel Logik (Aussagenlogik, Prädikatenlogik, Temporale Logik)
- Robert Eschbach, "Formal Specification and Verification: Structures and Techniques", Dissertation, University of Kaiserslautern, 2005
Refereed Conference and Workshop Publications
Software Quality
- Robert Eschbach, "Software-Qualität in der Landtechnik: Mehr Qualität durch effiziente Fehlerdokumentation und -analyse", 72. Internationale Tagung LAND.TECHNIK 2014, VDI, , Agrartechnik im
Dialog mit Politik und Gesellschaft, 19. und 20. November 2014, Berlin
- Robert Eschbach, "Komplexitätsbeherrschung in der sicherheitskritischen Software-Entwicklung durch agile Methoden im Umfeld der Bahntechnik", safe.tech Automobiltechnik, Bahntechnik und
Automatisierung auf neuen Wegen, TÜV SÜD Akademie GmbH, TÜV SÜD Automotive GmbH, TÜV SÜD Rail GmbH, Tagung am 24. – 25. April 2013, München
- Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar, "A Generic Fault Model for Quality Assurance", Model-Driven Engineering Languages and Systems, Lecture Notes in Computer
Science Volume 8107, 2013, pp 87-103
- Robert Eschbach, Lan Lin, Jesse H. Poore, Rob M. Hierons, Christopher Robinson-Mallett, "Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral
Specification", FASE 2013, part of ETAPS 2013: 16-24 March 2013, Rome, Italy
- Robert Eschbach, "Integrating agile development and model-based testing", Embedded World Conference, Nuernberg, Germany, 2013
- Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach,"Safety Automata” – A new Specification Language for the Development of PLC Safety Applications", ETFA 2012 - IEEE
International Conference on Emerging Technology & Factory Automation, Krakow, Poland, 17 - 21 September 2012
- Robert Eschbach, "Standard compliant quality assurance in agile software development projects for safety-critical agricultural systems", 70. International Tagung LAND.TECHNIK 2012. Mit Erfahrung
und Innovationskraft zu mehr Effizienz, VDI Agrartechnik, 06-07 November, Karlsruhe, Deutschland
- Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach, "Development of PLC Safety Applications with “Safety Automata“", Automation 2012
- Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Marco Schumann, Robert Eschbach, Towards Making Dependability Visual – Combining Model-Based Design and Virtual
Realities, Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Pasadena, USA, December 12th 2011
- Frank Elberzhager, Alla Rosbach, Jürgen Münch, Robert Eschbach, "Inspection and Test Process Integration based on Explicit Test Prioritization Strategies", Software Quality Days 2012, Jan 2012,
Vienna, Austria
- F. Elberzhager, R. Eschbach, J. Muench, “The relevance of assumptions and context factors for the integration of inspections and testing,” 37th Euromicro Software Engineering and Advanced
Application, Software Product and Process Improvement, 2011.
- Robert Eschbach, Tanvir Hussain, "Innovative Quality Assurance and Analysis Techniques for Safety-Critical Embedded Systems", Embedded World Conference, Nuernberg, Germany, 2011
- F. Elberzhager, R. Eschbach, “Towards reduction of test effort: predicting defect-prone code classes and expected defect types based on inspection results,” 36th Euromicro Software
Engineering and Advanced Application, Proceedings of the Work in Progress Session, 2010.
- F. Elberzhager, R. Eschbach, J. Muench, “Using inspection results for prioritizing test activities,” 21st International Symposium on Software Reliability Engineering, (ISSRE 2010), Supplemental
Proceedings, pp. 263-272, 2010,
- Dietmar Winkler, Frank Elberzhager, Stefan Biffl, Robert Eschbach, "Improvement Initiatives with Quality Assurance Strategies: A Pilot QATAM Application", EuroSPI 2010
- F. Elberzhager, R. Eschbach, Ch. Jung, A. Klaus, "DEFECT – Tool-Supported Inspection Guidance", Work in Progress Session of the SEAA Euromicro Conference 2010
- Robert Eschbach, "Risikobasierte Software-Qualitätssicherung in der Medizintechnik", Würzburger Medizintechnik Kongress - WÜMEK 3. - 5. Mai 2010
- Frank Elberzhager, Robert Eschbach, Johannes Kloos, "Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems", Software Engineering 2010
Model-Based Testing
- Frank Böhr, Robert Eschbach, "SIMOTEST: A Tool for Automated Testing of Hybrid Real-Time Simulink Models", 16th IEEE International Conference on Emerging
Technologies and Factory Automation, ETFA'2011, Toulouse, France
- M. Shahbaz, K.C. Shashidhar, R. Eschbach, "Iterative Refinement of Specification for Component Based Embedded System", 2011 International Symposium on Software Testing and Analysis, ISSTA 2011,
Toronto, Canada
- Johannes Kloos, Tanvir Hussain, Robert Eschbach, "Risk-based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis", 7th Workshop on Advances in Model Based Testing A-MOST
2011, co-located with the 4th International Conference on Software Testing, Verification and Validation, ICST 2011, March 21, 2011 – Berlin, Germany
- Thomas Bauer, Robert Eschbach, "Constructing Models to Enable Automated Testing of Distributed Functions in Component-Based Systems", The Tenth IASTED International Conference on Software
Engineering, SE 2011, February 15 – 17, 2011, Innsbruck, Austria
- Thomas Bauer, Robert Eschbach, "Testing functional requirements and interactions in distributed systems by re-using component models", ICSSEA 2010, Dec. 7 - 9, Paris
- Thomas Bauer, Robert Eschbach "Enabling statistical testing for component-based systems", MOTES 2010, Leipzig
- Martin Proetzsch, Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Karsten Berns: "A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages". KI 2010:
317-324
- Robert Eschbach, Jesse Poore, Thomas Bauer, Johannes Kloos, "Risk-based Testing of Automotive Systems by Applying Model-based Approaches", 1. Kaiserslauterer Commercial Vehicle Technology
Symposium, 2010
- Robert Eschbach, "Risk-based Statistical Testing: A novel approach for the reliability analysis of safety-critical embedded systems", Embedded World, March 2010
- Zimmermann, Fabian; Eschbach, Robert; Kloos, Johannes; Bauer, Thomas:
- "Risikobasiertes statistisches Testen". In: Softwaretechnik-Trends 29 (2009), 4, 10-11 : Ill., Lit.
- Tanvir Hussain, Robert Eschbach, "Statistical Testing of IEC 61499 Compliant Software Components", IFAC Symposium on Information Control Problems in Manufacturing, 2009
- Johannes Kloos, Robert Eschbach, "Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study" A-MOST 2009
- Thomas Bauer, Robert Eschbach, Martin Größl, Tanvir Hussain, Detlef Streitferdt, Florian Kantz, "Combining combinatorial and model-based test approaches for highly configurable safety-critical
systems", 2nd Workshop on Model-based Testing in Practice, Germany, 2009
- Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Thomas Bauer, "Risk-based Statistical Testing: A Refinement-based Approach to the Reliability Analysis of Safety-Critical Systems", 12th
European Workshop on Dependable Computing, EWDC 2009, Toulouse, France, 2009
- Robert Eschbach, "Requirements-based and Model-based Testing", ADCSS, October 30, 2008, ESA/ESTEC
- Bauer, Thomas; Stallbaum, Heiko; Metzger, Andreas; Eschbach, Robert:
- "Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest". In: Herrmann, Korbinian (Hrsg.) u.a.; Gesellschaft für Informatik (GI): Software Engineering 2008 -
Proceedings : Fachtagung des GI-Fachbereichs Softwaretechnik. Bonn : GI - Gesellschaft für Informatik, 2008, 99-111 : Ill., Lit. (GI-Edition - Lecture Notes in Informatics (LNI) - Proceedings Volume
P-121).
- Haruka Nakao, Robert Eschbach, "Strategic usage of test case generation by combining two test case generation approaches", The Second International Conference on Secure System Integration and
Reliability Improvement, 2008
- Bauer, Thomas; Böhr, Frank; Landmann, Dennis; Beletski, Taras; Eschbach, Robert; Poore, Jesse H.: "From Requirements to Statistical Testing of Embedded Systems", In: Fourth International Workshop
on Software Engineering for Automotive Systems, SEAS 2007 - Proceedings. Los Alamitos : IEEE Computer Society, 2007, 7 S. : Ill., Lit.
Dependability
- T. Hussain and R. Eschbach, "Automated Fault Tree Generation and Risk-Based Testing of Networked Automation Systems", Special Session - Safety Critical Embedded Systems, 15th IEEE International
Conference on Emerging Technology and Factory Automation (ETFA), Bilbao, Spain, 13th - 16th September, 2010.
- Frank Elberzhager, Robert Eschbach, Johannes Kloos, "Systematic Construction of Goal Indicator Trees for Indicator-based Dependability Inspections", 36th EuroMicro Software Engineering and
Advanced Applications (Software Process and Product Improvement Track), 2010
- Christian Jung, Frank Elberzhager, Robert Eschbach, "Tool-Supported Inspections: Using Security Models as Reading Support for Defect Detection", 6th European Conference on Modelling Foundations
and Applications (Second International Workshop on Security in Model Driven Architecture), 2010
Model Inference
- Shahbaz, Muzammil; Eschbach, Robert, "Reverse Engineering ECUs of Automotive Components - A Case Study". In: Groz, Roland (Ed.) u.a.; Association for Computing Machinery (ACM): MIIT 2010.
Proceedings of the First International Workshop on Model Inference In Testing. New York : ACM Press, 2010, 21-22 : Ill., Lit.
- Shahbaz, Muzammil; Eschbach, Robert, "Automatic Discovery of Unspecified Behaviors in Automotive Control Software". In: Bottaci, Leonardo (Ed.) u.a.: Testing - Practice and Research Techniques.
5th International Academic and Industrial Conference, TAIC PART 2010 - Proceedings. Berlin : Springer-Verlag, 2010, 181-188 : Ill., Lit. (Lecture Notes in Computer Science 6303).
Formal Methods
- Kloos, Johannes; Eschbach, Robert, "A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems". In: Electronic Notes in Theoretical
Computer Science 263 (2010), 145-160 : Ill., Lit.
- Johannes Kloos, Robert Eschbach, "A systematic approach to construct compositional behaviour models for network-structured safety-critical systems", Formal Aspects of Component Software
2009.
- Robert Eschbach: "A Verification Approach for Distributed Abstract State Machines". Ershov Memorial Conference 2001: 109-115
- Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, and Andreas Prinz, "The Formal Semantics of SDL-2000: Compiling and Running SDL Specifications on ASM Models", Eurocast 2001,
Workshop on ASM, Las Palmas de Gran Canaria, Canary Islands, Spain, 19-23 Feb. 2001
- Robert Eschbach, "Derivation of a Termination Detection Algorithm using Abstract State Machines", Eurocast 2001, Workshop on ASM, Las Palmas de Gran Canaria, Canary Islands, Spain, 19-23 Feb.
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:
242-265
- Andreas Prinz, Robert Eschbach, Reinhard Gotzhein: "A Executable Formal Semantics for SDL-2000". SAM 2000: 249-261
- Robert Eschbach: "A Termination Detection Algorithm: Specification and Verification". World Congress on Formal Methods 1999: 1720-1737
Reports
- Robert Eschbach, "ViERforES - Better Systems Through Virtual Reality", Annual Report 2009, Fraunhofer IESE
- Robert Eschbach, "Innovative Testing Procedures for High Demands on Quality: Most probably defect-free – quality check with statistics", Annual Report 2007, Fraunhofer IESE
- Robert Eschbach, "ART: Modularization of Inductive Proofs in Equational Specifications", SEKI Report Working Papers, Number 3, 1999
- Robert Eschbach, Thomas Deiß, Martin Kronenburg, "A Framework for the Analysis of Formal Descripition Techniques for Timed Systems", SFB 501, Report, 1998
- Martin Kronenburg, Thomas Deiß, Robert Eschbach, "Temporal Logics as Examples of Formal Description Techniques for Timed Systems", SFB 501, Report, 1998
- Robert Eschbach, Inger Sonntag, "PLATIN: A Planning System for Inductive Theorem Proving: Implementation and Experiences", SEKI Report Working Papers, Number 74, 1997