default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert Eschbach
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[c26]Robert Eschbach
:
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B. ABZ 2021: 137-142
2010 – 2019
- 2019
- [c25]Robert Eschbach:
Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis. FM 2019: 738-745 - 2013
- [j7]Robert Eschbach, Lan Lin, Jesse H. Poore:
Applying string-rewriting to sequence-based specification. Formal Methods Syst. Des. 43(3): 414-449 (2013) - [c24]Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett:
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. FASE 2013: 179-193 - [c23]Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar:
A Generic Fault Model for Quality Assurance. MoDELS 2013: 87-103 - [i2]Frank Elberzhager, Alla Rosbach, Jürgen Münch, Robert Eschbach:
Inspection and Test Process Integration Based on Explicit Test Prioritization Strategies. CoRR abs/1311.6264 (2013) - [i1]Frank Elberzhager, Robert Eschbach, Jürgen Münch:
The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing. CoRR abs/1312.0768 (2013) - 2012
- [j6]Frank Elberzhager, Alla Rosbach, Jürgen Münch, Robert Eschbach:
Reducing test effort: A systematic mapping study on existing approaches. Inf. Softw. Technol. 54(10): 1092-1106 (2012) - [j5]Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach:
Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application. IEEE Softw. 29(6): 62-69 (2012) - [c22]Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach:
"Safety automata" - A new specification language for the development of PLC safety applications. ETFA 2012: 1-8 - [c21]Frank Elberzhager, Alla Rosbach, Jürgen Münch, Robert Eschbach:
Inspection and Test Process Integration Based on Explicit Test Prioritization Strategies. SWQD 2012: 181-192 - 2011
- [j4]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. Int. J. Embed. Real Time Commun. Syst. 2(2): 22-41 (2011) - [j3]Robert Eschbach, Jesse H. Poore:
Guest Editorial: Special Section from 6th Workshop on Advances in Model-Based Testing (A-MOST 2010). Inf. Softw. Technol. 53(11): 1250-1251 (2011) - [c20]Frank Böhr, Robert Eschbach:
SIMOTEST: A tool for automated testing of hybrid real-time Simulink models. ETFA 2011: 1-4 - [c19]Frank Elberzhager, Robert Eschbach, Jürgen Münch:
The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing. EUROMICRO-SEAA 2011: 388-391 - [c18]Johannes Kloos, Tanvir Hussain, Robert Eschbach:
Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis. ICST Workshops 2011: 26-33 - [c17]Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach:
Iterative refinement of specification for component based embedded systems. ISSTA 2011: 276-286 - [c16]Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach:
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. PRDC 2011: 274-275 - [p1]Jesse H. Poore, Lan Lin, Robert Eschbach, Thomas Bauer:
Automated Statistical Testing for Embedded Systems. Model-Based Testing for Embedded Systems 2011 - 2010
- [c15]Tanvir Hussain, Robert Eschbach:
Automated fault tree generation and risk-based testing of networked automation systems. ETFA 2010: 1-8 - [c14]Johannes Kloos, Frank Elberzhager, Robert Eschbach:
Systematic Construction of Goal Indicator Trees for Indicator-Based Dependability Inspections. EUROMICRO-SEAA 2010: 279-282 - [c13]Dietmar Winkler, Frank Elberzhager, Stefan Biffl, Robert Eschbach:
Software Process Improvement Initiatives Based on Quality Assurance Strategies: A QATAM Pilot Application. EuroSPI 2010: 71-82 - [c12]Thomas Bauer, Robert Eschbach:
Enabling Statistical Testing for Component-based Systems. GI Jahrestagung (2) 2010: 357-362 - [c11]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 - [c10]Frank Elberzhager, Robert Eschbach, Johannes Kloos:
Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems. Software Engineering 2010: 105-116 - [c9]Muzammil Shahbaz, Robert Eschbach:
Automatic Discovery of Unspecified Behaviors in Automotive Control Software. TAIC PART 2010: 181-188
2000 – 2009
- 2009
- [j2]Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Thomas Bauer:
Risikobasiertes statistisches Testen. Softwaretechnik-Trends 29(4) (2009) - [c8]Johannes Kloos, Robert Eschbach:
Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study. ICST Workshops 2009: 39-47 - [c7]Johannes Kloos, Robert Eschbach:
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. FACS@FMWeek 2009: 145-160 - 2008
- [c6]Thomas Bauer, Heiko Stallbaum, Andreas Metzger, Robert Eschbach:
Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest. Software Engineering 2008: 99-111 - [c5]Haruka Nakao, Robert Eschbach:
Strategic Usage of Test Case Generation by Combining Two Test Case Generation Approaches. SSIRI 2008: 213-214 - 2005
- [b1]Robert Eschbach:
Formal specification and verification: structures and techniques. University of Kaiserslautern, 2005, ISBN 3-936890-90-0, pp. 1-182 - 2001
- [j1]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. Univers. Comput. Sci. 7(11): 1024-1049 (2001) - [c4]Robert Eschbach:
A Verification Approach for Distributed Abstract State Machines. Ershov Memorial Conference 2001: 109-115 - 2000
- [c3]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 - [c2]Andreas Prinz, Robert Eschbach, Reinhard Gotzhein:
A Executable Formal Semantics for SDL-2000. SAM 2000: 249-261
1990 – 1999
- 1999
- [c1]Robert Eschbach:
A Termination Detection Algorithm: Specification and Verification. World Congress on Formal Methods 1999: 1720-1737
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
