Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Elena Hammari
Runtime Precomputation of Data-Dependent Parameters in Embedded Systems
Transactions on Embedded Computing Systems
Hardware
Architecture
Software
Related publications
Deterministic Runtime Adaptation for Hard Real-Time Embedded Systems With Processing Constraints
Runtime Verification of Component-Based Embedded Software
Monoprocessor Real-Time Scheduling of Data Dependent Tasks With Exact Preemption Cost for Embedded Systems
Goal-Driven Adaptation of Service-Based Systems From Runtime Monitoring Data
Runtime Verification of Stochastic Systems
Runtime Verification of Stochastic, Faulty Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Adaptation for Actor Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamic QoS Adaptation of Inter-Dependent Task Sets in Cooperative Embedded Systems