Robert Eschbach

37 papers A 2B 3C 7Misc 1Journal 9Unranked 13

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