Thomas Bøgholm

	2012
6		Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft: Schedulability Analysis Abstractions for Safety Critical Java. ISORC 2012: 71-78
	2011
5		Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm: Refactoring Real-Time Java Profiles. ISORC 2011: 109-116
	2010
4		Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard: Schedulability analysis for Java finalizers. JTRES 2010: 1-7
3		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)
	2009
2		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
	2008
1		Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen: Model-based schedulability analysis of safety critical hard real-time Java programs. JTRES 2008: 106-114

Coauthor Index

1	René Rydhof Hansen	[2] [3] [4] [5]
2	Henrik Kragh-Hansen	[1]
3	Kim Guldstrand Larsen (Kim G. Larsen)	[1] [6]
4	Alan Mycroft	[6]
5	Petur Olsen	[1]
6	Anders P. Ravn	[2] [3] [4] [5]
7	Hans Søndergaard	[2] [3] [4] [5]
8	Bent Thomsen	[1] [2] [3] [4] [5] [6]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page