| Formalisation and analysis of Dalvik bytecode ER Wognsen, HS Karlsen, MC Olesen, RR Hansen Science of Computer Programming 92, 25-55, 2014 | 51 | 2014 |
| 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 | 25 | 2015 |
| Battery-aware scheduling of mixed criticality systems ER Wognsen, RR Hansen, KG Larsen International Symposium On Leveraging Applications of Formal Methods …, 2014 | 23 | 2014 |
| 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 | 21 | 2018 |
| Static Analysis of Dalvik Bytecode and Reflection in Android ER Wognsen, HS Karlsen Master’s thesis, Aalborg University, 2012 | 20 | 2012 |
| 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 | 19 | 2015 |
| Study, Formalisation, and Analysis of Dalvik Bytecode HS Karlsen, ER Wognsen, MC Olesen, RR Hansen BYTECODE 2012: Seventh Workshop on Bytecode Semantics, Verification …, 2012 | 15 | 2012 |
| 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 | 6 | 2015 |
| 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 | 3 | 2016 |
| 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 | 3 | 2015 |
| 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 de Segurança da Informação e de Sistemas …, 2012 | 3 | 2012 |
| 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 | 2 | 2016 |
| 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, ... | | |
Mads Chr. OlesenPhD Student, Aalborg UniversityVerified email at cs.aau.dk
