Thomas Bauer

17 papers B 1Misc 1Journal 1Unranked 12
YearRankTypeTitle / Venue / Authors
2023 — conf
Modelling V&V Workflows to Improve Development Processes of Software-intensive Systems.
DSN-W
Thomas Bauer, Wolfgang Herzner, Bob Hruska, Katia Di Blasio, Zain Shahwar
2023 — conf
Virtual validation of the system architecture design of a production plant with regard to fault tolerance.
SESoS
Thomas Bauer, Felix Schulte-Langforth, Zain Shahwar, Bernd Bredehorst
2021 Misc conf
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.
QUATIC
Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi, Fabio Patrone, David Pereira, José Proença, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie
2021 — conf
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper.
SAMOS
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
2021 J jnl
The VALU3S ECSEL project: Verification and validation of automated systems safety and security.
Microprocess. Microsystems
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
2020 — conf
FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs.
SAI (1)
Jasmin Jahic, Thomas Bauer, Thomas Kuhn, Norbert Wehn, Pablo Oliveira Antonino
2019 — conf
Towards architecting digital twin-pervaded systems.
SESoS/WDES
Thomas Bauer, Pablo Oliveira Antonino, Thomas Kuhn
2018 B conf
Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes.
ECSA
Pablo Oliveira Antonino, Matthias Jung, Andreas Morgenstern, Florian Faßnacht, Thomas Bauer, Adam Bachorek, Thomas Kuhn, Elisa Yumi Nakagawa
2018 — conf
Prototyping Automotive Smart Ecosystems.
DSN Workshops
Emilia Cioroaica, Thomas Kuhn, Thomas Bauer
2016 — —
Enabling Functional Integration Testing by Using Heterogeneous Models.
Thomas Bauer
2015 — conf
Virtual Validation of Cyber Physical Systems.
Software Engineering & Management
Patrik Feth, Thomas Bauer, Thomas Kuhn
2014 — conf
An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance.
SWQD
Frank Elberzhager, Alla Rosbach, Thomas Bauer
2014 — conf
Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns.
ISSRE Workshops
Wolfgang Herzner, Sven Sieverding, Omar Kacimi, Eckard Böde, Thomas Bauer, Brian Nielsen
2014 — conf
Optimizing Quality Assurance Strategies through an Integrated Quality Assurance Approach - Guiding Quality Assurance with Assumptions and Selection Rules.
EUROMICRO-SEAA
Frank Elberzhager, Thomas Bauer
2014 — ed.
Risk Assessment and Risk-Driven Testing - First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers
RISK@ICTSS
Thomas Bauer, Jürgen Großmann, Fredrik Seehusen, Ketil Stølen, Marc-Florian Wendland
2013 — conf
Analysis and testing of matlab simulink models: a systematic mapping study.
JAMAICA@ISSTA
Frank Elberzhager, Alla Rosbach, Thomas Bauer
2012 — conf
From Assumptions to Context-Specific Knowledge in the Area of Combined Static and Dynamic Quality Assurance.
EUROMICRO-SEAA
Frank Elberzhager, Thomas Bauer