| Improved on-the-fly livelock detection A Laarman, D Faragó NASA Formal Methods Symposium, 32-47, 2013 | 8 | 2013 |
| Improved on-the-fly livelock detection A Laarman, D Faragó NASA Formal Methods Symposium, 32-47, 2013 | 8 | 2013 |
| Correctness of sensor network applications by software bounded model checking F Werner, D Faragó International Workshop on Formal Methods for Industrial Critical Systems …, 2010 | 8 | 2010 |
| Improving non-progress cycle checks D Faragó, PH Schmitt International SPIN Workshop on Model Checking of Software, 50-67, 2009 | 7 | 2009 |
| Modellbasiertes testen: hype oder realität? S Weißleder, B Güldali, M Mlynarski, AM Törsel, D Faragó, F Prester, ... OBJEKTSpektrum, 2011 | 6 | 2011 |
| Model-based testing in agile software development D Faragó 30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV …, 2010 | 5 | 2010 |
| Model checking of randomized leader election algorithms D Faragó Master's thesis, Universität Karlsruhe, 2007 | 5 | 2007 |
| Improved underspecification for model-based testing in agile development D Faragó FM+ AM2010–Second International Workshop on Formal Methods and Agile Methods, 2010 | 3 | 2010 |
| Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT B Eberhardinger, D Farago, M Friske, D Sokenou Softwaretechnik-Trends 36 (3), 2016 | 2 | 2016 |
| Drei Methoden, ein Ziel: Testautomatisierung mit BDD, MBT und KDT im Vergleich C Brandes, B Eberhardinger, D Faragó, M Friske, B Güldali, A Pietschker | 2 | 2015 |
| Nondeterministic Coverage Metrics as Key Performance Indicator for Model-and Value-based Testing D Faragó Treffen der GI-Fachgruppe Test, Analyse and Verifikation von Software (TAV), 2011 | 2 | 2011 |
| Towards a Taxonomy for Applying Behavior-Driven Development (BDD) D Faragó, M Friske, D Sokenou Proceedings of “Software Qualität in der Ausbildung, 43. Treffen der …, 2019 | 1 | 2019 |
| Model Checking and Model-Based Testing D Faragó | 1 | 2016 |
| Model Checking and Model-Based Testing - Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations D Faragó https://publikationen.bibliothek.kit.edu/1000059473, 2016 | 1 | 2016 |
| Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil-Branche D Faragó | 1 | 2015 |
| Automatic heavy-weight static analysis tools for finding bugs in safety-critical embedded C/C++ code D Farago, F Merz, C Sinz Softwaretechnik-Trends 34.3, 2014 | 1 | 2014 |
| QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking MK Büning, C Sinz, D Faragó Software Verification, 21-32, 2020 | | 2020 |
| Lazy On-the-fly Model-Based Testing D Faragó Test, Analyse und Verifikation von Software–gestern, heute, morgen, 93, 2017 | | 2017 |
| Mitarbeiter D Farago David Farago, 2013 | | 2013 |
| Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt D Faragó, AM Törsel, M Mlynarski, S Weißleder, B Güldali, C Brandes OBJEKTspektrum, 32-39, 2013 | | 2013 |
Alfons LaarmanAssistant Professor, Leiden UniversityVerified email at liacs.leidenuniv.nl
