direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

W

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


T


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

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

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

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

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


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


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

S

Stefan Sydow and Mohannad Nabelsee and Anselm Busse and Sebastian Koch and Helge Parzyjegla (2016). Performance-Aware Device Driver Architecture for Signal Processing. 2016 28th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 67-75.

Link zur Originalpublikation

Stefan Sydow and Mohannad Nabelsee and Helge Parzyjegla and Paula Herber (2018). A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing. 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2018, to appear). Conference Publishing Services (CPS), 239-243.

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

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

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

Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2016). Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. Cyber Physical Systems. Design, Modeling, and Evaluation. Springer, 71-86.

Link zur Originalpublikation

Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2018). Equivalence Checking for Hybrid Control Systems modelled in Simulink. IEEE International Workshop on Model-based Verification and validation (MVV 2018). IEEE, 572–579.


Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2016). Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models. ICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications. IARIA XPS Press, 45-50.

Link zur Originalpublikation

Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2015). Towards the Verification of Refactorings of Hybrid Simulink Models. Proceedings of the Third International Workshop on Verification and Program Transformation (VPT 2015), 69.

Link zur Originalpublikation

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

Link zur Originalpublikation

Konstantin Scherer and Tobias Pfeffer and Sabine Glesner (2019). I/O Interaction Analysis of Binary Code. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), 225-230.

Link zur Publikation Link zur Originalpublikation

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

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

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

R

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

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

Link zur Originalpublikation

P

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


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.

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

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

Link zur Originalpublikation

Tobias Pfeffer and Paula Herber and Lucas Druschke and Sabine Glesner (2018). Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018). IEEE Computer Society, 235 - 240.

Link zur Originalpublikation

Tobias Pfeffer and Thomas Göthel and Sabine Glesner (2019). Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution. Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy. ACM, 197–208.

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

Tobias Pfeffer and Thomas Göthel and Sabine Glesner (2019). Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), 318-325.

Link zur Publikation Link zur Originalpublikation

Tobias Pfeffer and Sabine Glesner (2019). Timing-Sensitive Synchronization for Efficient Secure Multi-Execution. Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop. ACM, 153–164.

Link zur Publikation Link zur Originalpublikation

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

M

Nikolai Moesus and Matthias Scholze and Sebastian Schlesinger and Paula Herber (2018). Automated Selection of Software Refactorings that Improve Performance. 13th International Conference on Software Technologies (ICSOFT'18, to appear). SCITEPRESS.


Marcus Mikulcak and Paula Herber and Thomas Göthel and Sabine Glesner (2018). Information Flow Analysis of Combined Simulink/Stateflow Models. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018). IEEE Computer Society, 223–228.


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.


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.


L

Martin Lowinski and Dirk Ziegenbein and Sabine Glesner (2016). Splitting tasks for migrating real-time automotive applications to multi-core ECUs. Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems (SIES 2016), 113-120.

Link zur Originalpublikation

Martin Lowinski and Dirk Ziegenbein and Sabine Glesner (2015). Partitioning Embedded Real-Time Control Software based on Communication Dependencies. Proceedings of the International Workshop on Modelling in Automotive Software Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 3–12.

Link zur Originalpublikation

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.


Timm Liebrenz and Paula Herber and Thomas Göthel and Sabine Glesner (2017). Towards Service-oriented Design of Hybrid Systems modeled in Simulink. IEEE International Workshop on QUality Oriented Reuse of Software (QUORS 2017). IEEE, 469–474.

Link zur Originalpublikation

Timm Liebrenz and Paula Herber and Sabine Glesner (2019). A Service-oriented Approach for Decomposing and Verifying Hybrid System Models. International Conference on Formal Aspects of Component Software. Springer.


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

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe