Home | deutsch  | Legals | Sitemap | KIT
df_foto2

Dipl.-Inform. David Faragó

wiss. Mitarbeiter
Room: 308
Phone: +49 721 608-47322
Fax: +49 721 608-44211
faragoPjh0∂kit edu
Am Fasanengarten 5
Gebäude 50.34
D-76131 Karlsruhe

Aktivitäten in der Wissenschaftlichen Gesellschaft

Projekte

FYS: Combining formal verification with testing

 MOCHA

Publications
Title Image Source Date

Doctoral dissertation

29.01.2016

OBJEKTspektrum, Ausgabe 04/13

Juli 2013
5th NASA Formal Methods Symposium (NFM 201) May 14-16, 2013

Objekt Spektrum, Ausgabe 06/2011, Aktuelle Trends.

28.10.2011

31. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), am 3. und 4. Februar 2011 in Paderborn. Testing in modern IT-Contexts, ROI und KPIs des Testens.

03. Februar 2011

Lecture Notes in Informatics (LNI) Volume P-179 - Proceedings of the Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy).

17. September 2010

testing experience, The Magazine for Professional Testers; 3/2010: Metrics, pages 104-106; Díaz & Hilterscheid, September 2010; ISSN 1866-5705.

September 2010

Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. LNCS 6371, Springer, 2010.

September 20-21, 2010.

30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), Testing meets Agility

17.06.2010

Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. LNCS, vol. 5578, pp. 50-67. Springer, Heidelberg (2009).



Theses
Title Research topic Supervisor Author

Dr. Thomas Worsch

David Faragó



Supervised Theses
Titel Typ Autor Jahr
Studienarbeit

Felix Kutzner

04.02.2014
Bachelorarbeit

Florian Larysch

2012
Diplomarbeit

Alexander Pascanu

2010


Teaching
Title Type Place Time
Praktikum (P)
Vorlesung / Übung (VÜ)
Praktikum (P)
Seminar (S)
Vorlesung / Übung (VÜ)
Seminar
Praktikum

Raum 305

Seminar
Praktikum Raum 305
Seminar
Seminar
Vorlesung