Login / Signup
Leo Hatvani
ORCID
Publication Activity (10 Years)
Years Active: 2010-2020
Publications (10 Years): 8
Top Topics
Scheduling Policies
Test Cases
Threshold Selection
Embedded Systems
Top Venues
SIGBED Rev.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
EWiLi
FASE
</>
Publications
</>
Sahar Tahvili
,
Leo Hatvani
,
Enislay Ramentol
,
Rita Pimentel
,
Wasif Afzal
,
Francisco Herrera
A novel methodology to classify test cases using natural language processing and imbalanced learning.
Eng. Appl. Artif. Intell.
95 (2020)
Sahar Tahvili
,
Leo Hatvani
,
Michael Felderer
,
Wasif Afzal
,
Markus Bohlin
Automated Functional Dependency Detection Between Test Cases Using Doc2Vec and Clustering.
AITest
(2019)
Leo Hatvani
,
Sara Afshar
,
Reinder J. Bril
Optimal priority and threshold assignment for fixed-priority preemption threshold scheduling.
SIGBED Rev.
15 (1) (2018)
Sahar Tahvili
,
Leo Hatvani
,
Michael Felderer
,
Wasif Afzal
,
Mehrdad Saadatmand
,
Markus Bohlin
Cluster-based test scheduling strategies using semantic relationships between test specifications.
RET@ICSE
(2018)
Leo Hatvani
,
Reinder J. Bril
,
Sebastian Altmeyer
Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform with caches.
DATE
(2017)
Leo Hatvani
,
Reinder J. Bril
Minimizing stack usage for AUTOSAR/OSEK's restricted fixed-priority preemption threshold support.
SIES
(2016)
Leo Hatvani
,
Sara Afshar
,
Reinder J. Bril
Optimal Priority and Threshold Assignment for Fixed-priority Preemption Threshold Scheduling.
EWiLi
(2016)
Leo Hatvani
,
Reinder J. Bril
Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform.
ETFA
(2015)
Leo Hatvani
,
Alexandre David
,
Cristina Cerschi Seceleanu
,
Paul Pettersson
Adaptive Task Automata with Earliest-Deadline-First Scheduling.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
70 (2014)
Leo Hatvani
,
Cristina Cerschi Seceleanu
,
Paul Pettersson
Modeling and analysis of adaptive embedded systems using adaptive task automata.
SIGBED Rev.
10 (1) (2013)
Leo Hatvani
,
Paul Pettersson
,
Cristina Cerschi Seceleanu
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems.
FASE
(2012)
Leo Hatvani
,
Anton Jansen
,
Cristina Seceleanu
,
Paul Pettersson
An integrated tool for trade-off analysis of quality-of-service attributes.
QUASOSS@MoDELS
(2010)