Vorträge
Variablenelimination für symbolische Modelle PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im Rahmen der 39. GI-Jahrestagung (Modellbasiertes Testen)

Download: motes09vortrag.pdf

 
Rekursionspräzise Intervallanalysen PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'09).

Download: kps09vortrag.pdf

 
Äquivalenzanalysen - exakt oder nicht - im Vergleich PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im 26. Workshop Programmiersprachen und Rechenkonzepte 2009

Download: rur09.pdf

 
Mona Lisa's Backbones PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag für "English for Academic Settings" (Institut für Anglistik und Amerikanistik) im SS 2009.

Download: MonaLisaBackbones.pdf

 
Backbones im Traveling Salesmen Problem PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im Forschungsseminar Optimierung (Institut für Mathematik) vom SS 2008.

Download: backbones.pdf

 
Aktueller Stand meiner Promotion PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im Oberseminar Softwaretechnik und Programmiersprachen vom SS 2008.

Download: promo_ss08.pdf

 
Modellreduktionstechniken für symbolische Kellersysteme PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im 25. Workshop "Programmiersprachen und Rechenkonzepte" der Gesellschaft für Informatik im Mai 2008.

Download:  vortrag_pr08.pdf

 
Programmanalysen zur Verbesserung der Softwaremodellprüfung PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im Forschungsseminar Softwaretechnik und Programmiersprachen im WS 2007/2008.

Download: promo_ws07.pdf

 
Slicing zur Modellreduktion von symbolischen Kellersystemen PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im Workshop "Programmiersprachen und Rechenkonzepte" im Mai 2007.

Download:  wpr.pdf

 
Vortrag zum aktuellen Stand meiner Promotion PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im Oberseminar Softwaretechnik und Programmiersprachen SS 2007.

Download:  oberss07.pdf

 
Überführung von Quellcode in Kellersysteme PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im Seminar Komponentensysteme SS 2006.

Download: intrakomponentalesMC.pdf

 
Toleranzen in Helsgauns TSP-Heuristik PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag in den Forschungsseminaren der Technischen Informatik, der Softwaretechnik und Programmiersprachen sowie im Oberseminar Optimierung (in der Mathematik) im SS 2006.

Download: vortragDPL.pdf

 
An Effective Implementation of the Lin-Kernighan Traveling Salesman Heuristic by Keld Helsgaun PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im Seminar "Graphen-Algorithmen" im SS 2005.

Download: helsgaun.zip

 
A Pragmatic Approach to Model Checking Real Code and Static Checking of Interrupt-Driven Software PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im Seminar "Kontextfreie Modellprüfung" im SS 2005.

Download: mcrc_ids_vortrag.zip

 
Efficient Algorithm for Model Checking Pushdown Systems PDF Drucken
Geschrieben von: Dirk Richter   

Vortrag im Seminar "Kontextfreie Modellprüfung" im SS 2005.

Download: eampds_vortrag.zip