| 2019 | QRS | Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. | Tobias F. Pfeffer, Thomas Gthel, Sabine Glesner |
| 2018 | ECRTS | Instruction Caches in Static WCET Analysis of Artificially Diversified Software. | Joachim Fellmuth, Thomas Gthel, Sabine Glesner |
| 2018 | ICFEM | Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. | Nils Berg, Thomas Gthel, Armin Danziger, Sabine Glesner |
| 2018 | QRS | Equivalence Checking for Hybrid Control Systems Modelled in Simulink. | Sebastian Schlesinger, Paula Herber, Thomas Gthel, Sabine Glesner |
| 2018 | WETICE | Information Flow Analysis of Combined Simulink/Stateflow Models. | Marcus Mikulcak, Paula Herber, Thomas Gthel, Sabine Glesner |
| 2017 | COMPSAC | Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. | Timm Liebrenz, Paula Herber, Thomas Gthel, Sabine Glesner |
| 2017 | ICFEM | Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems. | Thomas Gthel, Nils Jhnig, Simon Seif |
| 2016 | GI | Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. | Marcus Mikulcak, Thomas Gthel, Paula Herber, Sabine Glesner |
| 2016 | SEFM | Refinement-Based Verification of Communicating Unstructured Code. | Nils Jhnig, Thomas Gthel, Sabine Glesner |
| 2013 | ICSE | Automatic validation of infinite real-time systems. | Thomas Gthel, Sabine Glesner |
| 2010 | SEFM | Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. | Thomas Gthel, Sabine Glesner |
| 2010 | TASE | Specification, Verification and Implementation of Business Processes Using CSP. | Moritz Kleine, Thomas Gthel |
| 2009 | TASE | Verifying the Implementation of an Operating System Scheduler. | Moritz Kleine, Bjrn Bartels, Thomas Gthel, Sabine Glesner |