direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2011

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

Link zur Originalpublikation

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

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

2010

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

Link zur Originalpublikation

Dagmar Krefting and Helena Loose and Thomas Penzel (2010). Employment of a Healthgrid for Evaluation and Development of Polysomnographic Biosignal Processing Methods. Proceedings of the 32th Annual International Conference of the IEEE EMBS (EMBC 2010)


Helena Loose and Dagmar Krefting and Thomas Penzel (2010). QRS detection in polysomnographic ECGs and application to the SIESTA database with focus on obstructive sleep apnea. Proceedings of the International Biosignal Processing Conference, 109:1-4.


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.

Link zur Originalpublikation

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.

Link zur Originalpublikation

Moritz Kleine and Thomas Göthel (2010). Specification, Verification and Implementation of Business Processes using CSP. Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE, 145–154.

Link zur Originalpublikation

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

Link zur Originalpublikation

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.

Link zur Originalpublikation

Moritz Kleine and Björn Bartels (2010). On Using CSP for the Construction of Concurrent Programs. International Conference on Software Engineering Theory and Practice


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


Paula Herber (2010). Automated HW/SW Co-Verification of SystemC Designs using Timed Automata. EDAA / ACM PhDForum at Design, Automation and Test in Europe (DATE)


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

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

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.

Link zur Originalpublikation

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

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.

Link zur Originalpublikation

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.

Link zur Publikation

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

Link zur Publikation

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

Link zur Publikation

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.

Link zur Originalpublikation

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

Dirk Tetzlaff (2008). Erweitertes Hyperblock-Scheduling für VLIW-Prozessoren. GI Informatiktage 2008


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

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.


Dirk Tetzlaff (2008). Erweitertes Hyperblock-Scheduling für VLIW-Prozessoren. GI Informatiktage 2008. Köllen Druck+Verlag GmbH, 111-114.


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.

Link zur Originalpublikation

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

Lars Gesellensetter (2008). Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely. Dagstuhl Seminar Proceedings 08161. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.


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


Michael Beyer and Andreas Rose and Emanuel Jank and Jörg Krüger (2007). Enhancing instrument support of a power controlling ENT navigation system (FESS-Control). CAS-H '07: Proceedings of the 4th International Computer Aided Surgery Around the Head Conference. Pro Business Verlag, 19–20.


(2007). Proceedings of the 6th International Workshop on Compiler Optimization meets Compiler Verification, COCV'07. COCV. Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier.


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

Link zur Originalpublikation

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)

Link zur Originalpublikation

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



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

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.

Link zur Originalpublikation

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.

Link zur Originalpublikation

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.




Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe