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.

[Show all publications]

[Google Scholar author page]

Latest publications:

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)