Thomas Bøgholm

14 papers C 2Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2026 — conf
Sustainable Software Development: New Challenges for Programming, Language Design and Analysis.
Languages, Compilers, Analysis
Bent Thomsen, Lone Leth Thomsen, Thomas Bøgholm
2022 J jnl
On the cost semantics for spreadsheets with sheet-defined functions.
J. Comput. Lang.
Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
2020 J jnl
On the semantics for spreadsheets with sheet-defined functions.
J. Comput. Lang.
Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
2018 — conf
Analyzing Spreadsheets for Parallel Execution via Model Checking.
Models, Mindsets, Meta
Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen
2017 — conf
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking.
Models, Algorithms, Logics and Tools
Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm
2015 — conf
From Safety Critical Java Programs to Timed Process Models.
Programming Languages with Applications to Biology and Security
Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm
2013 — conf
TetaSARTS: a tool for modular timing analysis of safety critical Java systems.
JTRES
Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen, Kim Guldstrand Larsen
2013 J jnl
Towards harnessing theories through tool support for hard real-time Java programming.
Innov. Syst. Softw. Eng.
Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
2012 C conf
Schedulability Analysis Abstractions for Safety Critical Java.
ISORC
Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft
2011 C conf
Refactoring Real-Time Java Profiles.
ISORC
Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm
2010 J jnl
Formal Modelling and Analysis of Predictable Java.
ERCIM News
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
2010 — conf
Schedulability analysis for Java finalizers.
JTRES
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard
2009 — conf
A predictable Java profile: rationale and implementations.
JTRES
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard
2008 — conf
Model-based schedulability analysis of safety critical hard real-time Java programs.
JTRES
Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen