• Selma Lagerløfs Vej 300, 1-2-12

    9220 Aalborg Ø

    Denmark

20072017
If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • Computer Science

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 8 Similar Profiles
Model checking Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Flow control Engineering & Materials Science
Storage allocation (computer) Engineering & Materials Science
Specifications Engineering & Materials Science
Temporal logic Engineering & Materials Science
Crime Engineering & Materials Science
Finite automata Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 2008 2015

Research Output 2007 2017

1 Citation (Scopus)

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, p. 75-90 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
1 Citation (Scopus)

Safety-critical Java for embedded systems

Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S. E., Ravn, A. P., Rios Rivas, J. R., Strøm, T. B., Søndergaard, H., Wellings, A. & Zhao, S., 2017, In : Concurrency and Computation: Practice & Experience. 29, 22

Research output: Contribution to journalJournal articleResearchpeer-review

Embedded systems
Engineering research
Data storage equipment
1 Citation (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, Vol. 10292 LNCS. p. 464-480 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10292 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

assets
interaction
research project
EU
citizen

An Automata-Based Approach to Trace Partitioned Abstract Interpretation

Olesen, M. C., Hansen, R. R. & Larsen, K. G., 2016, Semantics, Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer, p. 88-110 (Lecture Notes in Computer Science, Vol. 9560).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

110 Downloads (Pure)

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, p. 163-168 6 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

File

Press / Media

Reklamenetværk sporer danskerne massivt på nettet

René Rydhof Hansen

30/05/2018

1 item of media coverage

Press/Media: Press / Media

Digitale elmålere kan give fremmede adgang til dine personlige data

René Rydhof Hansen

28/12/2017

1 item of media coverage

Press/Media: Press / Media

Apps har fri adgang til at følge dine bevægelser

René Rydhof Hansen

24/02/2017

7 items of media coverage

Press/Media: Press / Media

Android-telefoner gemmer din placering i flere år

René Rydhof Hansen

24/02/2017

1 item of media coverage

Press/Media: Press / Media

TDC totalovervåger tre millioner mobilbrugeres færden

René Rydhof Hansen

04/11/2016

7 items of media coverage

Press/Media: Press / Media