26 Infos zu Timm Liebrenz

1 Aktuelle Nachrichten

Timm Liebrenz (TU Berlin) Automatic Abstraction and Slicing for HW/SW Co-Designs. 15:30. Markus Tasch (TU Darmstadt) I-MAKS -- Formalizing Information ...

3 Bücher zum Namen

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic...

This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in...

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD,...

9 Wissenschaftliche Publikationen

TIMM Liebrenz, M.Sc. DFG Project RESCUE · Software and Embedded Systems Engineering. TU BerlinBerlin. Raum TEL

List of computer science publications by Timm Liebrenz

Timm Liebrenz, Paula Herber, Sabine Glesner: A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. FACS 2019: ;

Bibliographic content of FACS 2019

1 Allgemeine Veröffentlichungen

The ICFEM conference proceedings detail with formal methods, software engineering, formal verification, type theory, computer aided verification, formal...

11 Webfunde aus dem Netz

... for Modularity Analysis Andrea Fornaia, Emiliano Tramontana Towards Service -oriented Design of Hybrid Systems Modeled in Simulink Timm Liebrenz, Paula ...

... Ekaterina Soboleva, Verena Klös, Christian Würtz, Anselm Breitenreiter, Timm Liebrenz, Merten Christopher Sach, Nicolas Kuhnen, Johaes Glienke, Andreas ...

Timm Liebrenz and Verena Klös and Paula Herber Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in ...

International Conference on High-Integrity Language Technology

... Timm Liebrenz TU Berlin; Vittoria Nardone University of Sannio; Lina F. Soualmia Normandie Univ., UNIROUEN, LITIS EA 4108, NormaSTIC CNRS FRE

Autoren: Timm Liebrenz, Paula Herber, Sabine Glesner. Verlag: Springer International Publishing. Erschienen in: Formal Methods and Software Engineering.

Timm Liebrenz, Paula Herber and Sabine Glesner, Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X.

The use of general descriptive names, registered names, trademarks, service marks, etc biology, enabling the fast ...

Timm Liebrenz, Paula Herber and Sabine Glesner: A Service-oriented Approach for Decomposing and Verifying Hybrid System Models (45 min. + nominee best ...

Timm Liebrenz, Paula Herber, +1 author Sabine Glesner. Simulink is widely used in model-driven design.However, the complexity of hybrid systems that are ...

Liebrenz, Timm Gruhn, Helena Jähnig, Nils Mikulcak, Marcus ...