René Rydhof Hansen

2009
20	EE	Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller: A foundation for flow-based program matching: using temporal logic and model checking. POPL 2009: 114-126
2008
19	EE	René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst: Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111
18	EE	Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese: From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116
17	EE	Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen, Gilles Muller: Documenting and automating collateral evolutions in linux device drivers. EuroSys 2008: 247-260
16	EE	Neil D. Jones, René Rydhof Hansen: CTL as an Intermediate Language. VMCAI 2008: 4
2007
15	EE	Neil D. Jones, René Rydhof Hansen: The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. APLAS 2007: 303-318
14	EE	Thomas Bolander, René Rydhof Hansen: Hybrid Logical Analyses of the Ambient Calculus. WoLLIC 2007: 83-100
2006
13	EE	René Rydhof Hansen, Christian W. Probst, Flemming Nielson: Sandboxing in myKlaim. ARES 2006: 174-181
12	EE	Christian W. Probst, René Rydhof Hansen, Flemming Nielson: Where Can an Insider Attack? Formal Aspects in Security and Trust 2006: 127-142
11	EE	Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen: Program Partitioning Using Dynamic Trust Models. Formal Aspects in Security and Trust 2006: 170-184
10	EE	Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen: Locality-Based Security Policies. Formal Aspects in Security and Trust 2006: 185-201
9	EE	Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller: Semantic patches for documenting and automating collateral evolutions in Linux device drivers. PLOS 2006: 10
8	EE	Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen: Semantic patches considered helpful. Operating Systems Review 40(3): 90-92 (2006)
2005
7	EE	René Rydhof Hansen, Igor Siveroni: Towards Verification of Well-Formed Transactions in Java Card Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 145-162 (2005)
2004
6	EE	René Rydhof Hansen: A Hardest Attacker for Leaking References. ESOP 2004: 310-324
5	EE	Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265
2003
4	EE	Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson: Abstract interpretation of mobile ambients. Sci. Comput. Program. 47(2-3): 145-175 (2003)
2002
3	EE	Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen: Validating firewalls using flow logics. Theor. Comput. Sci. 283(2): 381-418 (2002)
1999
2	EE	Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen: Validating Firewalls in Mobile Ambients. CONCUR 1999: 463-477
1	EE	René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson: Abstract Interpretation of Mobile Ambients. SAS 1999: 134-148

Coauthor Index

1	Thomas Bolander	[14]
2	Julien Brunel	[20]
3	Mikael Buchholtz	[5]
4	Damien Doligez	[20]
5	Daniele Gorla	[18]
6	Christian Damsgaard Jensen	[11]
7	Jacob Grydholt Jensen	[1] [2]
8	Neil D. Jones	[15] [16]
9	Julia L. Lawall	[8] [9] [17] [20]
10	Gilles Muller	[8] [9] [17] [20]
11	Rocco De Nicola	[18]
12	Flemming Nielson	[1] [2] [3] [4] [5] [10] [12] [13] [18] [19]
13	Hanne Riis Nielson	[1] [2] [3] [4] [5] [18] [19]
14	Yoann Padioleau	[8] [9] [17]
15	Henrik Pilegaard	[5]
16	Christian W. Probst	[11] [12] [13] [18] [19]
17	Rosario Pugliese	[18]
18	Helmut Seidl	[5]
19	Igor Siveroni	[7]
20	Dan Søndergaard	[11]
21	Hongyan Sun	[5]
22	Terkel K. Tolstrup	[10]

Colors in the list of coauthors