direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2015

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


2014

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

Franziska Bathelt-Tok and Helena Gruhn and Sabine Glesner and Oliver Blankenstein (2014). Towards the Development of Smart and Reliable Health Assistance Networks Exemplified by an Apnea Detection System. IEEE International Conference of Healthcare Informatics (ICHI)

Link zur Originalpublikation

Sabine Glesner and Robert Reicherdt (2014). Methods of Model Quality in the Automotive Area. Software Engineering. Köllen, 73-74.


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

Link zur Originalpublikation




Dirk Tetzlaff (2014). A Framework for Machine Learning based Mapping of Concurrent Applications to Parallel Architectures. Technische Universität Berlin, Fakultät IV - Elektrotechnik und Informatik

Link zur Originalpublikation

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

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

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

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

Paula Herber (2014). The RESCUE Approach – Towards Compositional Hardware/Software Co-Verification. IEEE International Conference on Embedded Software and Systems. IEEE, 721-724.

Link zur Originalpublikation

Tobias Pfeffer and Paula Herber and Jörg Schneider (2014). Reverse Engineering of ARM Binaries Using Formal Transformations. International Conference on Security of Information and Networks (SIN'14). ACM, 345-351.

Link zur Originalpublikation

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


2013

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

Link zur Originalpublikation

Thomas Göthel (2013). Maschinelle Verifikation von parametrisierten Echtzeitsystemen. Ausgezeichnete Informatikdissertationen 2012. Bonner Köllen Verlag, 121–130.


Marcel Pockrandt and Paula Herber and Verena Klös and Sabine Glesner (2013). Model Checking Memory-Related Properties of Hardware/Software Co-designs. International Embedded Systems Symposium (IESS 2013). Springer, 92-103.

Link zur Originalpublikation

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

Daniel Stöhr and Sabine Glesner (2013). Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. 7th International Symposium on Theoretical Aspects of Software Engineering (TASE'13). IEEE Computer Society, 7-14.

Link zur Originalpublikation

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

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

Thomas Göthel and Sabine Glesner (2013). Automatic Validation of Infinite Real-Time Systems. Proceedings FormaliSE, 57–63.

Link zur Originalpublikation

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

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

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

John Wickerson and Mike Dodds and Matthew Parkinson (2013). Ribbon Proofs for Separation Logic. European Symposium on Programming (ESOP '13, to appear). Springer.


2012

Michael Beyer (2012). Static Analysis of Run-time Modes in Kahn Process Networks. Berlin Institute of Technology (TU-Berlin) Shaker.

Link zur Originalpublikation

Robert Reicherdt and Sabine Glesner (2012). Slicing MATLAB Simulink models. 34th International Conference on Software Engineering (ICSE), 551 -561.

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

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

2011

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

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.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe