Mads Chr. Olesen

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