Follow
Thomas Bøgholm
Thomas Bøgholm
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
Model-based schedulability analysis of safety critical hard real-time Java programs
T Bøgholm, H Kragh-Hansen, P Olsen, B Thomsen, KG Larsen
Proceedings of the 6th international workshop on Java technologies for real …, 2008
712008
A predictable java profile: rationale and implementations
T Bøgholm, RR Hansen, AP Ravn, B Thomsen, H Søndergaard
Proceedings of the 7th International Workshop on Java Technologies for Real …, 2009
312009
On the semantics for spreadsheets with sheet-defined functions
AA Bock, T Bøgholm, P Sestoft, B Thomsen, LL Thomsen
Journal of Computer Languages 57, 100960, 2020
182020
Towards harnessing theories through tool support for hard real-time Java programming
T Bøgholm, C Frost, RR Hansen, CS Jensen, KS Luckow, AP Ravn, ...
Innovations in Systems and Software Engineering 9, 17-28, 2013
112013
TetaSARTS: a tool for modular timing analysis of safety critical Java systems
KS Luckow, T Bøgholm, B Thomsen, KG Larsen
Proceedings of the 11th International Workshop on Java Technologies for Real …, 2013
102013
Schedulability analysis abstractions for safety critical Java
T Bogholm, B Thomsen, KG Larsen, A Mycroft
2012 IEEE 15th International Symposium on Object/Component/Service-Oriented …, 2012
92012
Analyzing spreadsheets for parallel execution via model checking
T Bøgholm, KG Larsen, M Muniz, B Thomsen, LL Thomsen
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated …, 2019
82019
From safety critical Java programs to timed process models
B Thomsen, KS Luckow, L Leth, T Bøgholm
Programming Languages with Applications to Biology and Security: Essays …, 2015
82015
Model based schedulability analysis of real-time systems
T Bøgholm, H Kragh-Hansen, P Olsen
Master's thesis, Aalborg University, 1-137, 2008
82008
Concrete and abstract cost semantics for spreadsheets
AA Bock, T Bøgholm, P Sestoft, B Thomsen, LL Thomsen
IT-Universitetet i København, 2018
72018
Supporting development of energy-optimised java real-time systems using tetasarts
KS Luckow, T Bøgholm, B Thomsen
72013
Schedulability analysis for Java finalizers
T Bøgholm, RR Hansen, AP Ravn, B Thomsen, H Søndergaard
Proceedings of the 8th International Workshop on Java Technologies for Real …, 2010
72010
Refactoring real-time Java profiles
H Søndergaard, B Thomsen, AP Ravn, RR Hansen, T Bøgholm
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
52011
Safety Critical Java for Robotics Programming
B Thomsen, KS Luckow, T Bøgholm, LL Thomsen, SE Korsholm
The 3rd AAU Workshop on Robotics, 38-47, 2015
12015
Formal Modelling and Analysis of Predictable Java
T Bøgholm, RR Hansen, AP Ravn, H Søndergaard, B Thomsen
ERCIM News, 52-53, 2010
12010
Sustainable software development
B Thomsen, LL Thomsen, T Bøgholm
Celebrating the career of Professor Alan Mycroft, 1, 2023
2023
Sustainable software development: new challenges for programming, languages design and analysis:(Preliminary version)
B Thomsen, LL Thomsen, T Bøgholm
2023
Flipped and blended classroom approaches at AAU: Theory, cases and toolbox
K Otrel-Cass, D Gnaur, H Hüttel, N Steinø, A Major, K Nielsen, ...
Aalborg University, 2018
2018
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking
AP Ravn, B Thomsen, K Søe Luckow, L Leth, T Bøgholm
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017
2017
Udvikling af sproget AID
A Vagner, D Bækgaard, B Hubert, ML Fuglsang, RR Jeppesen, ...
2013
The system can't perform the operation now. Try again later.
Articles 1–20