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.
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
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