Mads Chr. Olesen

According to our database, Mads Chr. Olesen authored at least 19 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs.

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

Fundam. Informaticae, 2018

2017

Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation.

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

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Formal modelling and analysis of Bitflips in ARM assembly code.

René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen

Inf. Syst. Frontiers, 2016

Modelling Attack-defense Trees Using Timed Automata.

Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

An Automata-Based Approach to Trace Partitioned Abstract Interpretation.

Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

Model checking of finite-state machine-based scenario-aware dataflow using timed automata.

Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim Guldstrand Larsen

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Formal Methods for Modelling and Analysis of Single-Event Upsets.

René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

Modelling Social-Technical Attacks with Timed Automata.

Nicolas David, Alexandre David, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst

Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

2014

Formalisation and analysis of Dalvik bytecode.

Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, René Rydhof Hansen

Sci. Comput. Program., 2014

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

Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix

Sci. Comput. Program., 2014

2013

PtrTracker: Pragmatic pointer analysis.

Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction.

Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

What is a Timing Anomaly?.

Franck Cassez, René Rydhof Hansen, Mads Chr. Olesen

Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

THAPS: Automated Vulnerability Scanning of PHP Applications.

Torben Jensen, Heine Pedersen, Mads Chr. Olesen, René Rydhof Hansen

Proceedings of the Secure IT Systems - 17th Nordic Conference, 2012

Multi-core Reachability for Timed Automata.

Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Adaptable Value-Set Analysis for Low-Level Code.

Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen

Proceedings of the 6th International Workshop on Systems Software Verification, 2011

opaal: A Lattice Model Checker.

Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba

Proceedings of the NASA Formal Methods, 2011

2010

Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification.

Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

METAMOC: Modular Execution Time Analysis using Model Checking.

Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010