Mads Chr. Olesen
Mads Chr. Olesen
PhD Student, Aalborg University
Verified email at cs.aau.dk - Homepage
TitleCited byYear
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
812010
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
262013
Formalisation and analysis of Dalvik bytecode
ER Wognsen, HS Karlsen, MC Olesen, RR Hansen
Science of Computer Programming 92, 25-55, 2014
242014
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
242012
opaal: A lattice model checker
AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ...
NASA Formal Methods Symposium, 487-493, 2011
142011
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
122015
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
112016
What is a Timing Anomaly?.
F Cassez, RR Hansen, M Chr
12th International Workshop on Worst-Case Execution-Time Analysis (WCET), 1-12, 2012
112012
Thaps: automated vulnerability scanning of php applications
T Jensen, H Pedersen, MC Olesen, RR Hansen
Nordic Conference on Secure IT Systems, 31-46, 2012
102012
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
82012
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
72015
Adaptable value-set analysis for low-level code
J Brauer, RR Hansen, S Kowalewski, KG Larsen, MC Olesen
OASIcs-OpenAccess Series in Informatics 24, 2012
62012
Extended dependency graphs and efficient distributed fixed-point computation
AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, TS Jepsen, I Kaufmann, ...
International Conference on Applications and Theory of Petri Nets and …, 2017
52017
Formal methods for modelling and analysis of single-event upsets
RR Hansen, KG Larsen, MC Olesen, ER Wognsen
Information Reuse and Integration (IRI), 2015 IEEE International Conference …, 2015
32015
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
32014
Program analysis as model checking
MC Olesen
PhD forsvar, 2014
22014
PtrTracker: Pragmatic pointer analysis
S Biallas, MC Olesen, F Cassez, R Huuck
Source Code Analysis and Manipulation (SCAM), 2013 IEEE 13th International …, 2013
22013
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
22010
In Defense of a Probability Based Semantics for Counterfactuals
L Gundersen, M Olesen
Pacific Philosophical Quarterly, 2017
12017
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
12016
The system can't perform the operation now. Try again later.
Articles 1–20