Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Erik Ramsgaard Wognsen
Energy-Aware Scheduling of FIR Filter Structures Using a Timed Automata Model
Related publications
Real-Time Scheduling of Energy Harvesting Embedded Systems With Timed Automata
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Online Timed Pattern Matching Using Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fuzzy-Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Networks of Timed Automata Using mCRL2
2008 IEEE International Symposium on Parallel and Distributed Processing
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Discrete Timed Automata
Energy Aware Clouds Scheduling Using Anti-Load Balancing Algorithm - EACAB
Robustness in Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
