Thomas Göthel

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution.

[BibT_eX]

[DOI]

Tobias F. Pfeffer

Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, 2019

2018

Runtime management and quantitative evaluation of changing system goals in complex autonomous systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Comprehensible and dependable self-learning self-adaptive systems.

[BibT_eX]

[DOI]

J. Syst. Archit., 2018

Comprehensible Decisions in Complex Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering und Software Management 2018, 2018

Equivalence Checking for Hybrid Control Systems Modelled in Simulink.

[BibT_eX]

[DOI]

Sebastian Schlesinger

Paula Herber

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning.

[BibT_eX]

[DOI]

Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

Instruction Caches in Static WCET Analysis of Artificially Diversified Software.

[BibT_eX]

[DOI]

Joachim Fellmuth

Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

2017

Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems.

[BibT_eX]

[DOI]

Nils Jähnig

Simon Seif

Proceedings of the Formal Methods and Software Engineering, 2017

Runtime Management and Quantitative Evaluation of Changing System Goals.

[BibT_eX]

[DOI]

Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Refinement-Based Verification of Communicating Unstructured Code.

[BibT_eX]

[DOI]

Nils Jähnig

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models.

[BibT_eX]

[DOI]

Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow.

[BibT_eX]

[DOI]

Sebastian Schlesinger

Paula Herber

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2015

Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions.

[BibT_eX]

[DOI]

Björn Bartels

EAI Endorsed Trans. Self Adapt. Syst., 2015

A Denotational Semantics for Communicating Unstructured Code.

[BibT_eX]

[DOI]

Nils Jähnig

Proceedings of the Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2015

Timed Path Conditions in MATLAB/Simulink.

[BibT_eX]

[DOI]

Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015

Adaptive Knowledge Bases in Self-Adaptive System Design.

[BibT_eX]

[DOI]

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Modular Design and Verification of Distributed Adaptive Real-Time Systems.

[BibT_eX]

[DOI]

Björn Bartels

Proceedings of the Nature of Computation and Communication - International Conference, 2014

2013

Automatic validation of infinite real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012

Mechanical Verification of Parameterized Real-Time Systems.

[BibT_eX]

[DOI]

PhD thesis, 2012

Maschinelle Verifikation von parametrisierten Echtzeitsystemen.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2012, 2012

2011

<i>LLVM2CSP</i>: Extracting CSP Models from Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

2010

An approach for machine-assisted verification of Timed CSP specifications.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2010

Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification.

[BibT_eX]

[DOI]

Björn Bartels

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Specification, Verification and Implementation of Business Processes Using CSP.

[BibT_eX]

[DOI]

Moritz Kleine

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

The VATES-Diamond as a Verifier's Best Friend.

[BibT_eX]

[DOI]

Proceedings of the Verification, Induction, Termination Analysis, 2010

2009

Verifying the Implementation of an Operating System Scheduler.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Machine-Checkable Timed CSP.

[BibT_eX]