| METAMOC: Modular Execution Time Analysis using Model Checking. AE Dalsgaard, M Chr, M Toft, RR Hansen, KG Larsen 10th International Workshop on Worst-Case Execution Time Analysis (WCET …, 2010 | 94 | 2010 |
| Multi-core emptiness checking of timed Büchi automata using inclusion abstraction AW Laarman, MC Olesen, AE Dalsgaard, KG Larsen, JC van de Pol 25th International Conference on Computer Aided Verification (CAV), 968-983, 2013 | 36 | 2013 |
| Formalisation and analysis of Dalvik bytecode ER Wognsen, HS Karlsen, MC Olesen, RR Hansen Science of Computer Programming 92, 25-55, 2014 | 34 | 2014 |
| Modelling attack-defense trees using timed automata O Gadyatskaya, RR Hansen, KG Larsen, A Legay, MC Olesen, ... International Conference on Formal Modeling and Analysis of Timed Systems, 35-50, 2016 | 31 | 2016 |
| Multi-core reachability for timed automata AE Dalsgaard, A Laarman, KG Larsen, MC Olesen, J Van De Pol International Conference on Formal Modeling and Analysis of Timed Systems …, 2012 | 27 | 2012 |
| What is a Timing Anomaly?. F Cassez, RR Hansen, M Chr 12th International Workshop on Worst-Case Execution-Time Analysis (WCET), 1-12, 2012 | 18 | 2012 |
| Modelling social-technical attacks with timed automata N David, A David, RR Hansen, KG Larsen, A Legay, MC Olesen, ... Proceedings of the 7th acm ccs international workshop on managing insider …, 2015 | 15 | 2015 |
| 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 | 15 | 2015 |
| Thaps: automated vulnerability scanning of php applications T Jensen, H Pedersen, MC Olesen, RR Hansen Nordic conference on secure IT systems, 31-46, 2012 | 15 | 2012 |
| opaal: A lattice model checker AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ... NASA Formal Methods Symposium, 487-493, 2011 | 15 | 2011 |
| Extended dependency graphs and efficient distributed fixed-point computation AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, TS Jepsen, I Kaufmann, ... International Conference on Application and Theory of Petri Nets and …, 2017 | 11 | 2017 |
| Study, formalisation, and analysis of Dalvik bytecode HS Karlsen, ER Wognsen, MC Olesen, RR Hansen the 7th Workshop on Bytecode Semantics, Verification, Analysis and …, 2012 | 10 | 2012 |
| A distributed fixed-point algorithm for extended dependency graphs AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, PG Jensen, TS Jepsen, ... Fundamenta Informaticae 161 (4), 351-381, 2018 | 7 | 2018 |
| Adaptable value-set analysis for low-level code J Brauer, RR Hansen, S Kowalewski, KG Larsen, MC Olesen 6th International Workshop on Systems Software Verification, 2012 | 7 | 2012 |
| Coccinelle: Tool support for automated CERT C secure coding standard certification MC Olesen, RR Hansen, JL Lawall, N Palix Science of Computer Programming 91 (Part B), 141-160, 2014 | 6 | 2014 |
| PtrTracker: Pragmatic pointer analysis S Biallas, MC Olesen, F Cassez, R Huuck 2013 IEEE 13th International Working Conference on Source Code Analysis and …, 2013 | 4 | 2013 |
| 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 | 3 | 2015 |
| 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 |
| Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification MC Olesen, RR Hansen, JL Lawall, N Palix Electronic Communications of the EASST 33, 2010 | 3 | 2010 |
| Formal modelling and analysis of Bitflips in ARM assembly code RR Hansen, KG Larsen, MC Olesen, ER Wognsen Information Systems Frontiers 18 (5), 909-925, 2016 | 2 | 2016 |
Kenneth Yrke JørgensenDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
