Logotype Mälardalenn University

Staff

Leo Hatvani   
Leo Hatvani, PhD student

E-mail:
Room:U1-147
Phone:+46-73-6620738
Research group:Formal Modelling and Analysis of Embedded Systems
PhD supervisor:Paul Pettersson
Web:Official university homepage

Research    Publications    Projects   

Research interests  [ Show full biography ]

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.

 

Latest publications [ Show all publications ]


Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata , Leo Hatvani, Cristina Seceleanu, Paul Pettersson, ACM SIGBED Review, vol 10, nr 1, ACM, February, 2013

Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata, Leo Hatvani, Cristina Seceleanu, Paul Pettersson, 4th Workshop on Adaptive and Reconfigurable Embedded Systems, April, 2012

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems, Leo Hatvani, Paul Pettersson, Cristina Seceleanu, FASE'12: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, p 115-129, Springer-Verlag Berlin Heidelberg, Editor(s):Juan de Lara and Andrea Zisman, March, 2012
 

Research projects

 
Research    Publications    Projects   
  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2009.11.03