René Rydhof Hansen

Publikationer

Publikationer pr. år 2007 2008 2009 2010 2012 2013 2014 2015 2016 2019 2021 2022

• 48 Konferenceartikel i proceeding
• 11 Tidsskriftartikel
• 7 Konferenceartikel i tidsskrift
• 4 Bidrag til bog/antologi
• 4 Mere
  • 2 Antologi
  • 2 Paper uden forlag/tidsskrift

Publikationer pr. år

Publikationer pr. år

Søgeresultater

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

  Olesen, M. C., Hansen, R. R., Lawall, J. & Palix, N. J-M., 1 sep. 2010, I: Electronic Communications of the EASST. 33, 18 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
  1 Citationer (Scopus)

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

  Olesen, M. C., Hansen, R. R., Lawall, J. L. & Palix, N. J-M., okt. 2014, I: Science of Computer Programming. 91, Part B, s. 141-160

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Fil
  9 Citationer (Scopus)

  616 Downloads (Pure)

• Externalizing Behaviour for Analysing System Models

  Ivanova, M. G., Probst, C. W., Hansen, R. R. & Kammüller, F., nov. 2013, I: Journal of Internet Services and Information Security. 3, 3/4, s. 52-62

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

• Formal modelling and analysis of Bitflips in ARM assembly code

  Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 27 jun. 2016, I: Information Systems Frontiers. 18, 5, s. 909–925 17 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
  1 Citationer (Scopus)

• Opaal: A Lattice Model Checker

  Dalsgaard, A. E., Hansen, R. R., Jørgensen, K. Y., Larsen, K. G., Olesen, M. C., Olsen, P. & Srba, J., 2011, I: Lecture Notes in Computer Science. 6617, s. 487-493 5 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Åben adgang

  Fil
  11 Citationer (Scopus)

  558 Downloads (Pure)

• Reachability-based Impact as a Measrue for Insiderness

  Probst, C. W. & Hansen, R. R., dec. 2013, I: Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications. 4, 4, s. 38-48 11 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
  3 Citationer (Scopus)

• WCET Analysis of ARM Processors using Real-Time Model Checking

  Toft, M., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Hansen, R. R., 2009, I: RWTH Aachen, Dept. of Computer Science. 14, s. 4-6

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Åben adgang

  Fil
  480 Downloads (Pure)