René Rydhof Hansen

	2009
21		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
20		Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen: Type Inference for Correspondence Types. Electr. Notes Theor. Comput. Sci. 242(3): 21-36 (2009)
	2008
19		René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst: Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111
18		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		Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen, Gilles Muller: Documenting and automating collateral evolutions in linux device drivers. EuroSys 2008: 247-260
16		Neil D. Jones, René Rydhof Hansen: CTL as an Intermediate Language. VMCAI 2008: 4
	2007
15		Neil D. Jones, René Rydhof Hansen: The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. APLAS 2007: 303-318
14		Thomas Bolander, René Rydhof Hansen: Hybrid Logical Analyses of the Ambient Calculus. WoLLIC 2007: 83-100
	2006
13		René Rydhof Hansen, Christian W. Probst, Flemming Nielson: Sandboxing in myKlaim. ARES 2006: 174-181
12		Christian W. Probst, René Rydhof Hansen, Flemming Nielson: Where Can an Insider Attack? Formal Aspects in Security and Trust 2006: 127-142
11		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		Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen: Locality-Based Security Policies. Formal Aspects in Security and Trust 2006: 185-201
9		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		Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen: Semantic patches considered helpful. Operating Systems Review 40(3): 90-92 (2006)
	2005
7		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		René Rydhof Hansen: A Hardest Attacker for Leaking References. ESOP 2004: 310-324
5		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		Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson: Abstract interpretation of mobile ambients. Sci. Comput. Program. 47(2-3): 145-175 (2003)
	2002
3		Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen: Validating firewalls using flow logics. Theor. Comput. Sci. 283(2): 381-418 (2002)
	1999
2		Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen: Validating Firewalls in Mobile Ambients. CONCUR 1999: 463-477
1		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	[21]
3	Mikael Buchholtz	[5]
4	Damien Doligez	[21]
5	Andrew D. Gordon (Andy Gordon)	[20]
6	Daniele Gorla	[18]
7	Hans Hüttel	[20]
8	Christian Damsgaard Jensen	[11]
9	Jacob Grydholt Jensen	[1] [2]
10	Neil D. Jones	[15] [16]
11	Julia L. Lawall	[8] [9] [17] [21]
12	Gilles Muller	[8] [9] [17] [21]
13	Rocco De Nicola	[18]
14	Flemming Nielson	[1] [2] [3] [4] [5] [10] [12] [13] [18] [19]
15	Hanne Riis Nielson	[1] [2] [3] [4] [5] [18] [19]
16	Yoann Padioleau	[8] [9] [17]
17	Henrik Pilegaard	[5]
18	Christian W. Probst	[11] [12] [13] [18] [19]
19	Rosario Pugliese	[18]
20	Helmut Seidl	[5]
21	Igor Siveroni	[7]
22	Dan Søndergaard	[11]
23	Hongyan Sun	[5]
24	Terkel K. Tolstrup	[10]

Colors in the list of coauthors