René Rydhof Hansen

Documenting and automating collateral evolutions in linux device drivers

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

Computing, Computer Science, Computer Systems +15

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

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

Computing, Computer Systems, Information 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

Engineering, Computer Engineering, Computer Science +17

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

Computing, Computer Science, Computer Systems +13

Validating firewalls using flow logics

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

Computing, Computer Science, Cybersecurity +10