Logic and Formal Methods
df_foto2

Dipl.-Inform. David Faragó

Projekte

FYS: Combining formal verification with testing

 MOCHA

Publications
Title Image Source Date

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

Supervised Theses
Titel Typ Autor Jahr
Studienarbeit

Felix Kutzner

04.02.2014
Bachelorarbeit

Florian Larysch

2012
Diplomarbeit

Alexander Pascanu

2010