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

 

All Rights Reserved 2012 http://www.drgames.de/

feed-image Feed Entries