From Assumptions to Context-Specific Knowledge in the Area of Combined Static and Dynamic Quality Assurance. - Frank Elberzhager; Thomas Bauer 002 (EUROMICRO-SEAA, 2012)

Analysis and testing of matlab simulink models: a systematic mapping study. - Frank Elberzhager; Alla Rosbach; Thomas Bauer 002 (JAMAICA@ISSTA, 2013)

Optimizing Quality Assurance Strategies through an Integrated Quality Assurance Approach - Guiding Quality Assurance with Assumptions and Selection Rules. - Frank Elberzhager; Thomas Bauer 002 (EUROMICRO-SEAA, 2014)

Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns. - Wolfgang Herzner; Sven Sieverding; Omar Kacimi; Eckard Böde; Thomas Bauer 002; Brian Nielsen (ISSRE Workshops, 2014)

An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance. - Frank Elberzhager; Alla Rosbach; Thomas Bauer 002 (SWQD, 2014)

Virtual Validation of Cyber Physical Systems. - Patrik Feth; Thomas Bauer 002; Thomas Kuhn 001 (Software Engineering & Management, 2015)

Enabling Functional Integration Testing by Using Heterogeneous Models. - Thomas Bauer 002 (Fraunhofer Verlag, 2016)

Prototyping Automotive Smart Ecosystems. - Emilia Cioroaica; Thomas Kuhn 001; Thomas Bauer 002 (DSN Workshops, 2018)

Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes. - Pablo Oliveira Antonino; Matthias Jung 001; Andreas Morgenstern; Florian Faßnacht; Thomas Bauer 002; Adam Bachorek; Thomas Kuhn 001; Elisa Yumi Nakagawa (ECSA, 2018)

Towards architecting digital twin-pervaded systems. - Thomas Bauer 002; Pablo Oliveira Antonino; Thomas Kuhn 001 (SESoS/WDES, 2019)

FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs. - Jasmin Jahic; Thomas Bauer 002; Thomas Kuhn 001; Norbert Wehn; Pablo Oliveira Antonino (SAI (1), 2020)

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. - Jose Luis de la Vara; Thomas Bauer 002; Bernhard Fischer; Mustafa Karaca; Henrique Madeira; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença; Rupert Schlick; et al. (QUATIC, 2021)

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper. - Thomas Bauer 002; Joseba Andoni Agirre; David Fürcho; Wolfgang Herzner; Bob Hruska; Mustafa Karaca; David Pereira; José Proença; Rupert Schlick; Robert Sicher; Ales Smrcka; Ugur Yayan; et al. (SAMOS, 2021)

The VALU3S ECSEL project: Verification and validation of automated systems safety and security. - Joseba Andoni Agirre; Leire Etxeberria; Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Thomas Bauer 002; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença; et al. (Microprocess. Microsystems, 2021)

Modelling V&V Workflows to Improve Development Processes of Software-intensive Systems. - Thomas Bauer 002; Wolfgang Herzner; Bob Hruska; Katia Di Blasio; Zain Shahwar (DSN-W, 2023)

Virtual validation of the system architecture design of a production plant with regard to fault tolerance. - Thomas Bauer 002; Felix Schulte-Langforth; Zain Shahwar; Bernd Bredehorst (SESoS, 2023)