Mads Chr. Olesen

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 4

Top Topics

Dependency Graphs

Top Venues

Sci. Comput. Program.

Publications

Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundam. Informaticae 161 (4) (2018)
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Petri Nets (2017)
Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen
Modelling Attack-defense Trees Using Timed Automata. FORMATS (2016)
René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen
Formal modelling and analysis of Bitflips in ARM assembly code. Inf. Syst. Frontiers 18 (5) (2016)
Nicolas David, Alexandre David, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst
Modelling Social-Technical Attacks with Timed Automata. MIST@CCS (2015)
Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim Guldstrand Larsen
Model checking of finite-state machine-based scenario-aware dataflow using timed automata. SIES (2015)
René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen
Formal Methods for Modelling and Analysis of Single-Event Upsets. IRI (2015)
Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. Sci. Comput. Program. 91 (2014)
Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, René Rydhof Hansen
Formalisation and analysis of Dalvik bytecode. Sci. Comput. Program. 92 (2014)
Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck
PtrTracker: Pragmatic pointer analysis. SCAM (2013)
Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction. CAV (2013)
Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol
Multi-core Reachability for Timed Automata. FORMATS (2012)
Franck Cassez, René Rydhof Hansen, Mads Chr. Olesen
What is a Timing Anomaly?. WCET (2012)
Torben Jensen, Heine Pedersen, Mads Chr. Olesen, René Rydhof Hansen
THAPS: Automated Vulnerability Scanning of PHP Applications. NordSec (2012)
Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen
Adaptable Value-Set Analysis for Low-Level Code. SSV (2011)
Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba
opaal: A Lattice Model Checker. NASA Formal Methods (2011)
Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen
METAMOC: Modular Execution Time Analysis using Model Checking. WCET (2010)