Adaptive knowledge bases in self-adaptive system design V Klös, T Göthel, S Glesner 2015 41st Euromicro Conference on Software Engineering and Advanced …, 2015 | 41 | 2015 |
Comprehensible and dependable self-learning self-adaptive systems V Klös, T Göthel, S Glesner Journal of systems architecture 85, 28-42, 2018 | 26 | 2018 |
Runtime management and quantitative evaluation of changing system goals in complex autonomous systems V Klös, T Göthel, S Glesner Journal of Systems and Software 144, 314-327, 2018 | 17 | 2018 |
An approach for machine-assisted verification of Timed CSP specifications T Göthel, S Glesner Innovations in Systems and Software Engineering 6, 181-193, 2010 | 14 | 2010 |
Verifying the Implementation of an Operating System Scheduler M Kleine, B Bartels, T Gothel, S Glesner 2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009 | 13 | 2009 |
Formal models for analysing dynamic adaptation behaviour in real-time systems V Klös, T Göthel, S Glesner 2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016 | 12 | 2016 |
Machine-checkable timed CSP T Göthel, S Glesner Proceedings of the first NASA formal methods symposium, 2009 | 11 | 2009 |
Refinement-based modelling and verification of design patterns for self-adaptive systems T Göthel, N Jähnig, S Seif Formal Methods and Software Engineering: 19th International Conference on …, 2017 | 10 | 2017 |
LLVM2CSP: Extracting CSP Models from Concurrent Programs M Kleine, B Bartels, T Göthel, S Helke, D Prenzel NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011 | 10 | 2011 |
Towards the semi-automatic verification of parameterized real-time systems using network invariants T Gothel, S Glesner 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 10 | 2010 |
Instruction caches in static WCET analysis of artificially diversified software J Fellmuth, T Göthel, S Glesner 30th Euromicro Conference on Real-Time Systems (ECRTS 2018), 2018 | 9 | 2018 |
Parameterisation and optimisation patterns for MAPE-K feedback loops V Klöes, T Göthel, S Glesner 2017 IEEE 2nd International Workshops on Foundations and Applications of …, 2017 | 8 | 2017 |
Modular design and verification of distributed adaptive real-time systems based on refinements and abstractions T Göthel, V Klös, B Bartels EAI Endorsed Transactions on Self-Adaptive Systems 1 (1), 2015 | 8 | 2015 |
Modular design and verification of distributed adaptive real-time systems T Göthel, B Bartels Nature of Computation and Communication: International Conference, ICTCC …, 2015 | 8 | 2015 |
Runtime management and quantitative evaluation of changing system goals V Klös, T Göthel, A Lohr, S Glesner 2017 43rd Euromicro Conference on Software Engineering and Advanced …, 2017 | 7 | 2017 |
Towards service-oriented design of hybrid systems modeled in Simulink T Liebrenz, P Herber, T Göthel, S Glesner 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC …, 2017 | 7 | 2017 |
Efficient and precise information flow control for machine code through demand-driven secure multi-execution T Pfeffer, T Göthel, S Glesner Proceedings of the Ninth ACM Conference on Data and Application Security and …, 2019 | 6 | 2019 |
Proving transformation correctness of refactorings for discrete and continuous simulink models S Schlesinger, P Herber, T Göthel, S Glesner The Eleventh International Conference on Systems, EMBEDDED, 45-50, 2016 | 6 | 2016 |
Mechanical verification of parameterized real-time systems T Göthel | 6 | 2012 |
Comprehensible decisions in complex self-adaptive systems V Klös, T Göthel, S Glesner Gesellschaft für Informatik, 2018 | 5 | 2018 |