Leo Hatvani, Lecturer
Leo has published research in the domains of embedded systems, formal verification, and machine learning. His secondary interests are data visualization and human-computer interaction.
Automated Functional Dependency Detection Between Test Cases Using Doc2Vec and Clustering (Apr 2019) Sahar Tahvili, Leo Hatvani, Michael Felderer , Wasif Afzal, Markus Bohlin The First IEEE International Conference On Artificial Intelligence Testing (AI Testing)
Automated Functional Dependency Detection Between Test Cases Using Doc2Vec and Clustering (Apr 2019) Sahar Tahvili, Leo Hatvani, Michael Felderer , Wasif Afzal, Markus Bohlin The First IEEE International Conference On Artificial Intelligence Testing (AITest'2019)
Cluster-Based Test Scheduling Strategies Using Semantic Relationships between Test Specifications (Jun 2018) Sahar Tahvili, Leo Hatvani, Michael Felderer , Wasif Afzal, Mehrdad Saadatmand, Markus Bohlin 5th International Workshop on Requirements Engineering and Testing (RET'18)
Optimal Priority and Threshold Assignment for Fixed-priority Preemption Threshold Scheduling (Oct 2017) Leo Hatvani, Sara Afshar, Reinder J. Bril 7th Embedded Operating Systems Workshop (EWiLi'17)
Adaptive Task Automata with Earliest-Deadline-First Scheduling (Nov 2014) Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson Electronic Communications of the EASST Volume 70: Automated Verification of Critical Systems (EASST'14)
Adaptive Task Automata with Earliest-Deadline-First Scheduling (Sep 2014) Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson Pre-proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS'14)