Rene Rydhof Hansen

Publikationer

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

• 49 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

• 2024

  Isabelle-verified correctness of Datalog programs for program analysis.

  Schlichtkrull, A., Hansen, R. R. & Nielson, F., 2024, Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, SAC 2024, Avila, Spain, April 8-12, 2024. Association for Computing Machinery (ACM), s. 1731-1734 2 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Datalog Programs 100%
  • Datalog 100%
  • Least Solution 50%
  • Logic Programming Language 50%
  • Logic Programming 25%
• 2022

  Designing Through The Stack: The Case for a Participatory Digital Security By Design

  Slesinger, I., Coles-Kemp, L., Panteli, N. & Hansen, R. R., 24 okt. 2022, Proceedings of the 2022 New Security Paradigms Workshop, NSPW 2022. Association for Computing Machinery (ACM), s. 45-59 15 s. (ACM International Conference Proceeding Series).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Security Control 100%
  • Digital Security 100%
  • Software Engineer 66%
  • Supply Chain 33%
  • Participatory Design 33%
  1 Citationer (Scopus)

• Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

  Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 aug. 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (red.). Springer, s. 61-78 18 s. (Lecture Notes in Computer Science, Bind 13255).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Model Checking 100%
  • Statistical Model 100%
  • Hyperproperties 100%
  • side-channel 50%
  • Case Study 50%
  5 Citationer (Scopus)

• Understanding the Challenges of Blocking Unnamed Network Traffic.

  Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2022, NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium: Network and Service Management in the Era of Cloudification, Softwarization and Artificial Intelligence, NOMS 2022. Varga, P., Granville, L. Z., Galis, A., Godor, I., Limam, N., Chemouil, P., Francois, J. & Pahl, M.-O. (red.). IEEE (Institute of Electrical and Electronics Engineers), s. 1-5 9789854. (IEEE/IFIP Network Operations and Management Symposium).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Network Traffic 100%
  • Domain Name System 100%
  • University Networks 33%
  • System Response 33%
  • Security System 33%
  30 Downloads (Pure)
• 2021

  Can a TLS certificate be phishy?

  Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2021, Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021. di Vimercati, S. D. C. & Samarati, P. (red.). SciTePress, s. 38-49 12 s. (International Conference on Security and Cryptography - SECRYPT - Proceedings).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Transport Layer Security 100%
  • Security Certificate 100%
  • Certificate Authority 50%
  • Phishing Attack 25%
  • Digital Certificate 25%
  6 Citationer (Scopus)

  242 Downloads (Pure)

• Gollector: Measuring Domain Name Dark Matter from Different Vantage Points

  Hageman, K., Hansen, R. R. & Pedersen, J. M., 2021, Secure IT Systems: 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings. Tuveri, N., Michalas, A. & Brumley, B. B. (red.). Springer, s. 133-152 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13115 LNCS).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Relative Difference 100%
  • Single System 100%
  • Source Coding 100%
  • Subdomains 100%
  • Domain Name 100%
  2 Citationer (Scopus)

• P4Fuzz: Compiler Fuzzer forDependable Programmable Dataplanes

  Agape, A. A., Danceanu, M. C., Hansen, R. R. & Schmid, S., 5 jan. 2021, ICDCN 2021 - Proceedings of the 2021 International Conference on Distributed Computing and Networking. Association for Computing Machinery (ACM), s. 16-25 10 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Network Performance 100%
  • Security Analysis 100%
  • Software-Defined Network 100%
  • Fuzzing 100%
  • Threat Model 100%
  5 Citationer (Scopus)

• Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code

  Møller, B. H., Søndergaard, J. G., Jensen, K. S., Pedersen, M. W., Bøgedal, T. W., Christensen, A., Poulsen, D. B., Larsen, K. G., Hansen, R. R., Rosted Jensen, T., Juvoll Madsen, H. & Uhrenfeldt, H., 10 dec. 2021, Secure IT Systems: 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings. Tuveri, N., Michalas, A. & Brumley, B. B. (red.). Springer, s. 192-211 20 s. (Lecture Notes in Computer Science, Bind LNCS 13115).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Security Analysis 100%
  • Model Checking 100%
  • Formalization 100%
  • Secure Boot 100%
  • Potential Vulnerability 50%
  1 Citationer (Scopus)
• 2020

  Adaptive Security Policies

  Nielson, F., Hansen, R. R. & Nielson, H. R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 280-294 15 s. (Lecture Notes in Computer Science, Bind 12477).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Security Policy 100%
  • Local Security Policy 100%
  • Local Security 60%
  • Type Systems 50%
  • Adaptive Agent 50%
  1 Citationer (Scopus)

  31 Downloads (Pure)

• Towards Adversarial Phishing Detection

  Panum, T. K., Hageman, K., Hansen, R. R. & Pedersen, J. M., aug. 2020, 13th USENIX Workshop on Cyber Security Experimentation and Test. USENIX - The Advanced Computing Systems Association, 10 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Phishing Attack 100%
  • Adaptive Behavior 100%
  • Evasion Technique 100%
  • Phishing Detection 100%
  • Design Guideline 100%
  9 Citationer (Scopus)

  69 Downloads (Pure)
• 2019

  A multi-threaded approach to encoding with random linear network coding

  Nielsen, L., Hansen, R. R. & Lucani, D. E., 1 jan. 2019, European Wireless 2019 Conference, EW 2019. VDE Verlag GMBH, s. 25-31 7 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Network Coding 100%
  • Single Thread 66%
  • Speed-up 33%
  • Distributed Storage System 33%
  • Parallel Computation 33%

• Breeding Unicorns: Developing Trustworthy and Scalable Randomness Beacons

  Dharanikot, S., Jensen, M. T., Kristensen, S. R., Michno, M. S., Pignolet, Y. A., Hansen, R. R. & Schmid, S., 2019, 2019 IEEE International Conference on Blockchain (Blockchain). IEEE (Institute of Electrical and Electronics Engineers), s. 99-106

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Smart Contract 100%
  • Unicorn 100%
  • Deployment Option 50%
  • Security Analysis 50%
  • Ethereum 50%
  2 Citationer (Scopus)

• Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education

  Panum, T. K., Hageman, K. D., Pedersen, J. M. & Hansen, R. R., 2 sep. 2019, 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT). Chang, M., Sampson, D. G., Huang, R., Gomes, A. S., Chen, N.-S., Bittencourt, I. I., Kinshuk, K., Dermeval, D. & Bittencourt, I. M. (red.). IEEE (Institute of Electrical and Electronics Engineers), s. 236-238 3 s. 8820918. (International Conference on Advanced Learning Technologies (ICALT)).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Virtualization Platform 100%
  • Virtual Computer 100%
  • Security Education 100%
  • Computer Network 100%
  • Configuration Management 100%
  9 Citationer (Scopus)

• Kraaler: A User-Perspective Web Crawler

  Panum, T. K., Hansen, R. R. & Pedersen, J. M., 5 aug. 2019, 2019 Network Traffic Measurement and Analysis Conference (TMA). Secci, S., Chrisment, I., Fiore, M., Tabourier, L. & Lim, K.-W. (red.). IEEE (Institute of Electrical and Electronics Engineers), s. 153-160 8 s. 8784660

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  4 Citationer (Scopus)
• 2018

  Latency performance of encoding with random linear network coding

  Nielsen, L., Hansen, R. R. & Lucani, D. E., 1 jan. 2018, European Wireless 2018 : 24th European Wireless Conference . VDE Verlag GMBH, s. 120-124 5 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Network Coding 100%
  • Information Storage 33%
  • Generation Size 33%
  • Data Access 33%
  • Generation Number 33%
  1 Citationer (Scopus)

• Modelling and Analysing Overlay Networks by Ambients with Wormholes

  Hansen, R. R. & Probst, C. W., 2018, 2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018. IEEE Signal Processing Society, 8653596. (2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Distributed Systems 100%
  • Overlay Network 100%
  • Ubiquitous Computing 100%
  • Security and Privacy 50%
  • Semantic Layer 50%
  3 Citationer (Scopus)
• 2017

  Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

  Hansen, R. R., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 2017, Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer, s. 75-90 (Lecture Notes in Computer Science).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang
  7 Citationer (Scopus)

• Walking the line: The everyday security ties that bind

  Coles-Kemp, L. & Hansen, R. R., 2017, Human Aspects of Information Security, Privacy and Trust - 5th International Conference, HAS 2017 Held as Part of HCI International 2017, Proceedings. Springer, Bind 10292 LNCS. s. 464-480 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10292 LNCS).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Contemporary Society 100%
  • Research Councils 100%
  • UK 100%
  • Case Study 100%
  • Research Project 100%
  13 Citationer (Scopus)
• 2016

  Energy-Aware Scheduling of FIR Filter Structures using a Timed Automata Model

  Wognsen, E. R., Hansen, R. R., Larsen, K. G. & Koch, P., 20 apr. 2016, 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE (Institute of Electrical and Electronics Engineers), s. 163-168 6 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil
  2 Citationer (Scopus)

  469 Downloads (Pure)

• Modelling Attack-defense Trees Using Timed Automata

  Gadyatskaya, O., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C. & Poulsen, D. B., 2016, Formal Modeling and Analysis of Timed Systems. Springer, s. 35-50 (Lecture Notes in Computer Science, Bind 9884).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  45 Citationer (Scopus)

• Transforming graphical system models to graphical attack models

  Ivanova, M. G., Probst, C. W., Hansen, R. R. & Kammüller, F., 2016, Graphical Models for Security: GraMSec 2015. Springer, s. 82-96 15 s. (Lecture Notes in Computer Science, Bind 9390).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Attack Identification 100%
  • Attack Tree 100%
  • Attack Model 100%
  • Attack Scenario 100%
  • Organization Change 50%
  24 Citationer (Scopus)
• 2015

  A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

  Wognsen, E. R., Haverkort, B., Jongerden, M., Hansen, R. R. & Larsen, K. G., 22 aug. 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer, s. 305-320 (Lecture Notes in Computer Science, Bind 9268).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  20 Citationer (Scopus)

• Attack Tree Generation by Policy Invalidation

  Ivanova, M. G., Probst, C., Hansen, R. R. & Kammüller, F., 2015, Information Security Theory and Practice: 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings. Akram, R. N. & Jajodia , S. (red.). Springer, s. 249-259 (Lecture Notes in Computer Science; Nr. 9311).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  17 Citationer (Scopus)

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

  Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 2015, IEEE International Conference on Information Reuse and Integration (IRI 2015). IEEE (Institute of Electrical and Electronics Engineers), s. 287-294

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  4 Citationer (Scopus)

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

  Skelin, M., Wognsen, E. R., Olesen, M. C., Hansen, R. R. & Larsen, K. G., 10 aug. 2015, 2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings. IEEE (Institute of Electrical and Electronics Engineers), s. 235-244 10 s. 7185065

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Timed Automaton 100%
  • Finite-State Machine 100%
  • Model Checking 100%
  • Scenario-aware Dataflow 100%
  • Finite State Machine 100%
  11 Citationer (Scopus)

• Modelling Socio-Technical Attacks with Timed Automata

  David, N., David, A., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C. & Probst, C., 2015, Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. Association for Computing Machinery (ACM), s. 21-28 7 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  15 Citationer (Scopus)

• The Timed Decentralised Label Model

  Pedersen, M. L., Sørensen, M. H., Lux, D., Nyman, U. M. & Hansen, R. R., 2015, Secure IT Systems: 20th Nordic Conference on Secure IT-Systems (NordSec 2015). Buchegger, S. & Dam, M. (red.). Springer, s. 27-43 (Lecture Notes in Computer Science; Nr. 9417).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil
  2 Citationer (Scopus)

  482 Downloads (Pure)
• 2014

  Battery-Aware Scheduling of Mixed Criticality Systems

  Wognsen, E. R., Hansen, R. R. & Larsen, K. G., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Margaria, T. & Steffen, B. (red.). Springer Publishing Company, Bind 8803. s. 208-222 (Lecture Notes in Computer Science).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  14 Citationer (Scopus)

• Certifiable Java for Embedded Systems

  Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S. E., Ravn, A. P., Rivas, J. R. R., Strøm, T. B. & Søndergaard, H., 2014, Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery (ACM), s. 10-19 10 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  1 Citationer (Scopus)
• 2013

  Worst-Case Memory Consumption Analysis for SCJ

  Andersen, J. L., Todberg, M., Dalsgaard, A. E. & Hansen, R. R., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery (ACM), s. 2-10 9 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Memory Consumption 100%
  • Consumption Analysis 100%
  • Memory Bound 50%
  • Bytecode 50%
  • Memory Model 50%
  7 Citationer (Scopus)
• 2012

  Adaptable Value-Set Analysis for Low-Level Code

  Brauer, J., Hansen, R. R., Kowalewski, S., Larsen, K. G. & Olesen, M. C., jul. 2012, 6th International Workshop on Systems Software Verification (SSV 2011). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 24. 12 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

• Private memory allocation analysis for safety-critical java

  Dalsgaard, A. E., Hansen, R. R. & Schoeberl, M., 2012, JTRES '12 Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery (ACM), s. 9-17 9 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Memory Model 100%
  • Private Memory 100%
  • Allocated Object 100%
  • Memory Allocation 100%
  • Allocation Analysis 100%
  7 Citationer (Scopus)

• THAPS: Automated Vulnerability Scanning of PHP Applications

  Jensen, T., Pedersen, H., Olesen, M. C. & Hansen, R. R., 2012, Proceedings of the 17th Nordic Conference on Secure IT-Systems (NordSec 2012). Springer, Bind 7617. s. 31-46 (Lecture Notes in Computer Science, Bind 7617).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  17 Citationer (Scopus)

• What is a Timing Anomaly?

  Cassez, F., Hansen, R. R. & Olesen, M. C., 2012, Proceedings of the 12th International Workshop on Worst-Case Execution-Time Analysis. Vardanega, T. (red.). Dagstuhl, Germany: Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 23. s. 1-12 12 s. (OpenAccess Series in Informatics).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil
  10 Citationer (Scopus)

  179 Downloads (Pure)
• 2011

  Refactoring Real-Time Java Profiles

  Søndergaard, H., Thomsen, B., Ravn, A. P., Hansen, R. R. & Bøgholm, T., 28 mar. 2011, Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2011 14th IEEE International Symposium on. IEEE (Institute of Electrical and Electronics Engineers), s. 109 - 116 16 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  4 Citationer (Scopus)
• 2010

  Finding Error Handling Bugs in OpenSSL using Coccinelle

  Lawall, J., Laurie, B., Hansen, R. R., Palix, N. & Muller, G., 2010, Proceedings of The 8th European Dependable Computing Conference (EDCC-2010). IEEE Computer Society Press, s. 191-196

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  37 Citationer (Scopus)

• METAMOC; Modular Execution Time Analysis using Model Checking

  Dalsgaard, A. E., Olesen, M. C., Toft, M., Hansen, R. R. & Larsen, K. G., 2010, Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  49 Citationer (Scopus)

• Schedulability Analysis for Java Finalizers

  Bøgholm, T., Hansen, R. R., Søndergaard, H., Ravn, A. P. & Thomsen, B., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), 7 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Schedulability Analysis 100%
  • Bytecode 25%
  • Memory Model 25%
  • Garbage Collection 25%
  • Destructors 25%
  2 Citationer (Scopus)
• 2009

  A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking

  Brunel, J., Doligez, D., Hansen, R. R., Lawall, J. & Mulle, G., 2009, Proceedings of the ACM Symposium on Principles of Programming Languages (POPL'09). Association for Computing Machinery (ACM), s. 114-126 13 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Coccinelle 100%
  • Temporal Model 100%
  • Temporal Logic 100%
  • Control Flow 100%
  • Model Checking 100%
  33 Citationer (Scopus)

• Analysing Access Control Specifications

  Probst, C. W. & Hansen, R. R., 2009, Proceedings of the Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE-2009). IEEE Computer Society Press, Bind 4. s. 22-33

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Control Specifications 100%
  • Cyber Crime 100%
  • Insider Attack 100%
  • Log Data 100%
  • Log Files 100%
  10 Citationer (Scopus)

• A predictable Java profile: rationale and implementations

  Bøgholm, T., Hansen, R. R., Ravn, A. P., Thomsen, B. & Søndergaard, H., 2009, ACM International Conference Proceeding Series: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery (ACM), s. 150-159

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  22 Citationer (Scopus)

• Fluid Information Systems

  Probst, C. W. & Hansen, R. R., 2009, Proceedings of the New Security Paradigms Workshop (NSPW'09). Association for Computing Machinery (ACM), 8 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Security Paradigm 100%
  • Network Communication 100%
  • Language-based Security 100%
  • Almost Everywhere 100%
  • Security Analysis 100%
  4 Citationer (Scopus)

• Type inference for correspondence types

  Hüttel, H., Gordon, A. & Hansen, R. R., 2009, Proceedings of the 6th Workshop on Security Issues in Concurrency (SecCo'08). Elsevier, s. 21-36 15 s. (Electronic Notes in Theoretical Computer Science; Nr. 242, Bind 3).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Type Inference 100%
  • Finite Model Property 100%
  • Least Fixed-point Logic 100%
  • Finite Models 100%
  • Effect Systems 100%
  1 Citationer (Scopus)

• WYSIWYB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code

  Lawall, J., Lawall, J., Palix, N., Hansen, R. R. & Muller, G., 2009, Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09). IEEE Computer Society Press, s. 43-52 10 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Source Codes 100%
  • Search Engine 100%
  • Control Flow 100%
  • Express Specification 100%
  • False Positive 100%
• 2008

  Documenting and Automating Collateral Evolutions in Linux Device Drivers

  Padioleau, Y., Lawall, J. L., Hansen, R. R. & Muller, G., 2008, Proceedings of the European Conference on Computer Systems 2008 (EuroSys 2008). Association for Computing Machinery (ACM), s. 247-260

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  93 Citationer (Scopus)

• From Flow Logic to Static Type Systems for Coordination Languages

  De Nicola, R., Gorla, D., Hansen, R. R., Nielson, F., Nielson, H. R., Probst, C. W. & Pugliese, R., 2008, Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08). Springer, s. 100-116 (Lecture Notes in Computer Science; Nr. 5052).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  5 Citationer (Scopus)

• Static validation of licence conformance policies

  Hansen, R. R., Nielson, F., Nielson, H. R. & Probst, C. W., 2008, ARES 2008: Proceedings of the Third International Conference on Availability, Security and Reliability. IEEE Computer Society Press, s. 1104-1111

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  9 Citationer (Scopus)
• 2007

  The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer

  Jones, N. D. & Hansen, R. R., 2007, Programming Languages and Systems: 5th Asian Symposium, APLAS 2007. Shao, Z. (red.). Springer, s. 303-318 (Lecture Notes in Computer Science; Nr. 4807).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  2 Citationer (Scopus)

• Where can an insider attack?

  Probst, C. W., Hansen, R. R. & Nielson, F., 2007, Formal Aspects in Security and Trust - Fourth International Workshop, FAST 2006, Revised Selected Papers. Springer, s. 127-142 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 4691 LNCS).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Insider Attack 100%
  • Process Algebra 50%
  • Access Control 50%
  • Intelligence Community 50%
  • Automated Tool 50%
  35 Citationer (Scopus)