Thomas Rambow

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 6

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

GI-Jahrestagung

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
On the applicability of hybrid systems safety verification tools from the automotive perspective. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development. CoRR (2019)
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. FMICS (2019)
Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow
Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. FM (2018)
Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. FM (2018)
Norman Hansen, Norbert Wiechowski, Alexander Kugler, Stefan Kowalewski, Thomas Rambow, Rainer Busch
Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest. GI-Jahrestagung (2017)
Thomas Rambow, Uwe Kiencke
Max-Plus-Algebra, Teil 3 (Max-Plus Algebra, Part 3). Autom. 54 (1) (2006)
Thomas Rambow, Uwe Kiencke
Max-Plus-Algebra, Teil 4 (Max-Plus-Algebra, Part 4). Autom. 54 (2) (2006)
Jan Staschulat, Jörn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlör, Rainer Busch
Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice. ISoLA (2006)
Thomas Rambow, Uwe Kiencke
Max-Plus-Algebra, Teil 1 (Max-Plus Algebra, Part 1). Autom. 53 (10) (2005)
Thomas Rambow, Uwe Kiencke
Max-Plus-Algebra, Teil 2 (Max-Plus Algebra, Part 2). Autom. 53 (11) (2005)

Thomas Rambow.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Rambow