Leo Hatvani, Other
Leo Hatvani is a PhD student at Mälardalens Högskola (MDH), Västerås. He graduated at Faculty of Electrical Engineering in Sarajevo in January 2009. His diploma thesis was "Development of Fuzzy Inference Systems Using Fuzzy Toolbox". He is currently working on developing formal verification techniques for adaptable embedded systems.
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
Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata (Apr 2012) Leo Hatvani, Cristina Seceleanu, Paul Pettersson 4th Workshop on Adaptive and Reconfigurable Embedded Systems
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (Mar 2012) Leo Hatvani, Paul Pettersson, Cristina Seceleanu FASE12: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering