Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 10

Journal article (2)

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)

Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata (Feb 2013)
Leo Hatvani, Cristina Seceleanu, Paul Pettersson
Special Issue on the 4th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2012) (SIGBEDRevV10N1)

Conference/Workshop Paper (7)

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)

Optimal Priority and Threshold Assignment for Fixed-priority Preemption Threshold Scheduling
Leo Hatvani, Sara Afshar, Reinder J. Bril
6th Embedded Operating Systems Workshop (EWiLi'16)

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)

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 (APRES2012)

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

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (Oct 2011)
Leo Hatvani, Paul Pettersson, Cristina Seceleanu
23rd Nordic Workshop on Programming Theory (NWPT'11)

An Integrated Tool for Trade-off Analysis of Quality-of-Service Attributes (Oct 2010)
Leo Hatvani, Anton Jansen, Cristina Seceleanu, Paul Pettersson
Proceedings of The 2nd International Workshop on the Quality of Service-Oriented Software Systems

Report - MRTC (1)

Adaptive Task Automata with Earliest-Deadline-First Scheduling (Aug 2014)
Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson

Items per page: