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 | 95 | 2010 |
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 | 34 | 2016 |
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 | 34 | 2013 |
Formalisation and analysis of Dalvik bytecode ER Wognsen, HS Karlsen, MC Olesen, RR Hansen Science of Computer Programming 92, 25-55, 2014 | 33 | 2014 |
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 | 20 | 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 | 17 | 2015 |
opaal: A lattice model checker AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ... NASA Formal Methods Symposium, 487-493, 2011 | 16 | 2011 |
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 |
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 Informal proceedings of The Seventh Workshop on Bytecode Semantics …, 2012 | 11 | 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, 141-160, 2014 | 6 | 2014 |
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 | 4 | 2015 |
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 |
Formalisation and analysis of Dalvik bytecode ER Wognsen, HS Karlsen, MC Olesen, RR Hansen | 4 | 2013 |
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 | 4 | 2010 |
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 |