Mads Chr. Olesen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2015
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CCS | 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 |
| 2015 | IRI | Formal Methods for Modelling and Analysis of Single-Event Upsets. | Ren Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen |
| 2013 | CAV | Multi-core Emptiness Checking of Timed Bchi Automata Using Inclusion Abstraction. | Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol |
| 2013 | SCAM | PtrTracker: Pragmatic pointer analysis. | Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck |