Thomas Bøgholm

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 4

Top Topics

Algebraic Operations

Safety Critical

Java Programming

Top Venues

J. Comput. Lang.

Innov. Syst. Softw. Eng.

Models, Mindsets, Meta

Publications

Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
On the cost semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 69 (2022)
Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
On the semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 57 (2020)
Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen
Analyzing Spreadsheets for Parallel Execution via Model Checking. Models, Mindsets, Meta (2018)
Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. Models, Algorithms, Logics and Tools (2017)
Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm
From Safety Critical Java Programs to Timed Process Models. Programming Languages with Applications to Biology and Security (2015)
Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
Towards harnessing theories through tool support for hard real-time Java programming. Innov. Syst. Softw. Eng. 9 (1) (2013)
Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen, Kim Guldstrand Larsen
TetaSARTS: a tool for modular timing analysis of safety critical Java systems. JTRES (2013)
Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft
Schedulability Analysis Abstractions for Safety Critical Java. ISORC (2012)
Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm
Refactoring Real-Time Java Profiles. ISORC (2011)
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)
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard
Schedulability analysis for Java finalizers. JTRES (2010)
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard
A predictable Java profile: rationale and implementations. JTRES (2009)
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)