direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

2012

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.


Christine Hundt and Daniel Stöhr and Sabine Glesner (2010). Optimizing Aspect-oriented Mechanisms for Embedded Applications. TOOLS 2010. Springer, Heidelberg, 137-153.


Björn Bartels and Sabine Glesner (2010). Formal Modeling and Verification of Low-Level Software Programs. 10th International Conference on Qualtiy Software (QSIC 2010). IEEE Computer Society, pp.200–207.


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


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.


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.


Paula Herber and Marcel Pockrandt and Sabine Glesner (2010). Automated Conformance Evaluation of SystemC Designs using Timed Automata. IEEE European Test Symposium. IEEE Computer Society, 188 - 193.


2009

Moritz Kleine and Björn Bartels and Thomas Göthel and Sabine Glesner (2009). Verifying the Implementation of an Operating System Scheduler. Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Softwar Engineering, pp.285-286.


Christine Hundt and Sabine Glesner (2009). Optimizing Aspectual Execution Mechanisms for Embedded Applications. Proceedings of the First Workshop on Generative Technologies (WGT) 2008. Elsevier, 35-45.


Sabine Glesner (Ed.) (2009). Computer Science - Research and Development. Springer.


Sabine Glesner (Ed.) (2009). Computer Science - Research and Development. Springer.


Lars Alvincz and Sabine Glesner (2009). Breaking the Curse of Static Analyses: Making Compilers Intelligent via Machine Learning. 3rd Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion (SMART'09)


Paula Herber and Florian Friedemann and Sabine Glesner (2009). Combining Model Checking and Testing in a Continuous HW/SW Co-Verification Process. 3rd International Conference on Tests and Proofs (TAP'09). Springer, 121-136.


Thomas Göthel and Sabine Glesner (2009). Machine Checkable Timed CSP. Proc. of The First NASA Formal Methods Symposium (NFM '09). NASA Conference Publication, pp.126–135.


2008

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.


Lars Gesellensetter and Sabine Glesner (2008). Interprocedural Speculative Optimization of Memory Accesses to Global Variables. European Conference on Parallel and Distributed Computing (Euro-Par 2008). LNCS.


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)


2007

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


Sabine Glesner (2007). Optimierende Compiler: Vertrauen ist gut, Verifikation ist besser!. Unsere Zukunft 2020 - Was morgen und übermorgen Stand der Technik sein könnte. Universum Verlag.


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


Sabine Glesner and Steffen Helke and Stefan Jähnichen (2007). VATES: Verifying the Core of a Flying Sensor. Proc. Conquest 2007, 10th International Conference on Quality Engineering in Software Technology. dpunkt Verlag.


Lars Gesellensetter and Sabine Glesner and Elke Salecker (2007). Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007)


2006

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


Sabine Glesner (2006). Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Aspects of Computing,


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


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


Sabine Glesner (2006). Efficient Construction and Verification of Embedded Software. Embedded Systems - Modeling, Technology and Applications. Springer Verlag, 21-32.


Sabine Glesner and Jan Olaf Blech (2006). Coalgebraic Semantics for Component Systems. Architecting Systems with Trustworthy Components, Lecture Notes in Computer Science, Vol. 3938. Springer Verlag.


2005

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.



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.


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.


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.



Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions