Mads Chr. Olesen

METAMOC: Modular Execution Time Analysis using Model Checking

Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 68 citations · Full text

Formalisation and analysis of Dalvik bytecode

Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen et al. · Science of Computer Programming · 2013 · 40 citations

Software Security, Engineering, Program Analysis +10

Modelling Social-Technical Attacks with Timed Automata

Nicolas David, Alexandre David, René Rydhof Hansen et al. · 2015 · 20 citations

Security Modelling, Attack Simulation, Engineering +14

What is a Timing Anomaly?

Franck Cassez, René Rydhof Hansen, Mads Chr. Olesen · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 14 citations · Full text

Anomaly Detection, Engineering, Computer Architecture +21

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall et al. · Science of Computer Programming · 2012 · 12 citations

Software Security, Engineering, Tool Support +12