Robert Eschbach
Orcid: 0000-0002-2789-1873
According to our database1,
Robert Eschbach
authored at least 35 papers
between 1999 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B.
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021
2019
Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
2013
Formal Methods Syst. Des., 2013
Proceedings of the Model-Driven Engineering Languages and Systems, 2013
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification.
Proceedings of the Fundamental Approaches to Software Engineering, 2013
2012
Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application.
IEEE Softw., 2012
Inf. Softw. Technol., 2012
Inspection and Test Process Integration Based on Explicit Test Prioritization Strategies.
Proceedings of the Software Quality. Process Automation in Software Development, 2012
"Safety automata" - A new specification language for the development of PLC safety applications.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
2011
Guest Editorial: Special Section from 6th Workshop on Advances in Model-Based Testing (A-MOST 2010).
Inf. Softw. Technol., 2011
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain.
Int. J. Embed. Real Time Commun. Syst., 2011
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011
Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011
Proceedings of the Model-Based Testing for Embedded Systems, 2011
2010
Proceedings of the Testing, 2010
Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems.
Proceedings of the Software Engineering 2010, 2010
A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages.
Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010
Software Process Improvement Initiatives Based on Quality Assurance Strategies: A QATAM Pilot Application.
Proceedings of the Systems, Software and Services Process Improvement, 2010
Systematic Construction of Goal Indicator Trees for Indicator-Based Dependability Inspections.
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010
Automated fault tree generation and risk-based testing of networked automation systems.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
2009
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems.
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009
Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
2008
Strategic Usage of Test Case Generation by Combining Two Test Case Generation Approaches.
Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, 2008
Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008
2005
2001
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models.
J. Univers. Comput. Sci., 2001
Proceedings of the Perspectives of System Informatics, 2001
2000
A Executable Formal Semantics for SDL-2000.
Proceedings of the SAM 2000, 2000
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.
Proceedings of the Abstract State Machines, 2000
1999
Proceedings of the FM'99 - Formal Methods, 1999