Thomas Göthel

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 19

Top Venues

FAS*W@SASO/ICCAC

SEAA

ICFEM

Inf. Technol. Control.

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner
Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. QRS (2019)
Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner
Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution. CODASPY (2019)
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
Information Flow Analysis of Combined Simulink/Stateflow Models. Inf. Technol. Control. 48 (2) (2019)
Verena Klös, Thomas Göthel, Sabine Glesner
Comprehensible and dependable self-learning self-adaptive systems. J. Syst. Archit. (2018)
Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
Equivalence Checking for Hybrid Control Systems Modelled in Simulink. QRS Companion (2018)
Joachim Fellmuth, Thomas Göthel, Sabine Glesner
Instruction Caches in Static WCET Analysis of Artificially Diversified Software. ECRTS (2018)
Verena Klös, Thomas Göthel, Sabine Glesner
Comprehensible Decisions in Complex Self-Adaptive Systems. Software Engineering (2018)
Verena Klös, Thomas Göthel, Sabine Glesner
Runtime management and quantitative evaluation of changing system goals in complex autonomous systems. J. Syst. Softw. 144 (2018)
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
Information Flow Analysis of Combined Simulink/Stateflow Models. WETICE (2018)
Nils Berg, Thomas Göthel, Armin Danziger, Sabine Glesner
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. ICFEM (2018)
Verena Klös, Thomas Göthel, Sabine Glesner
Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning. SEAA (2018)
Verena Klös, Thomas Göthel, Sabine Glesner
Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. FAS*W@SASO/ICCAC (2017)
Verena Klös, Thomas Göthel, Adrian Lohr, Sabine Glesner
Runtime Management and Quantitative Evaluation of Changing System Goals. SEAA (2017)
Thomas Göthel, Nils Jähnig, Simon Seif
Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems. ICFEM (2017)
Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner
Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. COMPSAC (2) (2017)
Nils Jähnig, Thomas Göthel, Sabine Glesner
Refinement-Based Verification of Communicating Unstructured Code. SEFM (2016)
Verena Klös, Thomas Göthel, Sabine Glesner
Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems. FAS*W@SASO/ICCAC (2016)
Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. CyPhy (2016)
Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner
Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. GI-Jahrestagung (2016)
Nils Jähnig, Thomas Göthel, Sabine Glesner
A Denotational Semantics for Communicating Unstructured Code. FESCA (2015)
Verena Klös, Thomas Göthel, Sabine Glesner
Adaptive Knowledge Bases in Self-Adaptive System Design. EUROMICRO-SEAA (2015)
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
Timed Path Conditions in MATLAB/Simulink. IESS (2015)
Thomas Göthel, Verena Klös, Björn Bartels
Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions. EAI Endorsed Trans. Self Adapt. Syst. 1 (1) (2015)
Thomas Göthel, Björn Bartels
Modular Design and Verification of Distributed Adaptive Real-Time Systems. ICTCC (2014)
Thomas Göthel, Sabine Glesner
Automatic validation of infinite real-time systems. FormaliSE@ICSE (2013)
Thomas Göthel
Maschinelle Verifikation von parametrisierten Echtzeitsystemen. Ausgezeichnete Informatikdissertationen (2012)
Moritz Kleine, Björn Bartels, Thomas Göthel, Steffen Helke, Dirk Prenzel
: Extracting CSP Models from Concurrent Programs. NASA Formal Methods (2011)
Björn Bartels, Sabine Glesner, Thomas Göthel
Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Thomas Göthel, Sabine Glesner
An approach for machine-assisted verification of Timed CSP specifications. Innov. Syst. Softw. Eng. 6 (3) (2010)
Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine
The VATES-Diamond as a Verifier's Best Friend. Verification, Induction, Termination Analysis (2010)
Moritz Kleine, Thomas Göthel
Specification, Verification and Implementation of Business Processes Using CSP. TASE (2010)
Thomas Göthel, Sabine Glesner
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. SEFM (2010)
Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner
Verifying the Implementation of an Operating System Scheduler. TASE (2009)
Thomas Göthel, Sabine Glesner
Machine-Checkable Timed CSP. NASA Formal Methods (2009)

Thomas Göthel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Göthel