direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

V

Sabine Glesner and Björn Bartels and Thomas Göthel and Moritz Kleine (2010). The VATES-Diamond as a Verifier's Best Friend. Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer, pp.81–101.

Link to original publication

S

Marcel Pockrandt (2011). Optimierte Generierung von Konformitätstests für eingebettete Echtzeitsysteme. Softwaretechnik-Trends. DBLP, http://dblp.uni-trier.de.

Link to original publication

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.

Link to original publication

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

Link to original publication

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

Link to original publication

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.

Link to original publication

P

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.

Link to original publication

Oscar Almer and Igor Böhm and Tobias Edler von Koch and Björn Franke and Stephen Kyle and Volker Seeker and Christopher Thompson and Nigel Topham (2011). Scalable Multi-Core Simulation Using Parallel Dynamic Binary Translation. Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS'11)

Link to publication

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.

Link to original publication

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.

Link to original publication

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.

Link to original publication

Sabine Glesner and Stefan Jähnichen and Barbara Paech and Bernhard Rumpe and Thomas Wetter and Alfred Winter (2007). Strategische Bedeutung des Software Engineering für die Medizin. Proceedings der Tagung Software Engineering 2007. Lecture Notes in Informatics (LNI).


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.

Link to original publication

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 .

Link to original publication

L

Björn Bartels and Nils Jähnig (2014). Mechanized, Compositional Verification of Low-Level Code. Lecture Notes in Computer Science 8430, 98-112.

Link to original publication

J

Sabine Glesner (2003). Using Program Checking to Ensure the Correctness of Compiler Implementations. Journal of Universal Computer Science (J.UCS), 191-222.


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.


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.


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

i


I

Paula Herber and Robert Reicherdt and Patrick Bittner (2013). Bit‐precise Formal Verification of Discrete‐Time MATLAB/Simulink Models using SMT Solving. International Conference on Embedded Software (EMSOFT'13), 1-10.

Link to original publication

Thomas Göthel and Sabine Glesner (2010). An Approach for Machine-Assisted Verification of Timed CSP Specifications. Innovations in Systems and Software Engineering - A NASA Journal, pp.181–193.

Link to original publication

Sabine Glesner and Stefan Jähnichen and Barbara Paech and Bernhard Rumpe and Thomas Wetter and Alfred Winter (2007). Manifest: Strategische Bedeutung des Software Engineering für die Medizin. Informatik – Forschung und Entwicklung

Link to original publication

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

Link to original publication

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

Link to original publication

Franziska Bathelt-Tok (2014). Safe and Reliable Interoperability of Medical Devices using Data-Dependent Controller Synthesis. IEEE Intelligent Informatics Bulletin. 15. IEEE, 24-25.


F

Dagmar Krefting and Sebastian Canisius and Andreas Hoheisel and Helena Loose and Thomas Tolxdorff and Thomas Penzel (2010). Grid based sleep research – Analysis of polysomnographies using a grid infrastructure. Future Generation Computer Systems

Link to publication

Björn Bartels (2011). Verification of Low-Level Real-Time Programs using Timed CSP. Formal Methods 2011 Doctoral Symposium



E

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

Jan Olaf Blech and Sabine Glesner and Johannes Leitner and Steffen Mülling (2005). Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 8th European Conferences on Theory and Practice of Software (ETAPS 2005). Elsevier, 33-51.


Björn Bartels and Sabine Glesner and Thomas Göthel (2010). Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. International Colloquium on Graph and Model Transformation – on the occasion of the 65th birthday of Hartmut Ehrig

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


D




C

Michael Beyer and Andreas Rose and Emanuel Jank and Jörg Krüger (2008). Softwaretechnische Instrumentenunterstützung für ein leistungssteuerndes HNO Navigationssystem. Computer Science - Research and Development. Springer Berlin / Heidelberg, 147-160.

Link to original publication

Paula Herber and Bettina Hünnemeyer (2014). Formal Verification of SystemC Designs using the BLAST Software Model Checker. International Workshop on Model-Based Architecting and Construction of Embedded Systems (ACES-MB@MODELS). CEUR, 44-53.

Link to original publication

A

Paula Herber (2011). Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata. Ausgezeichnete Informatikdissertationen, 101-110.


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

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.

Link to original publication

Sabine Glesner and Wolf Zimmermann (2004). Natural Semantics as a Static Program Analysis Framework. ACM Transactions on Programming Languages and Systems (TOPLAS), 510-577.


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

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.


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

7

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)


6

Paula Herber and Joachim Fellmuth and Sabine Glesner (2008). Model Checking SystemC Designs Using Timed Automata. Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)

Link to original publication

1

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.

Link to original publication

Sabine Glesner and Andreas Humbert (2008). A Formal Semantics of Intermediate Compiler Representations in Isabelle/HOL. Proceedings of the Workshop Compiler Optimization meets Compiler Verification (COCV 2008). Elsevier.


Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe