Thomas Rambow
According to our database1,
Thomas Rambow
authored at least 12 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
1
2
2
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
On the applicability of hybrid systems safety verification tools from the automotive perspective.
Int. J. Softw. Tools Technol. Transf., February, 2024
2019
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.
CoRR, 2019
Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development.
Proceedings of the Formal Methods for Industrial Critical Systems, 2019
2018
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations.
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain.
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.
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017
2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
2005