Rene Rydhof Hansen

1 - 25 ud af 25Pr. side: 100
RSS feed af denne liste
Sortering: Udgivelsesår
  1. 2012
  2. Accepteret

    WYSIWIB: Exploiting Fine-Grained Program Structure in a Scriptable API-Usage Protocol Finding Process. / Lawall, Julia ; Brunel, Julien Pierre Manuel ; Palix, Nicolas Jean-Michel ; Hansen, Rene Rydhof ; Stuart, Henrik ; Muller, Gilles.

    I: Software: Practice & Experience, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  3. 2011
  4. Udgivet

    Refactoring Real-Time Java Profiles. / Søndergaard, Hans ; Thomsen, Bent ; Ravn, Anders Peter ; Hansen, Rene Rydhof ; Bøgholm, Thomas.

    I: International Symposium on Object-Oriented Real-Time Distributed Computing, 28.03.2011, s. 109 - 116.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  5. Udgivet

    Adaptable Value-Set Analysis for Low-Level Code. / Brauer, Jörg ; Hansen, Rene Rydhof ; Kowalewski, Stefan ; Larsen, Kim Guldstrand ; Olesen, Mads Chr..

    I: 6th International Workshop on Systems Software Verification (SSV 2011). 2011.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  6. Udgivet

    opaal: A Lattice Model Checker. / Dalsgaard, Andreas Engelbredt ; Hansen, Rene Rydhof ; Jørgensen, Kenneth Yrke ; Larsen, Kim Guldstrand ; Olesen, Mads Chr. ; Olsen, Petur ; Srba, Jiri.

    I: NASA Formal Methods. Springer, 2011. s. 487-493 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  7. 2010
  8. Udgivet

    Formal Modelling and Analysis of Predictable Java. / Bøgholm, Thomas ; Hansen, Rene Rydhof ; Ravn, Anders Peter ; Søndergaard, Hans ; Thomsen, Bent.

    I: E R C I M News, Nr. 81, 04.2010, s. 52-53.

    Publikation: Forskning - peer review › Tidsskriftartikel

  9. Udgivet

    Hybrid Logical Analyses of the Ambient Calculus. / Bolander, Thomas ; Hansen, Rene Rydhof.

    I: Information and Computation, Vol. 208, Nr. 5, 05.2010, s. 433-449.

    Publikation: Forskning - peer review › Tidsskriftartikel

  10. Udgivet

    From Flow Logic to Static Type Systems for Coordination Languages. / De Nicola, Rocce ; Gorla, Daniele ; Hansen, Rene Rydhof ; Nielson, Flemming ; Nielson, Hanne Riis ; Probst, Christian W. ; Pugliese, Rosario.

    I: Science of Computer Programming, Vol. 75, Nr. 6, 06.2010, s. 376-397.

    Publikation: Forskning - peer review › Tidsskriftartikel

  11. Udgivet

    Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. / Olesen, Mads Chr. ; Hansen, Rene Rydhof ; Lawall, Julia ; Palix, Nicolas Jean-Michel.

    I: Proceedings of the Fourth International Workshop on Foundations and Techniques for Open Source Certification (OpenCert 2010). Vol. 33 2010. (Electronic Communications of the EASST).

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  12. Udgivet

    Improving the Security of Infrastructure Software using Coccinelle. / Lawall, Julia ; Hansen, Rene Rydhof ; Palix, Nicolas Jean-Michel ; Muller, Gilles.

    I: E R C I M News, Nr. 83, 10.2010, s. 4.

    Publikation: Formidling › Tidsskriftartikel

  13. Udgivet

    Finding Error Handling Bugs in OpenSSL using Coccinelle. / Lawall, Julia ; Laurie, Ben ; Hansen, Rene Rydhof ; Palix, Nicolas ; Muller, Gilles.

    I: Proceedings of The 8th European Dependable Computing Conference (EDCC-2010). IEEE Computer Society Press, 2010. s. 191-196.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  14. Udgivet

    METAMOC; Modular Execution Time Analysis using Model Checking. / Dalsgaard, Andreas Engelbredt ; Olesen, Mads Chr. ; Toft, Martin ; Hansen, Rene Rydhof ; Larsen, Kim Guldstrand.

    I: Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010). 2010.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  15. Udgivet

    Schedulability Analysis for Java Finalizers. / Bøgholm, Thomas ; Hansen, Rene Rydhof ; Søndergaard, Hans ; Ravn, Anders Peter ; Thomsen, Bent.

    I: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series. Association for Computing Machinery, 2010.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  16. 2009
  17. Udgivet

    A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking. / Brunel, Julien ; Doligez, Damien ; Hansen, Rene Rydhof ; Lawall, Julia ; Mulle, Gilles.

    I: Proceedings of the ACM Symposium on Principles of Programming Languages (POPL'09). Association for Computing Machinery, 2009. s. 114-126.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  18. Udgivet

    A predictable Java profile : rationale and implementations. / Bøgholm, Thomas ; Hansen, Rene Rydhof ; Ravn, Anders Peter ; Thomsen, Bent ; Søndergaard, Hans.

    I: ACM International Conference Proceeding Series: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, 2009. s. 150-159.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  19. Udgivet

    Analysing Access Control Specifications. / Probst, Christian W. ; Hansen, Rene Rydhof.

    I: Proceedings of the Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE-2009). Vol. 4 IEEE Computer Society Press, 2009. s. 22-33.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  20. Udgivet

    Fluid Information Systems. / Probst, Christian W. ; Hansen, Rene Rydhof.

    I: Proceedings of the New Security Paradigms Workshop (NSPW'09). Association for Computing Machinery, 2009.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  21. Udgivet

    Type inference for correspondence types. / Hüttel, Hans ; Gordon, Andy ; Hansen, Rene Rydhof.

    I: Proceedings of the 6th Workshop on Security Issues in Concurrency (SecCo'08). Elsevier Science, 2009. s. 21-36 (Electronic Notes in Theoretical Computer Science; 242).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  22. Udgivet

    WCET Analysis of ARM Processors using Real-Time Model Checking. / Toft, Martin ; Olesen, Mads Christian ; Dalsgaard, Andreas ; Larsen, Kim Guldstrand ; Hansen, Rene Rydhof.

    I: RWTH Aachen, Dept. of Computer Science, Nr. 14, 2009, s. 4-6.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  23. Udgivet

    WYSIWYB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code. / Lawall, Julia ; Lawall, Julia ; Palix, Nicolas ; Hansen, Rene Rydhof ; Muller, Gilles.

    I: Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09). IEEE Computer Society Press, 2009. s. 43-52.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  24. 2008
  25. Udgivet

    An extensible analysable system model. / Probst, Christian W. ; Hansen, Rene Rydhof.

    I: Information Security Technical Report, Vol. 13, Nr. 4, 2008, s. 235-246.

    Publikation: Forskning - peer review › Tidsskriftartikel

  26. Udgivet

    CTL as an intermediate language. / Jones, Neil Deaton ; Hansen, Rene Rydhof.

    I: Verification, Model Checking, and Abstract Interpretation. Springer, 2008. s. 4- (Lecture Notes in Computer Science; 4905).

    Publikation: Forskning › Bidrag til bog/antologi

  27. Udgivet

    Documenting and Automating Collateral Evolutions in Linux Device Drivers. / Padioleau, Yoann ; Lawall, Julia Laetitia ; Hansen, Rene Rydhof ; Muller, Gilles.

    I: Proceedings of the European Conference on Computer Systems 2008 (EuroSys 2008). Association for Computing Machinery, 2008. s. 247-260.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  28. Udgivet

    From Flow Logic to Static Type Systems for Coordination Languages. / De Nicola, Rocco ; Gorla, Daniele ; Hansen, Rene Rydhof ; Nielson, Flemming ; Nielson, Hanne Riis ; Probst, Christian W. ; Pugliese, Rosario.

    I: Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08). Springer, 2008. s. 100-116 (Lecture Notes in Computer Science; 5052).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  29. Udgivet

    Static validation of licence conformance policies. / Hansen, Rene Rydhof ; Nielson, Flemming ; Nielson, Hanne Riis ; Probst, Christian W..

    I: ARES 2008: Proceedings of the Third International Conference on Availability, Security and Reliability. IEEE Computer Society Press, 2008. s. 1104-1111.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  30. 2007
  31. Udgivet

    The Semantics of "Semantic Patches" in Coccinelle : Program Transformation for the Working Programmer. / Jones, Neil D. ; Hansen, Rene Rydhof.

    I: Programming Languages and Systems: 5th Asian Symposium, APLAS 2007. red. / Zhong Shao. Springer, 2007. s. 303-318 (Lecture Notes in Computer Science; 4807).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

© Videnbasen, Aalborg Universitet · vbn@aub.aau.dk · Om VBN