Thomas Göthel

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