Some of the best thesis works written in the ftsrg Research Group. Archived for easier access. If you feel like some work is missing feel free to submit an issue or a pull request on GitHub.

Bachelor’s thesis works

  1. Bajczi, Levente. “Stateless Software Model Checking Parameterized with Memory Consistency Models.” Bachelor’s thesis, Budapest University of Technology and Economics, 2020. [pdf] [bib]
  2. Bajkai, Dorina Viktória. “Combining Abstract Domains for Software Model Checking.” Bachelor’s thesis, Budapest University of Technology and Economics, 2018. [pdf] [bib]
  3. Búr, Márton. “Matlab-Simulink Rendszerek Modell Alapú Validációja.” Bachelor’s thesis, Budapest University of Technology and Economics, 2013. [pdf] [bib]
  4. Czipó, Bence. “Hierarchical Abstraction for the Verification of State-Based Systems.” Bachelor’s thesis, Budapest University of Technology and Economics, 2016. [pdf] [bib]
  5. Dobos-Kovács, Mihály. “Combining Testing and Formal Verification in Automotive Software Development.” Bachelor’s thesis, Budapest University of Technology and Economics, 2019. [pdf] [bib]
  6. Elekes, Márton. “Modellvezérelt Automatatanulás.” Bachelor’s thesis, Budapest University of Technology and Economics, 2017. [pdf] [bib]
  7. Gujgiczer, Anna. “Időzített Rendszerek Tanulás Alapú Analízise.” Bachelor’s thesis, Budapest University of Technology and Economics, 2017. [pdf] [bib]
  8. Hajdu, Ákos. “Extensions to the CEGAR Approach on Petri Nets.” Bachelor’s thesis, Budapest University of Technology and Economics, 2013. [pdf] [bib]
  9. Horváth, Benedek. “Elosztott Biztonságkritikus Rendszerek XtUML Alapú Modellvezérelt Fejlesztése.” Bachelor’s thesis, Budapest University of Technology and Economics, 2014. [pdf] [bib]
  10. Lucz, Soma. “Static Analysis Algorithms for JavaScript.” Bachelor’s thesis, Budapest University of Technology and Economics, 2017. [pdf] [bib]
  11. Mondok, Milán. “Formal Verification of Engineering Models via Extended Symbolic Transition Systems.” Bachelor’s thesis, Budapest University of Technology and Economics, 2020. [pdf] [bib]
  12. Nguyen, Phan Anh. “Anomaly Detection in Networks.” Bachelor’s thesis, Budapest University of Technology and Economics, 2015. [pdf] [bib]
  13. Sallai, Gyula. “Development of a Verification Compiler for C Programs.” Bachelor’s thesis, Budapest University of Technology and Economics, 2016. [pdf] [bib]
  14. Semeráth, Oszkár. “Modelltranszformációk Formális Analízise.” Bachelor’s thesis, Budapest University of Technology and Economics, 2011. [pdf] [bib]
  15. Stein, Dániel. “Incremental Static Analysis of Large Source Code Repositories.” Bachelor’s thesis, Budapest University of Technology and Economics, 2014. [pdf] [bib]
  16. Szkupien, Péter. “Valós Idejű Tesztek Generálása Időzített Viselkedésmodellekből.” Bachelor’s thesis, Budapest University of Technology and Economics, 2020. [pdf] [bib]
  17. Tegzes, Tamás. “Applying Incremental, Inductive Model Checking to Software.” Bachelor’s thesis, Budapest University of Technology and Economics, 2018. [pdf] [bib]

Master’s thesis works

  1. Bajczi, Levente. “Handling Axiomatic Memory Models in Abstraction-Based Model Checking of Concurrent and Distributed Systems.” Master’s thesis, Budapest University of Technology and Economics, 2022. [pdf] [bib]
  2. Bajkai, Dorina Viktória. “Efficient Combinations of Predicate Abstraction and Explicit-Value Analysis for Software Model Checking.” Master’s thesis, Budapest University of Technology and Economics, 2020. [pdf] [bib]
  3. Bergmann, Gábor. “Incremental Graph Pattern Matching and Applications.” Master’s thesis, Budapest University of Technology and Economics, 2008. [pdf] [bib]
  4. Búr, Márton. “A General Purpose Local Search-Based Pattern Matching Framework.” Master’s thesis, Budapest University of Technology and Economics, 2015. [pdf] [bib]
  5. Cseppentő, Lajos. “Evaluating Code-Based Test Generator Tools.” Master’s thesis, Budapest University of Technology and Economics, 2016. [pdf] [bib]
  6. Darvas, Dániel. “Incremental Extension of the Saturation Algorithm-Based Bounded Model Checking of Petri Nets.” Master’s thesis, Budapest University of Technology and Economics, 2014. [pdf] [bib]
  7. Donát, Csikós. “Incremental Dependency Analysis of a Large Software Infrastructure.” Master’s thesis, Budapest University of Technology and Economics, 2012. [pdf] [bib]
  8. Farkas, Rebeka. “Verification of Timed Automata by CEGAR-Based Algorithms.” Master’s thesis, Budapest University of Technology and Economics, 2016. [pdf] [bib]
  9. Hajdu, Ákos. “A Survey on CEGAR-Based Model Checking.” Master’s thesis, Budapest University of Technology and Economics, 2015. [pdf] [bib]
  10. Harmath, Dénes. “Kottaszerkesztő Szoftver Fejlesztése Eclipse Alapokon.” Master’s thesis, Budapest University of Technology and Economics, 2009. [pdf] [bib]
  11. Hegedüs, Ábel. “A Framework for the Dependability Analysis of UML-Based System Designs with Maintenance.” Master’s thesis, Budapest University of Technology and Economics, 2009. [pdf] [bib]
  12. Honfi, Dávid. “On Supporting Automatic Test Generation.” Master’s thesis, Budapest University of Technology and Economics, 2015. [pdf] [bib]
  13. Horváth, Benedek. “Analyzing Scenario-Based Specifications.” Master’s thesis, Budapest University of Technology and Economics, 2017. [pdf] [bib]
  14. Klenik, Attila. “Efficient Stochastic Analysis of Asynchronous Systems.” Master’s thesis, Budapest University of Technology and Economics, 2016. [pdf] [bib]
  15. Marussy, Kristóf. “Design-Space Exploration with Stochastic Metrics.” Master’s thesis, Budapest University of Technology and Economics, 2017. [pdf] [bib]
  16. Molnár, Vince. “Advanced Saturation-Based Model Checking.” Master’s thesis, Budapest University of Technology and Economics, 2014. [pdf] [bib]
  17. Nagy, András Szabolcs. “Parallel Algorithms in Design Space Exploration.” Master’s thesis, Budapest University of Technology and Economics, 2014. [pdf] [bib]
  18. Ráth, István. “Declarative Specification of Domain Specific Visual Languages.” Master’s thesis, Budapest University of Technology and Economics, 2006. [pdf] [bib]
  19. Sallai, Gyula. “LLVM IR-Based Transformations for Software Model Checking.” Master’s thesis, Budapest University of Technology and Economics, 2019. [pdf] [bib]
  20. Semeráth, Oszkár. “Consistency Analysis of Domain-Specific Languages.” Master’s thesis, Budapest University of Technology and Economics, 2013. [pdf] [bib]
  21. Stein, Dániel. “Graph-Based Source Code Analysis of JavaScript Repositories.” Master’s thesis, Budapest University of Technology and Economics, 2016. [pdf] [bib]
  22. Szabó, Tamás. “Transitive Reachability for Efficient Event-Driven Model Transformations.” Master’s thesis, Budapest University of Technology and Economics, 2012. [pdf] [bib]
  23. Szakállas, Dávid. “Evaluation of OpenCypher Graph Queries with a Local Search-Based Algorithm.” Master’s thesis, Budapest University of Technology and Economics, 2017. [pdf] [bib]
  24. Szárnyas, Gábor. “Superscalable Modeling.” Master’s thesis, Budapest University of Technology and Economics, 2013. [pdf] [bib]
  25. Tegzes, Tamás. “Learning and Synthesis Supported Software Verification.” Master’s thesis, Budapest University of Technology and Economics, 2020. [pdf] [bib]
  26. Verbőczy, Kristóf. “Developing a Test Generation Tool for C Programs.” Master’s thesis, Budapest University of Technology and Economics, 2018. [pdf] [bib]

PhD thesis works

  1. Darvas, Dániel. “Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems.” PhD thesis, Budapest University of Technology and Economics, 2017. [pdf] [bib]
  2. Hajdu, Ákos. “Effective Domain-Specific Formal Verification Techniques.” PhD thesis, Budapest University of Technology and Economics, 2020. [pdf] [bib]
  3. Micskei, Zoltán. “Languages and Frameworks for Specifying Test Artifacts.” PhD thesis, Budapest University of Technology and Economics, 2013. [pdf] [bib]
  4. Molnár, Vince. “Extensions and Generalization of the Saturation Algorithm in Model Checking.” PhD thesis, Budapest University of Technology and Economics, 2019. [pdf] [bib]
  5. Semeráth, Oszkár. “Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers.” PhD thesis, Budapest University of Technology and Economics, 2019. [pdf] [bib]
  6. Szárnyas, Gábor. “Query, Analysis, and Benchmarking Techniques for Evolving Property Graphs of Software Systems.” PhD thesis, Budapest University of Technology and Economics, 2019. [pdf] [bib]
  7. Vörös, András. “Symbolic Verification of Petri Net Based Models.” PhD thesis, Budapest University of Technology and Economics, 2018. [pdf] [bib]