direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2008

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.


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

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


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.


2010

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

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

2011

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

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

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


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.

Link zur Originalpublikation

Moritz Kleine and Björn Bartels and Thomas Göthel and Steffen Helke and Dirk Prenzel (2011). LLVM2CSP: Extracting CSP Models from Concurrent Programs. Proceedings of the Third NASA Formal Methods Symposium. Springer, 500-505.

Link zur Originalpublikation

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)


Björn Bartels and Moritz Kleine (2011). A CSP-based framework for the specification, verification, and implementation of adaptive systems. Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM, 158–167.


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


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.

Link zur Originalpublikation

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.


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

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

2012

Thomas Göthel (2012). Mechanical Verification of Parameterized Real-Time Systems. Technische Universität Berlin

Link zur Originalpublikation

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

Link zur Originalpublikation

Thomas Göthel (2012). Mechanical Verification of Parameterized Real-Time Systems. Südwestdeutscher Verlag für Hochschulschriften AG Co. KG.


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.

Link zur Originalpublikation


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.

Link zur Originalpublikation

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

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

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.

Link zur Originalpublikation

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe