Mads Chr. Olesen

Publikationer

  1. 2017
  2. Udgivet

    Extended dependency graphs and efficient distributed fixed-point computation. / Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr; Pastva, Samuel; Srba, Jiří.

    Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Bind 10258 LNCS Springer Verlag, 2017. s. 139-158.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  3. 2016
  4. Udgivet

    An Automata-Based Approach to Trace Partitioned Abstract Interpretation. / Olesen, Mads Chr.; Hansen, Rene Rydhof; Larsen, Kim Guldstrand.

    Semantics, Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer, 2016. s. 88-110.

    Publikation: Forskning - peer reviewBidrag til bog/antologi

  5. Udgivet

    Formal modelling and analysis of Bitflips in ARM assembly code. / Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Olesen, Mads Chr.; Wognsen, Erik Ramsgaard.

    I: Information Systems Frontiers, Bind 18, Nr. 5, 27.06.2016, s. 909–925.

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  6. Udgivet

    Modelling Attack-defense Trees Using Timed Automata. / Gadyatskaya, Olga; Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted.

    Formal Modeling and Analysis of Timed Systems. Springer, 2016. s. 35-50.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  7. 2015
  8. Udgivet

    Formal Methods for Modelling and Analysis of Single-Event Upsets. / Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Olesen, Mads Chr.; Wognsen, Erik Ramsgaard.

    IEEE International Conference on Information Reuse and Integration (IRI 2015). IEEE, 2015. s. 287-294.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  9. Udgivet

    Model checking of finite-state machine-based scenario-aware dataflow using timed automata. / Skelin, Mladen; Wognsen, Erik Ramsgaard; Olesen, Mads Chr; Hansen, Rene Rydhof; Larsen, Kim Guldstrand.

    2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings. IEEE, 2015. s. 235-244 7185065.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  10. Udgivet

    Modelling Socio-Technical Attacks with Timed Automata. / David, Nicolas; David, Alexandre; Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Probst, Christian.

    Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. Association for Computing Machinery, 2015. s. 21-28.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  11. 2014
  12. Udgivet

    Coccinelle : Tool support for automated CERT C Secure Coding Standard certification. / Olesen, Mads Chr.; Hansen, Rene Rydhof; Lawall, Julia L.; Palix, Nicolas Jean-Michel.

    I: Science of Computer Programming, Bind 91, Nr. Part B, 10.2014, s. 141-160.

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  13. Udgivet
  14. Udgivet

    Program Analysis as Model Checking. / Olesen, Mads Chr.

    Institut for Datalogi, Aalborg Universitet, 2014. 159 s.

    Publikation: ForskningPh.d.-afhandling

  15. 2013
  16. Udgivet

    Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction. / Laarman, Alfons; Olesen, Mads Chr.; Dalsgaard, Andreas; Larsen, Kim G.; Pol, Jaco van de.

    Proceedings of the 25th International Conference on Computer Aided Verification (CAV). Bind 8044 Springer Publishing Company, 2013. s. 968-983.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  17. Udgivet

    PtrTracker : Pragmatic pointer analysis. / Biallas, Sebastian; Olesen, Mads Chr.; Cassez, Franck; Huuck, Ralf.

    Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2013. IEEE Computer Society Press, 2013. s. 69-73.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  18. 2012
  19. Udgivet

    Adaptable Value-Set Analysis for Low-Level Code. / Brauer, Jörg; Hansen, Rene Rydhof; Kowalewski, Stefan; Larsen, Kim Guldstrand; Olesen, Mads Chr.

    6th International Workshop on Systems Software Verification (SSV 2011). Bind 24 Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2012.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  20. Udgivet

    Multi-core reachability for timed automata. / Dalsgaard, Andreas Engelbredt; Laarman, Alfons; Larsen, K.G.; Olesen, M.Chr.; Van De Pol, Jaco.

    Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. red. / Marcin Jurdzinski; Dejan Nickovic. Springer Publishing Company, 2012. s. 91-106.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  21. Udgivet

    THAPS : Automated Vulnerability Scanning of PHP Applications. / Jensen, Torben; Pedersen, Heine; Olesen, Mads Chr.; Hansen, Rene Rydhof.

    Proceedings of the 17th Nordic Conference on Secure IT-Systems (NordSec 2012). Bind 7617 Springer, 2012. s. 31-46.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  22. Udgivet

    What is a Timing Anomaly? / Cassez, Franck; Hansen, Rene Rydhof; Olesen, Mads Chr.

    Proceedings of the 12th International Workshop on Worst-Case Execution-Time Analysis. red. / Tullio Vardanega. Bind 23 Dagstuhl, Germany : Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2012. s. 1-12.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  23. 2011
  24. Udgivet
  25. Udgivet

    WCET tool challenge 2011 : Report. / Von Hanxleden, Reinhard; Holsti, Niklas; Lisper, Björn; Ploedereder, Erhard; Wilhelm, Reinhard; Bonenfant, Armelle; Cassé, Hugues; Bünte, Sven; Fellger, Wolfgang; Gepperth, Sebastian; Gustafsson, Jan; Huber, Benedikt; Islam, Nazrul Mohammad; Kästner, Daniel; Kirner, Raimund; Kovács, Laura; Krause, Felix; De Michiel, Marianne; Olesen, Mads Christian; Prantl, Adrian; Puffitsch, Wolfgang; Rochange, Christine; Schoeberl, Martin; Wegener, Simon; Zolda, Michael; Zwirchmayr, Jakob.

    11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2011. s. 104-138.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  26. 2010
  27. Udgivet

    Clang and Coccinelle : Synergising program analysis tools for CERT C Secure Coding Standard certification. / Olesen, Mads Chr.; Hansen, Rene Rydhof; Lawall, Julia; Palix, Nicolas Jean-Michel.

    I: Electronic Communications of the EASST, Bind 33, 01.09.2010.

    Publikation: Forskning - peer reviewKonferenceartikel i tidsskrift

  28. Udgivet

    METAMOC; Modular Execution Time Analysis using Model Checking. / Dalsgaard, Andreas Engelbredt; Olesen, Mads Chr.; Toft, Martin; Hansen, Rene Rydhof; Larsen, Kim Guldstrand.

    Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010). 2010.

    Publikation: Forskning - peer reviewKonferenceartikel i proceeding

  29. 2009
  30. Udgivet