Home | english  | Impressum | Sitemap | KIT
DavidFarago07

Dipl.-Inform. David Faragó

wiss. Mitarbeiter
Raum: 308
Tel.: +49 721 608-47322
Fax: +49 721 608-44211
faragoBgj7∂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)
Vorlesung / Übung (VÜ)
Praktikum (P)
Seminar (S)
Vorlesung / Übung (VÜ)
Seminar
Praktikum

Raum 305

Seminar
Praktikum Raum 305
Seminar
Seminar
Vorlesung