Concepedia

René Rydhof Hansen

RR

Statistics

Publications

28

Citations

952

H-Index

18

Active since

2002

Affiliations

Aalborg University(Current)

University of Copenhagen

Institut national de recherche en sciences et technologies du numérique

Technical University of Denmark

Aarhus University

René Rydhof Hansen is an author at Aalborg University specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal VerificationProgram AnalysisSystem SoftwareSoftware EngineeringFormal MethodsSoftware DesignComputer Engineering

Publications per year

2002–2019

28

Publications

28

Documenting and automating collateral evolutions in linux device drivers

Yoann Padioleau, Julia Lawall, René Rydhof Hansen et al. · 2008 · 190 citations

Engineering, Collateral Evolutions, Computer Architecture +19

Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin

René Rydhof Hansen, Rico Wind, Christian S. Jensen et al. · 2009 · 84 citations

Engineering, Location Awareness, Wearable Technology +12

METAMOC: Modular Execution Time Analysis using Model Checking

Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 68 citations · Full text

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code

Julia L. Lawall, Julien Brunel, Nicolas Palix et al. · 2009 · 60 citations

Software Maintenance, Engineering, Os Bugs +25

Validating firewalls using flow logics

Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen · Theoretical Computer Science · 2002 · 48 citations

Engineering, Data Flow, Next-generation Firewall +7

1–5 of 28