Leo Hatvani, Other
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.
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)
Adaptive Task Automata with Earliest-Deadline-First Scheduling (Aug 2014) Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson
Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata (Feb 2013) Leo Hatvani, Cristina Seceleanu, Paul Pettersson ACM SIGBED Review