direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Veröffentlichungen

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), to appear. IEEE.


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, to appear). IEEE.


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), to appear. IEEE.


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


2016

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).


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.


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.


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.


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.


2015

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


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.


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.


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.


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.


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.


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.


Marcus Mikulcak and Paula Herber and Thomas Göthel and Sabine Glesner (2015). Timed Path Conditions in MATLAB/Simulink. International Embedded Systems Symposium (IESS'2015, to appear). Springer.


2014

Franziska Bathelt-Tok and Helena Gruhn and Sabine Glesner and Oliver Blankenstein (2014). Towards the Development of Smart and Reliable Health Assistance Networks Exemplified by an Apnea Detection System. IEEE International Conference of Healthcare Informatics (ICHI)


Sabine Glesner and Robert Reicherdt (2014). Methods of Model Quality in the Automotive Area. Software Engineering. Köllen, 73-74.


Franziska Bathelt-Tok and Sabine Glesner and Oliver Blankenstein (2014). Data-Dependent Controller Synthesis to Enable Reliable and Safe Interoperability of Medical Devices. Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare. 8377. ACM, 162-165.


Franziska Bathelt-Tok and Sabine Glesner (2014). Towards the Automated Synthesis of Data Dependent Service Controllers. PhD Symposium of the 11th International Conference on Service Oriented Computing (ICSOC 2013). Springer-Verlag Berlin Heidelberg, 528-534.


Robert Reicherdt and Sabine Glesner (2014). Formal Verification of Discrete-Time MATLAB/Simulink Models using Boogie. 12th International Conference on Software Engineering and Formal Methods. Springer, 190-204.


2013

Paula Herber and Sabine Glesner (2013). A HW/SW Co-Verification Framework for SystemC. ACM Transactions on Embedded Computing Systems (TECS). ACM.


Marcel Pockrandt and Paula Herber and Verena Klös and Sabine Glesner (2013). Model Checking Memory-Related Properties of Hardware/Software Co-designs. International Embedded Systems Symposium (IESS 2013). Springer, 92-103.


Helena Gruhn and Sabine Glesner (2013). Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. Formal Engineering approaches to Software Components and Architectures (FESCA@ETAPS2013)), 49-62.


Daniel Stöhr and Sabine Glesner (2013). Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. 7th International Symposium on Theoretical Aspects of Software Engineering (TASE'13). IEEE Computer Society, 7-14.


Helena Gruhn and Daniel Stöhr and Mehmet Gövercin and Sabine Glesner (2013). Design and Verification of a Health-Monitoring Driver Assistance System. Pervasive Computing Technologies for Healthcare (PervasiveHealth), 2013 7th International Conference on. IEEE Xplore, 266-267 .


Thomas Göthel and Sabine Glesner (2013). Automatic Validation of Infinite Real-Time Systems. Proceedings FormaliSE, 57–63.


Dirk Tetzlaff and Sabine Glesner (2013). Static Prediction of Loop Iteration Counts Using Machine Learning to Enable Hot Spot Optimizations. Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA'13). IEEE Computer Society.


Dirk Tetzlaff and Sabine Glesner (2013). Intelligent Prediction of Execution Times. Proceedings of the Second International Conference on Informatics & Applications (ICIA2013). IEEE Computer Society, 234–239.


Daniel Stöhr and Sabine Glesner (2013). Towards Automated and Correct Composition of Timed Services. Service-Oriented Computing - ICSOC 2012 Workshops. Springer Berlin Heidelberg, 319-331.


2012

Robert Reicherdt and Sabine Glesner (2012). Slicing MATLAB Simulink models. 34th International Conference on Software Engineering (ICSE), 551 -561.


Elke Salecker and Sabine Glesner (2012). Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 610 -619.


Dirk Tetzlaff and Sabine Glesner (2012). Making MPI Intelligent. Software Engineering (Workshops) 2012. Köllen Druck+Verlag GmbH, Bonn, 75 - 88.


Daniel Stöhr and Sabine Glesner (2012). Automated Composition of Timed Services by Planning as Model Checking. Proceedings of the 4th Central European Workshop on Services and their Composition. CEUR-WS.org.


Marcel Pockrandt and Paula Herber and Holger Gross and Sabine Glesner (2012). Optimized Transformation and Verification of SystemC Methods. Proceedings of the 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012). Electronic Communications of the EASST.


Dirk Tetzlaff and Sabine Glesner (2012). Static Prediction of Recursion Frequency Using Machine Learning to Enable Hot Spot Optimizations. Proceedings of the 10th IEEE Symposium on Embedded Systems for Real-time Multimedia (ESTIMedia), 42-51.


Michael Beyer and Sabine Glesner (2012). Static Analysis of Run-time Modes in Synchronous Process Networks. PSI '11: Perspectives of Systems Informatics, 8th International Andrei Ershov Memorial Conference. Springer Verlag / Heidelberg, 55-67.


2011

Paula Herber and Marcel Pockrandt and Sabine Glesner (2011). Transforming SystemC Transaction Level Models into UPPAAL Timed Automata. ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign. IEEE Computer Society, 161-170.


Wei Hu and Joachim Wegener and Ingo Stürmer and Robert Reicherdt and Elke Salecker and Sabine Glesner (2011). MeMo – Methods of Model Quality. 7. Dagstuhl-Workshop Model-Based Development of Embedded Systems (MBEES 2011)


Elke Salecker and Robert Reicherdt and Sabine Glesner (2011). Calculating Prioritized Interaction Test Sets with Constraints using Binary Decision Diagrams. 1st Int’l Workshop on Variability-intensive Systems Testing, Validation & Verification (ICST-VAST2011). IEEE.


Marcel Pockrandt and Paula Herber and Sabine Glesner (2011). Towards a Formal Semantics of the SystemC-TLM Core Interfaces. GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)


Marcel Pockrandt and Paula Herber and Sabine Glesner (2011). Model Checking a SystemC/TLM Design of the AMBA AHB Protocol. IEEE/ACM Symposium on Embedded Systems for Real-time Multimedia. IEEE Computer Society, 66-75.


Björn Bartels and Sabine Glesner (2011). Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. Proceedings of the 18th Asia-Pacific Software Engineering Conference, 195-202.


Michael Beyer and Sabine Glesner (2011). Static Run-time Mode Extraction by State Partitioning in Synchronous Process Networks. SCOPES '11: Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems. ACM, 28–37.


Joachim Hänsel and Daniela Rose and Paula Herber and Sabine Glesner (2011). An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. IEEE International Conference on Software Testing, Verification and Validation


2010

Elke Salecker and Sabine Glesner (2010). Pairwise test set calculation using k-partite graphs. IEEE International Conference on Software Maintenance (ICSM2010). IEEE.


Dirk Tetzlaff and Sabine Glesner (2010). Intelligent Task Mapping using Machine Learning. Proceedings of the 2010 International Conference on Computational Intelligence and Software Engineering (CiSE 2010). IEEE Computer Society.


Thomas Göthel and Sabine Glesner (2010). Towards the Semi-Automatic Verification of Parameterized Real-Time Systems using Network Invariants. Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods. IEEE, 310–314.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe