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
672008
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
292009
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
102013
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
92013
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
Model based schedulability analysis of real-time systems
T Bøgholm, H Kragh-Hansen, P Olsen
Master's thesis, Aalborg University, 1-137, 2008
72008
Concrete and abstract cost semantics for spreadsheets
AA Bock, T Bøgholm, P Sestoft, B Thomsen, LL Thomsen
Tech. Rep. ITU-TR-2018-203, IT University of Copenhagen, 2018
62018
Supporting development of energy-optimised java real-time systems using tetasarts
KS Luckow, T Bøgholm, B Thomsen
WiP Proceedings of the 19th Real-Time and Embedded Technology and …, 2013
62013
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
62012
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
62010
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
52019
Refactoring real-time Java profiles
H Sondergaard, B Thomsen, AP Ravn, RR Hansen, T Bogholm
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
32011
On the Semantics for Spreadsheets with Sheet-Defined Functions
AA Bock, T Bøgholm, P Sestoft, B Thomsen, LL Thomsen
Journal of Computer Languages, 100960, 2020
22020
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
Flipped and blended classroom approaches at AAU: Theory, cases and toolbox
K Otrel-Cass, D Gnaur, H Huttel, 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, KS Luckow, L Leth, T Bøgholm
Models, Algorithms, Logics and Tools, 269-288, 2017
2017
Safety Critical Java for Robotics Programming
B Thomsen, KS Luckow, T Bøgholm, LL Thomsen, SE Korsholm
3rd Aau Workshop on Robotics, 38-47, 2015
2015
Udvikling af sproget AID
A Vagner, D Bækgaard, B Hubert, ML Fuglsang, RR Jeppesen, ...
2013
Towards harnessing theories through tool support for hard real-time Java programming
H Sųndergaard, T Bųgholm, C Frost, RR Hansen, CS Jensen, KS Luckow, ...
Innovations in Systems and Software Engineering 8, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20