Thomas Strump

According to our database, Thomas Strump authored at least 2 papers between 2014 and 2015.

Collaborative distances:

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

2015

Eliminating spurious transitions in reachability with support functions.

Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2014

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.

Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump

Proceedings of the Hardware and Software: Verification and Testing, 2014