The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

René Rydhof Hansen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. René Rydhof Hansen, Christian W. Probst, Flemming Nielson
    Sandboxing in myKlaim. [Citation Graph (0, 0)][DBLP]
    ARES, 2006, pp:174-181 [Conf]
  2. Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
    Semantic patches for documenting and automating collateral evolutions in Linux device drivers. [Citation Graph (0, 0)][DBLP]
    PLOS, 2006, pp:10- [Conf]
  3. Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen
    Validating Firewalls in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:463-477 [Conf]
  4. René Rydhof Hansen
    A Hardest Attacker for Leaking References. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:310-324 [Conf]
  5. René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson
    Abstract Interpretation of Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:134-148 [Conf]
  6. Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl
    The Succinct Solver Suite. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:251-265 [Conf]
  7. René Rydhof Hansen, Igor Siveroni
    Towards Verification of Well-Formed Transactions in Java Card Bytecode. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:145-162 [Journal]
  8. Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
    Abstract interpretation of mobile ambients. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:47, n:2-3, pp:145-175 [Journal]
  9. Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen
    Semantic patches considered helpful. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 2006, v:40, n:3, pp:90-92 [Journal]
  10. Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen
    Validating firewalls using flow logics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:283, n:2, pp:381-418 [Journal]
  11. Christian W. Probst, René Rydhof Hansen, Flemming Nielson
    Where Can an Insider Attack? [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2006, pp:127-142 [Conf]
  12. Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen
    Program Partitioning Using Dynamic Trust Models. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2006, pp:170-184 [Conf]
  13. Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen
    Locality-Based Security Policies. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2006, pp:185-201 [Conf]
  14. Thomas Bolander, René Rydhof Hansen
    Hybrid Logical Analyses of the Ambient Calculus. [Citation Graph (0, 0)][DBLP]
    WoLLIC, 2007, pp:83-100 [Conf]

  15. Static Validation of Licence Conformance Policies. [Citation Graph (, )][DBLP]


  16. The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. [Citation Graph (, )][DBLP]


  17. From Flow Logic to Static Type Systems for Coordination Languages. [Citation Graph (, )][DBLP]


  18. WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. [Citation Graph (, )][DBLP]


  19. Finding Error Handling Bugs in OpenSSL Using Coccinelle. [Citation Graph (, )][DBLP]


  20. A foundation for flow-based program matching: using temporal logic and model checking. [Citation Graph (, )][DBLP]


  21. Analysing Access Control Specifications. [Citation Graph (, )][DBLP]


  22. CTL as an Intermediate Language. [Citation Graph (, )][DBLP]


  23. Documenting and automating collateral evolutions in linux device drivers. [Citation Graph (, )][DBLP]


  24. A predictable Java profile: rationale and implementations. [Citation Graph (, )][DBLP]


  25. Schedulability analysis for Java finalizers. [Citation Graph (, )][DBLP]


  26. Type Inference for Correspondence Types. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002