direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

<< zurück [1]
vor >> [5]

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 [9]. 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 [10]. Ad Hoc Networking Workshop (MED-HOC-NET), 2014 13th Annual Mediterranean, 1-7.

Link zur Originalpublikation [11]

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 [12]. IEEE International Conference of Healthcare Informatics (ICHI)

Link zur Originalpublikation [13]

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


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

Link zur Originalpublikation [16]

Björn Bartels (2014). A mechanized verification environment for real-time process algebras and low-level programming languages [17]. Dissertation

Link zur Originalpublikation [18]

Marcel Pockrandt (2014). Model checking memory-related properties of hardware/software codesigns [19]. Dissertation


Daniel Stöhr (2014). Automated composition of timed services in medical applications [20]. Dissertation


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

Link zur Originalpublikation [22]

Franziska Bathelt-Tok and Sabine Glesner and Oliver Blankenstein (2014). Data-Dependent Controller Synthesis to Enable Reliable and Safe Interoperability of Medical Devices [23]. Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare. 8377. ACM, 162-165.

Link zur Originalpublikation [24]

Franziska Bathelt-Tok and Sabine Glesner (2014). Towards the Automated Synthesis of Data Dependent Service Controllers [25]. PhD Symposium of the 11th International Conference on Service Oriented Computing (ICSOC 2013). Springer-Verlag Berlin Heidelberg, 528-534.

Link zur Originalpublikation [26]

Robert Reicherdt and Sabine Glesner (2014). Formal Verification of Discrete-Time MATLAB/Simulink Models using Boogie [27]. 12th International Conference on Software Engineering and Formal Methods. Springer, 190-204.

Link zur Originalpublikation [28]

Paula Herber and Bettina Hünnemeyer (2014). Formal Verification of SystemC Designs using the BLAST Software Model Checker [29]. International Workshop on Model-Based Architecting and Construction of Embedded Systems (ACES-MB@MODELS). CEUR, 44-53.

Link zur Originalpublikation [30]

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

Link zur Originalpublikation [32]

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

Link zur Originalpublikation [34]

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


2013

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

Link zur Originalpublikation [37]

Thomas Göthel (2013). Maschinelle Verifikation von parametrisierten Echtzeitsystemen [38]. 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 [39]. International Embedded Systems Symposium (IESS 2013). Springer, 92-103.

Link zur Originalpublikation [40]

Helena Gruhn and Sabine Glesner (2013). Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks [41]. Formal Engineering approaches to Software Components and Architectures (FESCA@ETAPS2013)), 49-62.

Link zur Originalpublikation [42]

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

Link zur Originalpublikation [44]

Helena Gruhn and Daniel Stöhr and Mehmet Gövercin and Sabine Glesner (2013). Design and Verification of a Health-Monitoring Driver Assistance System [45]. Pervasive Computing Technologies for Healthcare (PervasiveHealth), 2013 7th International Conference on. IEEE Xplore, 266-267 .

Link zur Originalpublikation [46]

Paula Herber and Robert Reicherdt and Patrick Bittner (2013). Bit‐precise Formal Verification of Discrete‐Time MATLAB/Simulink Models using SMT Solving [47]. International Conference on Embedded Software (EMSOFT'13), 1-10.

Link zur Originalpublikation [48]

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

Link zur Originalpublikation [50]

Dirk Tetzlaff and Sabine Glesner (2013). Static Prediction of Loop Iteration Counts Using Machine Learning to Enable Hot Spot Optimizations [51]. Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA'13). IEEE Computer Society.

Link zur Originalpublikation [52]

Dirk Tetzlaff and Sabine Glesner (2013). Intelligent Prediction of Execution Times [53]. Proceedings of the Second International Conference on Informatics & Applications (ICIA2013). IEEE Computer Society, 234–239.

Link zur Originalpublikation [54]

Daniel Stöhr and Sabine Glesner (2013). Towards Automated and Correct Composition of Timed Services [55]. Service-Oriented Computing - ICSOC 2012 Workshops. Springer Berlin Heidelberg, 319-331.

Link zur Originalpublikation [56]

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


2012

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

Link zur Originalpublikation [59]

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

Link zur Originalpublikation [61]

Elke Salecker and Sabine Glesner (2012). Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing [62]. IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 610 -619.

Link zur Originalpublikation [63]

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

Link zur Originalpublikation [65]

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

Link zur Originalpublikation [67]

Thomas Göthel (2012). Mechanical Verification of Parameterized Real-Time Systems [68]. 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 [69]. Proceedings of the 4th Central European Workshop on Services and their Composition. CEUR-WS.org.

Link zur Originalpublikation [70]

Paula Herber (2012). Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata [71]. it - Information Technology, 296 - 300.

Link zur Originalpublikation [72]

Marcel Pockrandt and Paula Herber and Holger Gross and Sabine Glesner (2012). Optimized Transformation and Verification of SystemC Methods [73]. Proceedings of the 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012). Electronic Communications of the EASST.

Link zur Originalpublikation [74]

Dirk Tetzlaff and Sabine Glesner (2012). Static Prediction of Recursion Frequency Using Machine Learning to Enable Hot Spot Optimizations [75]. Proceedings of the 10th IEEE Symposium on Embedded Systems for Real-time Multimedia (ESTIMedia), 42-51.

Link zur Originalpublikation [76]

Michael Beyer and Sabine Glesner (2012). Static Analysis of Run-time Modes in Synchronous Process Networks [77]. PSI '11: Perspectives of Systems Informatics, 8th International Andrei Ershov Memorial Conference. Springer Verlag / Heidelberg, 55-67.

Link zur Originalpublikation [78]

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 [79]. Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS'11)

Link zur Publikation [80]

Paula Herber and Marcel Pockrandt and Sabine Glesner (2011). Transforming SystemC Transaction Level Models into UPPAAL Timed Automata [81]. ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign. IEEE Computer Society, 161-170.

Link zur Originalpublikation [82]

Paula Herber (2011). Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata [83]. 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 [84]. 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 [85]. 1st Int’l Workshop on Variability-intensive Systems Testing, Validation & Verification (ICST-VAST2011). IEEE.

Link zur Originalpublikation [86]

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

Link zur Originalpublikation [88]

Marcel Pockrandt and Paula Herber and Sabine Glesner (2011). Towards a Formal Semantics of the SystemC-TLM Core Interfaces [89]. 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 [90]. 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 [91]. 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 [92]. IEEE/ACM Symposium on Embedded Systems for Real-time Multimedia. IEEE Computer Society, 66-75.

Link zur Originalpublikation [93]

Björn Bartels and Sabine Glesner (2011). Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP [94]. Proceedings of the 18th Asia-Pacific Software Engineering Conference, 195-202.


<< zurück [95]
vor >> [99]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008