Mads Chr. Olesen

	2011
3		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
2		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
1		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)

Coauthor Index

1	Andreas Engelbredt Dalsgaard	[2] [3]
2	René Rydhof Hansen	[1] [2] [3]
3	Kenneth Yrke Jørgensen	[3]
4	Kim Guldstrand Larsen (Kim G. Larsen)	[2] [3]
5	Julia L. Lawall	[1]
6	Petur Olsen	[3]
7	Nicolas Palix	[1]
8	Jirí Srba	[3]
9	Martin Toft	[2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page