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 | 112 | 2010 |
Modelling attack-defense trees using timed automata O Gadyatskaya, RR Hansen, KG Larsen, A Legay, MC Olesen, ... Formal Modeling and Analysis of Timed Systems: 14th International Conference …, 2016 | 67 | 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 | 51 | 2013 |
Formalisation and analysis of Dalvik bytecode ER Wognsen, HS Karlsen, MC Olesen, RR Hansen Science of Computer Programming 92, 25-55, 2014 | 50 | 2014 |
What is a Timing Anomaly?. F Cassez, RR Hansen, M Chr 12th International Workshop on Worst-Case Execution-Time Analysis (WCET), 1-12, 2012 | 33 | 2012 |
Multi-core reachability for timed automata AE Dalsgaard, A Laarman, KG Larsen, MC Olesen, J Van De Pol Formal Modeling and Analysis of Timed Systems: 10th International Conference …, 2012 | 31 | 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 | 25 | 2015 |
Thaps: automated vulnerability scanning of php applications T Jensen, H Pedersen, MC Olesen, RR Hansen Secure IT Systems: 17th Nordic Conference, NordSec 2012, Karlskrona, Sweden …, 2012 | 24 | 2012 |
opaal: A lattice model checker AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ... NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011 | 23 | 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 | 19 | 2015 |
Extended dependency graphs and efficient distributed fixed-point computation AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, TS Jepsen, I Kaufmann, ... Application and Theory of Petri Nets and Concurrency: 38th International …, 2017 | 18 | 2017 |
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 | 15 | 2014 |
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 | 15 | 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 | 13 | 2018 |
PtrTracker: Pragmatic pointer analysis S Biallas, MC Olesen, F Cassez, R Huuck 2013 IEEE 13th International Working Conference on Source Code Analysis and …, 2013 | 10 | 2013 |
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), 2012 | 8 | 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 | 5 | 2015 |
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification M Olesen, R Hansen, J Lawall, N Palix Electronic Communications of the EASST 33, 2010 | 5 | 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 |
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 | 2 | 2016 |