Follow
Erik Wognsen
Erik Wognsen
PhD student, Aalborg University, Department of Computer Science
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
Formalisation and analysis of Dalvik bytecode
ER Wognsen, HS Karlsen, MC Olesen, RR Hansen
Science of Computer Programming 92, 25-55, 2014
492014
Battery-aware scheduling of mixed criticality systems
ER Wognsen, RR Hansen, KG Larsen
International Symposium On Leveraging Applications of Formal Methods …, 2014
222014
Mastering operational limitations of LEO satellites–The GomX-3 approach
G Nies, M Stenger, J Krčál, H Hermanns, M Bisgaard, D Gerhardt, ...
Acta Astronautica 151, 726-735, 2018
202018
A score function for optimizing the cycle-life of battery-powered embedded systems
ER Wognsen, BR Haverkort, M Jongerden, RR Hansen, KG Larsen
Formal Modeling and Analysis of Timed Systems: 13th International Conference …, 2015
202015
Static Analysis of Dalvik Bytecode and Reflection in Android
ER Wognsen, HS Karlsen
Master’s thesis, Aalborg University, 2012
202012
Model checking of finite-state machine-based scenario-aware dataflow using timed automata
M Skelin, ER Wognsen, MC Olesen, RR Hansen, KG Larsen
10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-10, 2015
182015
Study, Formalisation, and Analysis of Dalvik Bytecode
HS Karlsen, ER Wognsen, MC Olesen, RR Hansen
BYTECODE 2012: Seventh Workshop on Bytecode Semantics, Verification …, 2012
152012
Formal methods for modelling and analysis of single-event upsets
RR Hansen, KG Larsen, MC Olesen, ER Wognsen
2015 IEEE International Conference on Information Reuse and Integration, 287-294, 2015
52015
Towards translating FSM-SADF to timed automata
M Skelin, ER Wognsen, MC Olesen, RR Hansen, KG Larsen
1st International Workshop on Investigating Dataflow in Embedded Computing …, 2015
32015
A secure relay protocol for door access control
ER Wognsen, HS Karlsen, M Calverley, MN Follin, B Thompsen, H Hüttel
Anais do XII Simpósio Brasileiro em Segurança da Informação e de Sistemas …, 2012
32012
Formal modelling and analysis of Bitflips in ARM assembly code
RR Hansen, KG Larsen, MC Olesen, ER Wognsen
Information Systems Frontiers 18, 909-925, 2016
22016
Energy-aware scheduling of FIR filter structures using a timed automata model
ER Wognsen, RR Hansen, KG Larsen, P Koch
2016 IEEE 19th International Symposium on Design and Diagnostics of …, 2016
22016
Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking
ER Wognsen
2016
A Score Function for State of Charge Profiles for Rechargeable Batteries
ER Wognsen, M Jongerden, BR Haverkort
Centre for Telematics and Information Technology (CTIT), 2015
2015
Energy-Aware Scheduling of FIR Filter Structures
P Koch, ER Wognsen
2015
2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES)
A Kostrzewa, A Valenzano, A Mifdaoui, A Girault, A Burns, A Petrenko, ...
The system can't perform the operation now. Try again later.
Articles 1–16