Thomas Rambow

According to our database, Thomas Rambow authored at least 12 papers between 2005 and 2024.

Collaborative distances:

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

2024

On the applicability of hybrid systems safety verification tools from the automotive perspective.

Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu

Int. J. Softw. Tools Technol. Transf., February, 2024

2019

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.

Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow

CoRR, 2019

Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development.

Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

2018

Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations.

Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain.

Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest.

Norman Hansen, Norbert Wiechowski, Alexander Kugler, Stefan Kowalewski, Thomas Rambow, Rainer Busch

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2006

Design and optimization of distributed real time systems.

Thomas Rambow

PhD thesis, 2006

Max-Plus-Algebra, Teil 4 (Max-Plus-Algebra, Part 4).

Thomas Rambow, Uwe Kiencke

Autom., 2006

Max-Plus-Algebra, Teil 3 (Max-Plus Algebra, Part 3).

Thomas Rambow, Uwe Kiencke

Autom., 2006

Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice.

Jan Staschulat, Jörn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlör, Rainer Busch

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Max-Plus-Algebra, Teil 2 (Max-Plus Algebra, Part 2).

Thomas Rambow, Uwe Kiencke

Autom., 2005

Max-Plus-Algebra, Teil 1 (Max-Plus Algebra, Part 1).

Thomas Rambow, Uwe Kiencke

Autom., 2005