Machine-Checkable Timed CSP. - Thomas Göthel; Sabine Glesner (NASA Formal Methods, 2009)

Verifying the Implementation of an Operating System Scheduler. - Moritz Kleine; Björn Bartels; Thomas Göthel; Sabine Glesner (TASE, 2009)

The VATES-Diamond as a Verifier's Best Friend. - Sabine Glesner; Björn Bartels; Thomas Göthel; Moritz Kleine (Verification, Induction, Termination Analysis, 2010)

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. - Thomas Göthel; Sabine Glesner (SEFM, 2010)

Specification, Verification and Implementation of Business Processes Using CSP. - Moritz Kleine; Thomas Göthel (TASE, 2010)

Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. - Björn Bartels; Sabine Glesner; Thomas Göthel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

An approach for machine-assisted verification of Timed CSP specifications. - Thomas Göthel; Sabine Glesner (Innov. Syst. Softw. Eng., 2010)

LLVM2CSP: Extracting CSP Models from Concurrent Programs. - Moritz Kleine; Björn Bartels; Thomas Göthel; Steffen Helke; Dirk Prenzel (NASA Formal Methods, 2011)

Maschinelle Verifikation von parametrisierten Echtzeitsystemen. - Thomas Göthel (Ausgezeichnete Informatikdissertationen, 2012)

Mechanical Verification of Parameterized Real-Time Systems. - Thomas Göthel (2012)

Automatic validation of infinite real-time systems. - Thomas Göthel; Sabine Glesner (FormaliSE@ICSE, 2013)

Modular Design and Verification of Distributed Adaptive Real-Time Systems. - Thomas Göthel; Björn Bartels (ICTCC, 2014)

Adaptive Knowledge Bases in Self-Adaptive System Design. - Verena Klös; Thomas Göthel; Sabine Glesner (EUROMICRO-SEAA, 2015)

Timed Path Conditions in MATLAB/Simulink. - Marcus Mikulcak; Paula Herber; Thomas Göthel; Sabine Glesner (IESS, 2015)

A Denotational Semantics for Communicating Unstructured Code. - Nils Jähnig; Thomas Göthel; Sabine Glesner (FESCA, 2015)

Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions. - Thomas Göthel; Verena Klös; Björn Bartels (EAI Endorsed Trans. Self Adapt. Syst., 2015)

Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. - Sebastian Schlesinger; Paula Herber; Thomas Göthel; Sabine Glesner (CyPhy, 2016)

Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. - Marcus Mikulcak; Thomas Göthel; Paula Herber; Sabine Glesner (GI-Jahrestagung, 2016)

Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems. - Verena Klös; Thomas Göthel; Sabine Glesner (FAS*W@SASO/ICCAC, 2016)

Refinement-Based Verification of Communicating Unstructured Code. - Nils Jähnig; Thomas Göthel; Sabine Glesner (SEFM, 2016)

Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. - Timm Liebrenz; Paula Herber; Thomas Göthel; Sabine Glesner (COMPSAC (2), 2017)

Runtime Management and Quantitative Evaluation of Changing System Goals. - Verena Klös; Thomas Göthel; Adrian Lohr; Sabine Glesner (SEAA, 2017)

Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems. - Thomas Göthel; Nils Jähnig; Simon Seif (ICFEM, 2017)

Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. - Verena Klös; Thomas Göthel; Sabine Glesner (FAS*W@SASO/ICCAC, 2017)

Instruction Caches in Static WCET Analysis of Artificially Diversified Software. - Joachim Fellmuth; Thomas Göthel; Sabine Glesner (ECRTS, 2018)

Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning. - Verena Klös; Thomas Göthel; Sabine Glesner (SEAA, 2018)

Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. - Nils Berg; Thomas Göthel; Armin Danziger; Sabine Glesner (ICFEM, 2018)

Equivalence Checking for Hybrid Control Systems Modelled in Simulink. - Sebastian Schlesinger; Paula Herber; Thomas Göthel; Sabine Glesner (QRS Companion, 2018)

Comprehensible Decisions in Complex Self-Adaptive Systems. - Verena Klös; Thomas Göthel; Sabine Glesner (Software Engineering, 2018)

Comprehensible and dependable self-learning self-adaptive systems. - Verena Klös; Thomas Göthel; Sabine Glesner (J. Syst. Archit., 2018)

Runtime management and quantitative evaluation of changing system goals in complex autonomous systems. - Verena Klös; Thomas Göthel; Sabine Glesner (J. Syst. Softw., 2018)

Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution. - Tobias F. Pfeffer; Thomas Göthel; Sabine Glesner (CODASPY, 2019)

Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. - Tobias F. Pfeffer; Thomas Göthel; Sabine Glesner (QRS, 2019)

Information Flow Analysis of Combined Simulink/Stateflow Models. - Marcus Mikulcak; Paula Herber; Thomas Göthel; Sabine Glesner (Inf. Technol. Control., 2019)