TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation

Publications

2019

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 to original publication

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 Thomas Göthel and Sabine Glesner (2019). Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. Software Quality, Reliability and Security (QRS), 2019 IEEE International Conference on

Link to publication

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)

Link to publication

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 to original publication

2018

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 to original publication

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 to original publication

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 to original publication

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

Link to original publication

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 to original publication

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 to original publication

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 to original publication

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 to original publication

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 to original publication

2016

Timm Liebrenz and Verena Klös and Paula Herber (2016). Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC. ACM SIGAda Ada Letters. ACM, 9–17.

Link to original publication

Stefan Sydow and Mohannad Nabelsee and Anselm Busse and Sebastian Koch and Helge Parzyjegla (2016). Performance-Aware Device Driver Architecture for Signal Processing. 2016 28th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 67-75.

Link to original publication

Marcus Mikulcak and Thomas Göthel and Paula Herber and Sabine Glesner (2016). Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. INFORMATIK 2016. Gesellschaft für Informatik (GI), 1495–1508.


Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2016). Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. Cyber Physical Systems. Design, Modeling, and Evaluation. Springer, 71-86.

Link to original publication

Paula Herber and Verena Klös (2016). A Multi-Robot Search Using LEGO Mindstorms – An Embedded Software Design Project. ACM SIGBED Review, Special Issue on Embedded and Cyber-Physical Systems Education. ACM.


Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2016). Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models. ICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications. IARIA XPS Press, 45-50.

Link to original publication

Nils Jähnig and Thomas Göthel and Sabine Glesner (2016). Refinement-Based Verification of Communicating Unstructured Code. Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Springer, 61–75.

Link to original publication

Verena Klös and Thomas Göthel and Sabine Glesner (2016). Formal models for analysing dynamic adaptation behaviour in real-time systems. 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, 106-111.


Martin Lowinski and Dirk Ziegenbein and Sabine Glesner (2016). Splitting tasks for migrating real-time automotive applications to multi-core ECUs. Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems (SIES 2016), 113-120.

Link to original publication

Timm Liebrenz (2016). Verification of Hybrid Systems in the Medical Context. Proceedings of the 10th Joint Workshop of the German Research Training Groups in Computer Science. Universitätsverlag der Technischen Universität Chemnitz, 30.

Link to original publication

Tobias Pfeffer and Stefan Sydow and Joachim Fellmuth and Paula Herber (2016). Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking. IEEE International Conference on Software Quality, Reliability & Security (QRS'16). IEEE.

Link to original publication

2015

Paula Herber and Sabine Glesner (2015). Verification of Embedded Real-time Systems. Formal Modeling and Verification of Cyber Physical Systems. Springer.

Link to original publication

Paula Herber and Marcel Pockrandt and Sabine Glesner (2015). STATE – a SystemC to Timed Automata Transformation Engine. International Conference on Embedded Software and Systems (ICESS). IEEE Computer Society.

Link to original publication

Paula Herber and Verena Klös (2015). A Multi-Robot Search Using LEGO Mindstorms - An Embedded Software Design Project. Workshop on Embedded and Cyber-Physical Systems Education. ACM digital library.

Link to original publication

Verena Klös and Thomas Göthel and Sabine Glesner (2015). Adaptive Knowledge Bases in Self-Adaptive System Design. 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 472 - 478.

Link to original publication

Johannes Dyck and Holger Giese and Leen Lambers and Sebastian Schlesinger and Sabine Glesner (2015). Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 36-45.

Link to original publication

Nils Jähnig and Thomas Göthel and Sabine Glesner (2015). A Denotational Semantics for Communicating Unstructured Code. Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015., 9–21.

Link to publication Link to original publication

Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2015). Towards the Verification of Refactorings of Hybrid Simulink Models. Proceedings of the Third International Workshop on Verification and Program Transformation (VPT 2015), 69.

Link to original publication

Martin Lowinski and Dirk Ziegenbein and Sabine Glesner (2015). Partitioning Embedded Real-Time Control Software based on Communication Dependencies. Proceedings of the International Workshop on Modelling in Automotive Software Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 3–12.

Link to original publication

Thomas Göthel and Björn Bartels (2015). Modular Design and Verification of Distributed Adaptive Real-Time Systems. Second International Workshop on Formal Methods for Self-Adaptive Systems (FMSAS 2014), 3–12.

Link to original publication

Thomas Göthel and Verena Klös and Björn Bartels (2015). Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions. EAI Endorsed Transactions on Self-Adaptive Systems


2014

Helena Gruhn and Per Persson (2014). Towards a Robust Algorithm for Distributed Monitoring of Network Topology Changes. Ad Hoc Networking Workshop (MED-HOC-NET), 2014 13th Annual Mediterranean, 1-7.

Link to original publication

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe