Home | english  | Impressum | Sitemap | KIT
DavidFarago07

Dipl.-Inform. David Faragó

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

Aktivitäten in der Wissenschaftlichen Gesellschaft

Projekte (selbst eingeworbene Drittmittel)

FYS: Combining formal verification with testing

MOCHA

Veröffentlichungen
Titel Autor(en) Quelle

David Faragó

David Faragó

Doctoral dissertation

David Faragó, Arne-Michael Törsel, Michael Mlynarski, Stephan Weißleder, Baris Güldali, Christian Brandes

OBJEKTspektrum, Ausgabe 04/13

Alfons Laarman, David Faragó

Proceedings of the 5th NASA Formal Methods Symposium (NFM 2013), NASA Ames Research Center, CA, USA, May 14-16, 2013. LNCS, Springer, 2013.

Stephan Weißleder, Baris Güldali, Michael Mlynarski, Arne-Michael Törsel, David Faragó, Florian Prester, Mario Winter

Objekt Spektrum, Ausgabe 06/2011, Aktuelle Trends.

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.

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).

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

Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. LNCS 6371, Springer, 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).



Bearbeitete Studien- und Diplomarbeit
Titel Typ Betreuer
Studienarbeit

Dr. Thomas Worsch

Diplomarbeit


Betreute Studien-/Diplomarbeiten
Titel Typ Autor Jahr
Studienarbeit

Felix Kutzner

04.02.2014
Bachelorarbeit

Florian Larysch

2012
Diplomarbeit

Alexander Pascanu

2010


Lehre
Titel Typ Ort Zeit
Praktikum (P)
Praktikum (P)
Seminar
Seminar
Seminar
Seminar (S)
Vorlesung
Vorlesung / Übung (VÜ)
Seminar
Vorlesung / Übung (VÜ)
Praktikum

Raum 305

Praktikum Raum 305