This seminar is targeted towards PhD students, postdocs and students working on a bachelor or master thesis supervised by our group.

The presentations are about ongoing or current research in the field of formal methods.

The seminar takes place every two weeks. 


Date and Place Title Presenter
Wintersemester 2017/18
08.11.2017 Deductive Verification of Railway Operations Eduard Kamburjan

14:00 - 15:30
S2|02 / A126

Towards a Framework for Checking the Correctness of Compilation Rules by Symbolic Execution Dominic Steinhöfel
10:00 - 13:15
S2|02 / A126
Pending Peter Schauberger
Ritika Rawat
Tobias Röttger
Danish Mohd
Jakob Laenge
Asmae Heydari Tabar
Sommersemester 2017
15.09.2017 Prototyping Formal System Models with Active Objects Eduard Kamburjan

09:30 - 12:00
Sem.Raum. S1|03

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows Dominic Steinhöfel
Assessing the Coverage of Formal Specifications Dominic Steinhöfel
Wintersemester 2016/17
14:00 - 15:00
S1|02 / A126
Stateful Session Types for Object-Oriented Languages with Actors and Futures Eduard Kamburjan
14:30 - 16:30
Merge Block Contracts for a Dynamic Logic Calculus Melissa Mendoza
S2|02 / A126 Algorithmic Debugging with Symbolic Execution Trees Peter Schauberger
14:30 - 16:30
A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse Crystal Din, PhD
S2|02 / E302 A model of cache coherent multi-core architectures Lizeth Tarifa, PhD
14:00 - 15:30
S2|02 / B002
The HyVar project: approach, architecture and beyond Prof. Ferruccio Damiani, PhD
14:00 - 15:00
S2|02 / A126
HyVar and More Dr. Michael Lienhardt
Sommersemester 2015


Room A313 in


Symbolic Execution in a Directed Acyclic Graph Dominic Scheurer
Wintersemester 2014/2015



Room A213 in S2|02

Developing Software Product Lines with the ABS Language Radu Muschevici


Room B002 in S2|02

Abstraction On-Demand: Automatically Generating Invariants for Loops and Recursive Method Calls

Nathan Wasser


Room A213 in S2|02

Automatic Analysis of Business Rules Johannes Schramm


Room A313, S2|02

A Logic Formalisation of the Methodcontract Rule in Coq Alexander Fuhs


Room A213, S2|02

Program analysis using the first-order theorem prover Vampire Simon Robillard
Software Engineering Group


Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstr. 10
64289 Darmstadt

Gebäude S2|02, Räume  A204, A223

Tel:+49 6151 16-21361 (Sekretariat) 

Fax:+49 6151 16-22361

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang