Model-based schedulability analysis of safety critical hard real-time Java programs. - Thomas Bøgholm; Henrik Kragh-Hansen; Petur Olsen; Bent Thomsen; Kim Guldstrand Larsen (JTRES, 2008)

A predictable Java profile: rationale and implementations. - Thomas Bøgholm; René Rydhof Hansen; Anders P. Ravn; Bent Thomsen; Hans Søndergaard (JTRES, 2009)

Schedulability analysis for Java finalizers. - Thomas Bøgholm; René Rydhof Hansen; Anders P. Ravn; Bent Thomsen; Hans Søndergaard (JTRES, 2010)

Formal Modelling and Analysis of Predictable Java. - Thomas Bøgholm; René Rydhof Hansen; Anders P. Ravn; Hans Søndergaard; Bent Thomsen (ERCIM News, 2010)

Refactoring Real-Time Java Profiles. - Hans Søndergaard; Bent Thomsen; Anders P. Ravn; René Rydhof Hansen; Thomas Bøgholm (ISORC, 2011)

Schedulability Analysis Abstractions for Safety Critical Java. - Thomas Bøgholm; Bent Thomsen; Kim G. Larsen; Alan Mycroft (ISORC, 2012)

TetaSARTS: a tool for modular timing analysis of safety critical Java systems. - Kasper Søe Luckow; Thomas Bøgholm; Bent Thomsen; Kim Guldstrand Larsen (JTRES, 2013)

Towards harnessing theories through tool support for hard real-time Java programming. - Thomas Bøgholm; Christian Frost; René Rydhof Hansen; Casper Svenning Jensen; Kasper Søe Luckow; Anders P. Ravn; Hans Søndergaard; Bent Thomsen (Innov. Syst. Softw. Eng., 2013)

From Safety Critical Java Programs to Timed Process Models. - Bent Thomsen; Kasper Søe Luckow; Lone Leth Thomsen; Thomas Bøgholm (Programming Languages with Applications to Biology and Security, 2015)

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. - Anders P. Ravn; Bent Thomsen; Kasper Søe Luckow; Lone Leth; Thomas Bøgholm (Models, Algorithms, Logics and Tools, 2017)

Analyzing Spreadsheets for Parallel Execution via Model Checking. - Thomas Bøgholm; Kim G. Larsen; Marco Muñiz; Bent Thomsen; Lone Leth Thomsen (Models, Mindsets, Meta, 2018)

On the semantics for spreadsheets with sheet-defined functions. - Alexander Asp Bock; Thomas Bøgholm; Peter Sestoft; Bent Thomsen; Lone Leth Thomsen (J. Comput. Lang., 2020)

On the cost semantics for spreadsheets with sheet-defined functions. - Alexander Asp Bock; Thomas Bøgholm; Peter Sestoft; Bent Thomsen; Lone Leth Thomsen (J. Comput. Lang., 2022)