Refereed Conference and Workshop Publications

Quality Assurance

  • 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