Thomas Bøgholm

According to our database, Thomas Bøgholm authored at least 13 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

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

2020

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

2018

Analyzing Spreadsheets for Parallel Execution via Model Checking.

Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen

Proceedings of the Models, Mindsets, 2018

2017

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

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2015

From Safety Critical Java Programs to Timed Process Models.

Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

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

TetaSARTS: a tool for modular timing analysis of safety critical Java systems.

Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen, Kim Guldstrand Larsen

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

2012

Schedulability Analysis Abstractions for Safety Critical Java.

Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

2011

Refactoring Real-Time Java Profiles.

Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

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

Schedulability analysis for Java finalizers.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

2009

A predictable Java profile: rationale and implementations.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

2008

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

Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008