direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Sabine Glesner and Johannes Leitner and Jan Olaf Blech (2006). Coinductive Verification of Program Optimizations using Similarity Relations. Proceedings of the Workshop Compiler Optimizations meets Compiler Verification (COCV 2006). Electronic Notes in Theoretical Computer Science (ENTCS).


Lars Gesellensetter and Sabine Glesner (2006). Only the best can make it: optimal component selection. Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA). Electronic Notes in Theoretical Computer Science (ENTCS).


Holger Giese and Sabine Glesner and Johannes Leitner and Wilhelm Schäfer and Robert Wagner (2006). Towards Verified Model to Code Transformations. Proc. of the 3rd Workshop on Model design and Validation (MoDeV2a'06): Perspectives on Integrating MDA and V&V, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems


M. Broy and M. Jarke and M. Nagl and D. Rombach (Redaktion) and A. Cremers and J. Ebert and Sabine Glesner and M. Glinz and M. Goedicke and G. Goos and V. Gruhn and W. Hasselbring and Stefan Jähnichen and S. Kowalewski and B. Krämer and S. Leue and C. Lewerentz and P. Liggesmeyer and C. Lüth and B. Paech and H. Partsch and I. Philippow and L. Prechelt and A. Rausch and w.-P. de Roever and B. Rumpe and G. Rünger and W. Schäfer and K. Schneider and A. Schürr and W. Tichy and B. Westfechtel and W.Zimmermann and A. Zündorf (Mit-Autoren/Unterzeichner) (2006). Dagstuhl-Manifest zur strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop \"Challenges for Software Engineering Research\"

Link to original publication

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

Stefan Kopp and Lars Gesellensetter and Nicole Krämer and Ipke Wachsmuth (2005). A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application. The 5th International Working Conference on Intelligent Virtual Agents (IVA. Springer.


Jan Olaf Blech and Lars Gesellensetter and Sabine Glesner (2005). Formal Verification of Dead Code Elimination in Isabelle/HOL. Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society Press, 200-209.


Jan Olaf Blech and Sabine Glesner and Johannes Leitner (2005). Formal Verification of Java Code Generation from UML Models. Proceedings of the 3rd International Fujaba Days 2005, "MDD in Practice". Technical Report, University of Paderborn, 49-56.



Sabine Glesner and Jan Olaf Blech (2005). Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler. Proceedings der Tagung Software Engineering 2005. Lecture Notes in Informatics (LNI), 131-140.


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.


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.





Sabine Glesner and Gerhard Goos and Wolf Zimmermann (2004). Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). it - Information Technology, 265 - 276.


Jan Olaf Blech and Sabine Glesner (2004). A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. Proceedings der 3. Arbeitstagung Programmiersprachen (ATPS) auf der 34. Jahrestagung der Gesellschaft für Informatik. Lecture Notes in Informatics, 449 - 458.


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.

Link to original publication

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

Link to original publication

Sabine Glesner and Simone Forster and Matthias Jäger (2004). A Program Result Checker for the Lexical Analysis of the GNU C Compiler. Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 7th European Conferences on Theory and Practice of Software (ETAPS 2004). Elsevier, Electronic Notes in Theoretical Computer Science (ENTCS), 19 - 35.


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

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.

Link to original publication

Sabine Glesner (2004). A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics. Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 7th European Conferences on Theory and Practice of Software (ETAPS 2004). Elsevier, Electronic Notes in Theoretical Computer Science (ENTCS), 73 - 93.


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

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.


Sabine Glesner (2004). An ASM Semantics for SSA Intermediate Representations. Proceedings of the 11th International Workshop on Abstract State Machines. Springer Verlag, Lecture Notes in Computer Science, 144 - 160.


Sabine Glesner and G. Goos and F. v. Henke and H. Langmaack and W. Goerigk and W. Zimmermann (2004). Abschlussbericht Verifix. Bericht zur Vorlage bei der Deutschen Forschungsgemeinschaft


Sabine Glesner (2004). Verification of Optimizing Compilers. Fakultät für Informatik, Universität Karlsruhe


1

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.


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

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

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)


A

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

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.


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

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

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 (2011). Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata. Ausgezeichnete Informatikdissertationen, 101-110.


C

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

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

D




E

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


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

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.


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

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe