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
322009
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
122020
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 (1), 17-28, 2013
122013
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
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, 319-338, 2015
82015
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
82012
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
82010
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
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?, 27-35, 2019
72019
Supporting development of energy-optimised java real-time systems using tetasarts
KS Luckow, T Bøgholm, B Thomsen
72013
Concrete and abstract cost semantics for spreadsheets
AA Bock, T Bøgholm, P Sestoft, B Thomsen, LL Thomsen
IT-Universitetet i København, 2018
62018
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 2010 (81), 2010
12010
On the cost semantics for spreadsheets with sheet-defined functions
AA Bock, T Bøgholm, P Sestoft, B Thomsen, LL Thomsen
Journal of Computer Languages 69, 101103, 2022
2022
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
T Bøgholm
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017
2017
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, 269-288, 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