Follow
Mads Chr. Olesen
Mads Chr. Olesen
PhD Student, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
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
1122010
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
672016
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
512013
Formalisation and analysis of Dalvik bytecode
ER Wognsen, HS Karlsen, MC Olesen, RR Hansen
Science of Computer Programming 92, 25-55, 2014
502014
What is a Timing Anomaly?.
F Cassez, RR Hansen, M Chr
12th International Workshop on Worst-Case Execution-Time Analysis (WCET), 1-12, 2012
332012
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
312012
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
252015
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
242012
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
232011
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
192015
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
182017
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
152014
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
152012
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
132018
PtrTracker: Pragmatic pointer analysis
S Biallas, MC Olesen, F Cassez, R Huuck
2013 IEEE 13th International Working Conference on Source Code Analysis and …, 2013
102013
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
82012
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
52015
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
52010
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
32015
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
22016
The system can't perform the operation now. Try again later.
Articles 1–20