direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2017

Verena Klös and Thomas Göthel and Adrian Lohr and Sabine Glesner (2017). Runtime Management and Quantitative Evaluation of Changing System Goals. 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 226–233.


Timm Liebrenz and Paula Herber and Thomas Göthel and Sabine Glesner (2017). Towards Service-oriented Design of Hybrid Systems modeled in Simulink. IEEE International Workshop on QUality Oriented Reuse of Software (QUORS 2017). IEEE, 469–474.

Link zur Originalpublikation

Verena Klös and Thomas Göthel and Sabine Glesner (2017). Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, 13–18.


Thomas Göthel and Nils Jähnig and Simon Seif (2017). Refinement-Based Modelling and Verification of Design Patterns for Self-Adaptive Systems. Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM). Springer, 157–173.


Joachim Fellmuth and Paula Herber and Tobias F. Pfeffer and Sabine Glesner (2017). Securing Real-Time Cyber-Physical Systems using WCET-Aware Artificial Diversity. 2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing (DASC'17), 454-461.

Link zur Originalpublikation

Lydia Jaß and Paula Herber (2017). Bit-Precise Formal Verification for SystemC using Satisfiability Modulo Theories Solving. System Level Design from HW/SW to Memory for Embedded Systems. Springer.


Marcus Mikulcak and Paula Herber and Thomas Göthel and Sabine Glesner (2017). Timed Path Conditions in MATLAB/Simulink. System Level Design from HW/SW to Memory for Embedded Systems. Springer.


Timm Liebrenz (2017). Service-oriented Design and Formal Verification of Hybrid Systems in the Medical Context. Proceedings of the 11th Joint Workshop of the German Research Training Groups in Computer Science, 21.

Link zur Originalpublikation

2018

Tobias Pfeffer and Paula Herber and Lucas Druschke and Sabine Glesner (2018). Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018). IEEE Computer Society, 235 - 240.

Link zur Originalpublikation

Marcus Mikulcak and Paula Herber and Thomas Göthel and Sabine Glesner (2018). Information Flow Analysis of Combined Simulink/Stateflow Models. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018). IEEE Computer Society, 223–228.


Nikolai Moesus and Matthias Scholze and Sebastian Schlesinger and Paula Herber (2018). Automated Selection of Software Refactorings that Improve Performance. 13th International Conference on Software Technologies (ICSOFT'18, to appear). SCITEPRESS.


Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2018). Equivalence Checking for Hybrid Control Systems modelled in Simulink. IEEE International Workshop on Model-based Verification and validation (MVV 2018). IEEE, 572–579.


Verena Klös and Thomas Göthel and Sabine Glesner (2018). Comprehensible and Dependable Self-Learning Self-Adaptive Systems. Journal of Systems Architecture. Elsevier, 28–42.


Joachim Fellmuth and Thomas Göthel and Sabine Glesner (2018). Instruction Caches in Static WCET Analysis of Artificially Diversified Software. 30th Euromicro Conference on Real-Time Systems (ECRTS), 21:1–21:23.

Link zur Originalpublikation

Verena Klös and Thomas Göthel and Sabine Glesner (2018). Comprehensible Decisions in Complex Self-Adaptive Systems. Software Engineering 2018, Fachtagung des GI-Fachbereichs Softwaretechnik. Gesellschaft für Informatik, 215–216.


Verena Klös and Thomas Göthel and Sabine Glesner (2018). Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning. 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 89–96.


Benjamin Feldner and Paula Herber (2018). A Qualitative Evaluation of IPv6 for the Industrial Internet of Things. International Workshop on the Future of the Internet of Things (FIT 2018, to appear). Elsevier.


Verena Klös and Thomas Göthel and Sabine Glesner (2018). Runtime Management and Quantitative Evaluation of Changing System Goals in Complex Autonomous Systems. Journal of Systems and Software. Elsevier, 314–327.


Timm Liebrenz and Paula Herber and Sabine Glesner (2018). Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X. International Conference on Formal Engineering Methods. Springer.

Link zur Originalpublikation

Timm Liebrenz (2018). Service-Oriented Design and Verification of Hybrid Control Systems. International Conference on Formal Engineering Methods. Springer.

Link zur Originalpublikation

Nils Berg and Thomas Göthel and Armin Danziger and Sabine Glesner (2018). Preserving liveness guarantees from synchronous communication to asynchronous unstructured low-level languages. 20th International Conference on Formal Engineering Methods (ICFEM). Springer, 303–319.


Sebastian Schlesinger (2018). Verified Model Refactorings for Hybrid Control Systems. DATE Conference PhD Forum

Link zur Originalpublikation

Stefan Sydow and Mohannad Nabelsee and Helge Parzyjegla and Paula Herber (2018). A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing. 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2018, to appear). Conference Publishing Services (CPS), 239-243.

Link zur Originalpublikation

2019

Tobias Pfeffer and Thomas Göthel and Sabine Glesner (2019). Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution. Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy. ACM, 197–208.

Link zur Publikation Link zur Originalpublikation

Joachim Fellmuth and Jonas Zell and Sabine Glesner (2019). Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation. 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

Link zur Originalpublikation

Guilherme Grochau Azzi and Andrea Corradini and Leila Ribeiro (2019). On the essence and initiality of conflicts in M-adhesive transformation systems. Journal of Logical and Algebraic Methods in Programming. Elsevier.

Link zur Originalpublikation

Timm Liebrenz and Paula Herber and Sabine Glesner (2019). A Service-oriented Approach for Decomposing and Verifying Hybrid System Models. International Conference on Formal Aspects of Component Software. Springer.


Tobias Pfeffer and Sabine Glesner (2019). Timing-Sensitive Synchronization for Efficient Secure Multi-Execution. Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop. ACM, 153–164.

Link zur Publikation Link zur Originalpublikation

Konstantin Scherer and Tobias Pfeffer and Sabine Glesner (2019). I/O Interaction Analysis of Binary Code. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), 225-230.

Link zur Publikation Link zur Originalpublikation

Tobias Pfeffer and Thomas Göthel and Sabine Glesner (2019). Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), 318-325.

Link zur Publikation Link zur Originalpublikation

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe