Thomas Rambow

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