Content

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. 

Dates

Date and Place Title Presenter
 
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
 
08.02.2017
14:00 - 15:00
S1|02 / A126
Stateful Session Types for Object-Oriented Languages with Actors and Futures Eduard Kamburjan
18.01.2017
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
11.01.2017
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.12.2016
14:00 - 15:30
S2|02 / B002
The HyVar project: approach, architecture and beyond Prof. Ferruccio Damiani, PhD
30.11.2016
14:00 - 15:00
S2|02 / A126
HyVar and More Dr. Michael Lienhardt
 
Sommersemester 2015
 

29.04.2015

Room A313 in

S2|02

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

29.10.2014

 

Room A213 in S2|02

Developing Software Product Lines with the ABS Language Radu Muschevici

12.11.2014

Room B002 in S2|02

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

Nathan Wasser

26.11.2014

Room A213 in S2|02

Automatic Analysis of Business Rules Johannes Schramm

17.12.2014

Room A313, S2|02

A Logic Formalisation of the Methodcontract Rule in Coq Alexander Fuhs

21.01.2015

Room A213, S2|02

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

Contact

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

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