David Seekatz

According to our database, David Seekatz authored at least 2 papers between 2018 and 2023.

Collaborative distances:

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

2023

Lifting On-Demand Analysis to Higher-Order Languages.

Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang

Proceedings of the Static Analysis - 30th International Symposium, 2023

2018

MDebugger: a model-level debugger for UML-RT.

Mojtaba Bagherzadeh, Nicolas Hili, David Seekatz, Juergen Dingel

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018