by Askarov, Aslan, Hansen, René Rydhof, Rafnsson, Willard
Year of Publication 2019

by Gadyatskaya, Olga, Hansen, René Rydhof, Larsen, Kim Guldstrand, Legay, Axel, Olesen, Mads Chr, Poulsen, Danny Bøgsted
Published in Formal Modeling and Analysis of Timed Systems

by Probst, Christian W, Hankin, Chris, Hansen, René Rydhof
Year of Publication 2016

by Coles-Kemp, Lizzie, Hansen, René Rydhof
Published in Human Aspects of Information Security, Privacy and Trust

by Ivanova, Marieta Georgieva, Probst, Christian W., Hansen, René Rydhof, Kammüller, Florian
Published in Graphical Models for Security (01.01.2016)

by Dharanikota, Samvid, Jensen, Michael Toft, Kristensen, Sebastian Rom, Michno, Mathias Sass, Pignolet, Yvonne-Anne, Rydhof Hansen, René, Schmid, Stefan
Published in PloS one (28.04.2020)

by Wognsen, Erik Ramsgaard, Karlsen, Henrik Søndberg, Olesen, Mads Chr, Hansen, René Rydhof
Published in Science of computer programming (15.10.2014)

by Hageman, Kaspar, Hansen, René Rydhof, Pedersen, Jens Myrup
Published in Secure IT Systems

by Hansen, René Rydhof, Larsen, Kim Guldstrand, Legay, Axel, Jensen, Peter Gjøl, Poulsen, Danny Bøgsted
Published in International journal on software tools for technology transfer (01.02.2021)

by Olesen, Mads Chr, Hansen, René Rydhof, Lawall, Julia L., Palix, Nicolas
Published in Science of computer programming (01.10.2014)

by Hansen, René Rydhof, Larsen, Kim Guldstrand, Olesen, Mads Chr, Wognsen, Erik Ramsgaard
Published in Information systems frontiers (01.10.2016)

by Probst, Christian W., Kammüller, Florian, Hansen, René Rydhof
Published in Semantics, Logics, and Calculi (01.01.2016)

by Arora, Shiraj, Hansen, René Rydhof, Larsen, Kim Guldstrand, Legay, Axel, Poulsen, Danny Bøgsted
Published in Model Checking Software (2022)

by Ivanova, Marieta Georgieva, Probst, Christian W., Hansen, René Rydhof, Kammüller, Florian
Published in Information Security Theory and Practice

by Lawall, Julia L., Brunel, Julien, Palix, Nicolas, Hansen, René Rydhof, Stuart, Henrik, Muller, Gilles
Published in Software, practice & experience (01.01.2013)

by Wognsen, Erik Ramsgaard, Hansen, René Rydhof, Larsen, Kim Guldstrand
Published in Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

by Bolander, Thomas, Hansen, René Rydhof
Published in Information and computation (01.05.2010)

by De Nicola, Rocco, Gorla, Daniele, Hansen, René Rydhof, Nielson, Flemming, Nielson, Hanne Riis, Probst, Christian W., Pugliese, Rosario
Published in Science of computer programming (01.06.2010)

by Wognsen, Erik Ramsgaard, Haverkort, Boudewijn R., Jongerden, Marijn, Hansen, René Rydhof, Larsen, Kim Guldstrand
Published in Formal Modeling and Analysis of Timed Systems (2015)

by Hansen, René Rydhof, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Legay, Axel, Poulsen, Danny Bøgsted
Published in Graphical Models for Security (2018)