Leo Hatvani
Leo Hatvani
Verified email at mdh.se
Title
Cited by
Cited by
Year
Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform
L Hatvani, RJ Bril
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015
92015
Cluster-based test scheduling strategies using semantic relationships between test specifications
S Tahvili, L Hatvani, M Felderer, W Afzal, M Saadatmand, M Bohlin
Proceedings of the 5th International Workshop on Requirements Engineering …, 2018
82018
An integrated tool for trade-off analysis of quality-of-service attributes
L Hatvani, A Jansen, C Seceleanu, P Pettersson
Proceedings of the 2nd International Workshop on the Quality of Service …, 2010
52010
Automated Functional Dependency Detection Between Test Cases Using Doc2Vec and Clustering
S Tahvili, L Hatvani, M Felderer, W Afzal, M Bohlin
2019 IEEE International Conference On Artificial Intelligence Testing …, 2019
42019
Adaptive task automata: A framework for verifying adaptive embedded systems
L Hatvani, P Pettersson, C Seceleanu
International Conference on Fundamental Approaches to Software Engineering …, 2012
42012
Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform with caches
L Hatvani, RJ Bril, S Altmeyer
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
32017
Minimizing stack usage for AUTOSAR/OSEK's restricted fixed-priority preemption threshold support
L Hatvani, RJ Bril
2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), 1-10, 2016
32016
Optimal priority and threshold assignment for fixed-priority preemption threshold scheduling
L Hatvani, S Afshar, RJ Bril
ACM SIGBED Review 15 (1), 43-49, 2018
22018
Adaptive task automata with earliest-deadline-first scheduling
L Hatvani, A David, C Seceleanu, P Pettersson
Electronic Communications of the EASST 70, 2014
22014
Modeling and analysis of adaptive embedded systems using adaptive task automata
L Hatvani, C Seceleanu, P Pettersson
ACM SIGBED Review 10 (1), 43-47, 2013
22013
Formal verification of adaptive real-time systems by extending task automata
L Hatvani
Mälardalen University, 2014
12014
A novel methodology to classify test cases using natural language processing and imbalanced learning
S Tahvili, L Hatvani, E Ramentol, R Pimentel, W Afzal, F Herrera
Engineering applications of artificial intelligence 95, 103878, 2020
2020
Future Challenges for Academic-Industry Value CoCreation Through Lifelong Learning
C Sjödin, L Hatvani, A Olsson
Proceedings of the 18th European Conference on e-Learning, ECEL 2019, Hosted …, 2019
2019
14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014)
A Jafari, E Khamespanah, M Sirjani, H Hermanns
Electronic Communications of the EASST 30, 2014
2014
Project Deliverable D5. 3 Trade-off Analysis of Quality-of-Service Attributes
D Ardagna, L Hatvani, A Jansen, H Koziolek, A Martens, R Mirandola, ...
The system can't perform the operation now. Try again later.
Articles 1–15