René Rydhof Hansen

	2011
34		Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm: Refactoring Real-Time Java Profiles. ISORC 2011: 109-116
33		Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba: opaal: A Lattice Model Checker. NASA Formal Methods 2011: 487-493
	2010
32		Julia L. Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller: Finding Error Handling Bugs in OpenSSL Using Coccinelle. EDCC 2010: 191-196
31		Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard: Schedulability analysis for Java finalizers. JTRES 2010: 1-7
30		Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen: METAMOC: Modular Execution Time Analysis using Model Checking. WCET 2010: 113-123
29		Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix: Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. ECEASST 33: (2010)
28		Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen: Formal Modelling and Analysis of Predictable Java. ERCIM News 2010(81): (2010)
27		Julia L. Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller: Improving the Security of Infrastructure Software using Coccinelle. ERCIM News 2010(83): 54 (2010)
26		Thomas Bolander, René Rydhof Hansen: Hybrid logical analyses of the ambient calculus. Inf. Comput. 208(5): 433-449 (2010)
25		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. Sci. Comput. Program. 75(6): 376-397 (2010)
	2009
24		Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller: WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. DSN 2009: 43-52
23		Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard: A predictable Java profile: rationale and implementations. JTRES 2009: 150-159
22		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
21		Christian W. Probst, René Rydhof Hansen: Analysing Access Control Specifications. SADFE 2009: 22-33
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 Bøgholm	[23] [28] [31] [34]
2	Thomas Bolander	[14] [26]
3	Julien Brunel	[22] [24]
4	Mikael Buchholtz	[5]
5	Andreas Engelbredt Dalsgaard	[30] [33]
6	Damien Doligez	[22]
7	Andrew D. Gordon (Andy Gordon)	[20]
8	Daniele Gorla	[18] [25]
9	Hans Hüttel	[20]
10	Christian Damsgaard Jensen	[11]
11	Jacob Grydholt Jensen	[1] [2]
12	Neil D. Jones	[15] [16]
13	Kenneth Yrke Jørgensen	[33]
14	Kim Guldstrand Larsen (Kim G. Larsen)	[30] [33]
15	Ben Laurie	[32]
16	Julia L. Lawall	[8] [9] [17] [22] [24] [27] [29] [32]
17	Gilles Muller	[8] [9] [17] [22] [24] [27] [32]
18	Rocco De Nicola	[18] [25]
19	Flemming Nielson	[1] [2] [3] [4] [5] [10] [12] [13] [18] [19] [25]
20	Hanne Riis Nielson	[1] [2] [3] [4] [5] [18] [19] [25]
21	Mads Chr. Olesen	[29] [30] [33]
22	Petur Olsen	[33]
23	Yoann Padioleau	[8] [9] [17]
24	Nicolas Palix	[24] [27] [29] [32]
25	Henrik Pilegaard	[5]
26	Christian W. Probst	[11] [12] [13] [18] [19] [21] [25]
27	Rosario Pugliese	[18] [25]
28	Anders P. Ravn	[23] [28] [31] [34]
29	Helmut Seidl	[5]
30	Igor Siveroni	[7]
31	Dan Søndergaard	[11]
32	Hans Søndergaard	[23] [28] [31] [34]
33	Jirí Srba	[33]
34	Henrik Stuart	[24]
35	Hongyan Sun	[5]
36	Bent Thomsen	[23] [28] [31] [34]
37	Martin Toft	[30]
38	Terkel K. Tolstrup	[10]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page