( en | de | ru )

 

Disambiguation of "Rausch, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods.

, , , and . ICSA Companion, page 139-148. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Rausch

Andreas Rausch

Andreas Rausch

Andreas Rausch

Andreas Rausch

 

Other publications of authors with the same name

Assuring the Safety of End-to-End Learning-Based Autonomous Driving through Runtime Monitoring., , , and . DSD, page 476-483. IEEE, (2020)Connected Dependability Cage Approach for Safe Automated Driving., , , , , , and . CoRR, (2023)Casting an Abstract Design into the Framework of Java RMI, , and . SE:E&P 98, Proceedings of the International Conference on Software Engineering: Education & Practice, page 278 - 286. IEEE Computer Society, (January 1998)Towards a development approach for dynamic-integrative systems, , and . Proceedings of the Workshop for Building Software for Pervasive Computing, 19th Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), (November 2004)A Formal Model for Componentware, , , , and . Cambridge University Press, (January 2000)Goal - Eine Testinfrastuktur für unternehmensweite Anwendungen, , and . OBJEKTspektrum, (July 2000)An Integrated View On Componentware - Concepts, Description Techniques, and Development Process, , , and . IASTED 98, Proceedings of IASTED Conference on Software Engineering, page 77 - 82. ACTA Press, (1998)Towards a Software Architecture Specification Language based on UML and OCL. Proceedings of the Workshop on Describing Software Architecture with UML, 23rd International Conference on Software Engineering, (2001)A Componentware Development Methodology based on Process Patterns, , , and . PLOP 98, Proceedings of the 5th Annual Conference on the Pattern Languages of Programs, (August 1998)SEPIOR - Practical Experiences with Reusable CAM Components, , , , , , , and . EuroSPI 99, (October 1999)