direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

next >> [4]

Joachim Fellmuth and Jonas Zell and Sabine Glesner (2019). Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation [8]. 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

Link to original publication [9]

Jan Olaf Blech (2004). Eine formale Semantik für SSA-Zwischensprachen in Isabelle/HOL [10].


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

Link to original publication [12]

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

Link to original publication [14]

Sabine Glesner (2003). ASMs versus Natural Semantics: A Comparison with New Insights [15]. Abstract State Machines - Advances in Theory and Applications, Proceedings of the 10th International Workshop, ASM 2003. Springer Verlag, Lecture Notes in Computer Science, Vol. 2589, 293-308.


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

Link to original publication [17]

Sabine Glesner and Jan Olaf Blech (2003). Classifying and Formally Verifying Integer Constant Folding [18]. Proceedings of the Workshop COCV 2003: Compiler Optimization meets Compiler Verification. Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 82, No. 2.


Sabine Glesner (2003). Program Checking with Certificates: Separating Correctness-Critical Code [19]. Proceedings of the 12th International FME Symposium (Formal Methods Europe). Springer Verlag, Lecture Notes in Computer Science, Vol. 2805, 758-777.


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


Jan Olaf Blech (2003). Spezifikation und maschinelle Verifikation von Konstantenfaltung in Übersetzern [21].


Sabine Glesner and Rubino Geiß and Boris Boesler (2002). Verified Code Generation for Embedded Systems [22]. In Proceedings of the COCV-Workshop 2002 (Compiler Optimization meets Compiler Verification). 5th European Conferences on Theory and Practice of Software (ETAPS 2002), 1-18.


Sabine Glesner and Wolf Zimmermann (2001). Structural Simulation Proofs based on ASMs even for Non-Terminating Programs [23]. Proceedings of the ASM-Workshop, Eight International Conference on Computer Aided Systems Theory EUROCAST 2001, 235-238.


Sabine Glesner (1999). Natural Semantics for Imperative and Object-Oriented Programming Languages [24]. Proceedings der 29. Jahrestagung der Gesellschaft für Informatik, Arbeitstagung Programmiersprachen. Springer Verlag, 370-379.


Sabine Glesner and Karl Stroetmann (1999). Combining Inclusion Polymorphism and Parametric Polymorphism [25]. Computing Research Repository: Logic in Computer Science Document ID: xxx.cs.LO/9906013, NCSTRL-Server http://www.ncstrl.org/.


Paula Herber and Sabine Glesner (2015). Verification of Embedded Real-time Systems [26]. Formal Modeling and Verification of Cyber Physical Systems. Springer.

Link to original publication [27]

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

Link to original publication [29]

Sabine Glesner (1999). Natürliche Semantik für imperative und objektorientierte Programmiersprachen [30]. Shaker Verlag.


Paula Herber and Marcel Pockrandt and Sabine Glesner (2015). STATE – a SystemC to Timed Automata Transformation Engine [31]. International Conference on Embedded Software and Systems (ICESS). IEEE Computer Society.

Link to original publication [32]

Sabine Glesner (1998). Many-Sorted Natural Semantics - Specification and Generation of the Semantic Analysis for Imperative and Object-Oriented Programming Languages [33]. Proceedings of the Workshop on Functional and Logic Programming


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


Sabine Glesner and Wolf Zimmermann (1998). Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis [35]. Proceedings of the Systems Implementation Conference (SI2000). Chapman & Hall, 249-262.


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 [36]. Proceedings of the International Biosignal Processing Conference, 109:1-4.


Thomas Kolbe and Sabine Glesner (1997). Many-Sorted Logic in a Learning Theorem Prover [37]. Proceedings of the 21st German Annual Conference on Artificial Intelligence (KI'97). Springer Verlag, Lecture Notes in Computer Science, 75-86.

Link to original publication [38]

Sabine Glesner and Wolf Zimmermann (1997). Using Many-Sorted Inference Rules to Generate Semantic Analysis [39]. Proceedings des Workshops der Informatik- Graduiertenkollegs "Promotion tut not: Innovationsmotor Graduiertenkolleg" im Rahmen der GI-Jahrestagung 1997. Verlag der Augustinus Buchhandlung (Aachener Beiträge zur Informatik, Band 21), Otto Spaniol (Hrsg.).


Dirk Tetzlaff and Sabine Glesner (2010). Intelligent Task Mapping using Machine Learning [40]. Proceedings of the 2010 International Conference on Computational Intelligence and Software Engineering (CiSE 2010). IEEE Computer Society.

Link to original publication [41]

Sabine Glesner and Daphne Koller (1995). Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases [42]. Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty (ECSQARU. Springer Verlag, Lecture Notes in Artificial Intelligence, 217-226.

Link to original publication [43]

Marcus Mikulcak and Paula Herber and Thomas Göthel and Sabine Glesner (2018). Information Flow Analysis of Combined Simulink/Stateflow Models [44]. 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.


Tobias Pfeffer and Paula Herber and Lucas Druschke and Sabine Glesner (2018). Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language [45]. 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 to original publication [46]

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

Link to original publication [48]

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


Paula Herber and Verena Klös (2015). A Multi-Robot Search Using LEGO Mindstorms - An Embedded Software Design Project [50]. Workshop on Embedded and Cyber-Physical Systems Education. ACM digital library.

Link to original publication [51]

Verena Klös and Thomas Göthel and Adrian Lohr and Sabine Glesner (2017). Runtime Management and Quantitative Evaluation of Changing System Goals [52]. 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 226–233.


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

Link to original publication [54]

Verena Klös and Thomas Göthel and Sabine Glesner (2017). Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops [55]. 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, 13–18.


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 [56]. Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy. ACM, 197–208.

Link to publication [57] Link to original publication [58]

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) [59]. CAS-H '07: Proceedings of the 4th International Computer Aided Surgery Around the Head Conference. Pro Business Verlag, 19–20.


Verena Klös and Thomas Göthel and Sabine Glesner (2015). Adaptive Knowledge Bases in Self-Adaptive System Design [60]. 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 472 - 478.

Link to original publication [61]

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


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

Link to original publication [64]

Joachim Fellmuth and Thomas Göthel and Sabine Glesner (2018). Instruction Caches in Static WCET Analysis of Artificially Diversified Software [65]. 30th Euromicro Conference on Real-Time Systems (ECRTS), 21:1–21:23.

Link to original publication [66]

Johannes Dyck and Holger Giese and Leen Lambers and Sebastian Schlesinger and Sabine Glesner (2015). Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations [67]. Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 36-45.

Link to original publication [68]

Verena Klös and Thomas Göthel and Sabine Glesner (2018). Comprehensible Decisions in Complex Self-Adaptive Systems [69]. Software Engineering 2018, Fachtagung des GI-Fachbereichs Softwaretechnik. Gesellschaft für Informatik, 215–216.


Thomas Göthel and Sabine Glesner (2010). Towards the Semi-Automatic Verification of Parameterized Real-Time Systems using Network Invariants [70]. Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods. IEEE, 310–314.

Link to original publication [71]

Moritz Kleine and Björn Bartels and Thomas Göthel and Sabine Glesner (2009). Verifying the Implementation of an Operating System Scheduler [72]. Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Softwar Engineering, pp.285-286.

Link to original publication [73]

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

Link to original publication [75]

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

Link to original publication [77]

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


Thomas Göthel and Nils Jähnig and Simon Seif (2017). Refinement-Based Modelling and Verification of Design Patterns for Self-Adaptive Systems [79]. Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM). Springer, 157–173.


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

Link to original publication [81]

Marcel Pockrandt and Paula Herber and Sabine Glesner (2011). Towards a Formal Semantics of the SystemC-TLM Core Interfaces [82]. GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)


next >> [86]
------ Links: ------

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008