Thomas Bauer

According to our database, Thomas Bauer authored at least 15 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Virtual validation of the system architecture design of a production plant with regard to fault tolerance.

Thomas Bauer, Felix Schulte-Langforth, Zain Shahwar, Bernd Bredehorst

SESoS, 2023

Modelling V&V Workflows to Improve Development Processes of Software-intensive Systems.

Thomas Bauer, Wolfgang Herzner, Bob Hruska, Katia Di Blasio, Zain Shahwar

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

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, Enrico Ferrari, Mikel Labayen Esnaola, Vanessa Orani, Johnny Öberg, David Pereira, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie

Microprocess. Microsystems, November, 2021

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper.

Thomas Bauer, 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, Behrooz Sangchoolie

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

2020

FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs.

Jasmin Jahic, Thomas Bauer, Thomas Kuhn, Norbert Wehn, Pablo Oliveira Antonino

Proceedings of the Intelligent Computing, 2020

2019

Towards architecting digital twin-pervaded systems.

Thomas Bauer, Pablo Oliveira Antonino, Thomas Kuhn

Proceedings of the 7th International Workshop on Software Engineering for Systems-of-Systems and 13th Workshop on Distributed Software Development, 2019

2018

Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes.

Pablo Oliveira Antonino, Matthias Jung, Andreas Morgenstern, Florian Faßnacht, Thomas Bauer, Adam Bachorek, Thomas Kuhn, Elisa Yumi Nakagawa

Proceedings of the Software Architecture, 2018

Prototyping Automotive Smart Ecosystems.

Emilia Cioroaica, Thomas Kuhn, Thomas Bauer

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

2016

Enabling Functional Integration Testing by Using Heterogeneous Models.

Thomas Bauer

PhD thesis, 2016

2015

Virtual Validation of Cyber Physical Systems.

Patrik Feth, Thomas Bauer, Thomas Kuhn

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance.

Frank Elberzhager, Alla Rosbach, Thomas Bauer

Proceedings of the Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering, 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, Brian Nielsen

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Optimizing Quality Assurance Strategies through an Integrated Quality Assurance Approach - Guiding Quality Assurance with Assumptions and Selection Rules.

Frank Elberzhager, Thomas Bauer

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

2013

Analysis and testing of matlab simulink models: a systematic mapping study.

Frank Elberzhager, Alla Rosbach, Thomas Bauer

Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, 2013

2012

From Assumptions to Context-Specific Knowledge in the Area of Combined Static and Dynamic Quality Assurance.

Frank Elberzhager, Thomas Bauer

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012