|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frank Elberzhager, Alla Rosbach, Jürgen Münch, Robert Eschbach |
Inspection and Test Process Integration Based on Explicit Test Prioritization Strategies.  |
SWQD  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
IJERTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Eschbach, Jesse H. Poore |
Guest Editorial: Special Section from 6th Workshop on Advances in Model-Based Testing (A-MOST 2010). |
Information & Software Technology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach |
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach |
Iterative refinement of specification for component based embedded systems. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kloos, Robert Eschbach |
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Winkler, Frank Elberzhager, Stefan Biffl, Robert Eschbach |
Software Process Improvement Initiatives Based on Quality Assurance Strategies: A QATAM Pilot Application. |
EuroSPI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Elberzhager, Robert Eschbach, Johannes Kloos |
Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems. |
Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Muzammil Shahbaz, Robert Eschbach |
Automatic Discovery of Unspecified Behaviors in Automotive Control Software. |
TAIC PART |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bauer, Robert Eschbach |
Enabling Statistical Testing for Component-based Systems. |
GI Jahrestagung |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tanvir Hussain, Robert Eschbach |
Automated fault tree generation and risk-based testing of networked automation systems. |
ETFA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Proetzsch, Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Karsten Berns |
A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kloos, Frank Elberzhager, Robert Eschbach |
Systematic Construction of Goal Indicator Trees for Indicator-Based Dependability Inspections. |
EUROMICRO-SEAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bauer, Heiko Stallbaum, Andreas Metzger, Robert Eschbach |
Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest. |
Software Engineering |
2008 |
DBLP BibTeX RDF |
|
| 1 | Haruka Nakao, Robert Eschbach |
Strategic Usage of Test Case Generation by Combining Two Test Case Generation Approaches. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
Model based testing, Formal model, Statistical Testing, System test, Software Requirement Specification, Taguchi-Method |
| 1 | Robert Eschbach |
Formal specification and verification: structures and techniques. |
|
2005 |
RDF |
|
| 1 | 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 |
2001 |
DBLP BibTeX RDF |
|
| 1 | Robert Eschbach |
A Verification Approach for Distributed Abstract State Machines. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Prinz, Robert Eschbach, Reinhard Gotzhein |
A Executable Formal Semantics for SDL-2000. |
SAM |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Eschbach |
A Termination Detection Algorithm: Specification and Verification. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")