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 | 71 | 2008 |
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 | 31 | 2009 |
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 | 18 | 2020 |
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 | 11 | 2013 |
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 | 10 | 2013 |
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 | 9 | 2012 |
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 | 8 | 2019 |
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 | 8 | 2015 |
Model based schedulability analysis of real-time systems T Bøgholm, H Kragh-Hansen, P Olsen Master's thesis, Aalborg University, 1-137, 2008 | 8 | 2008 |
Concrete and abstract cost semantics for spreadsheets AA Bock, T Bøgholm, P Sestoft, B Thomsen, LL Thomsen IT-Universitetet i København, 2018 | 7 | 2018 |
Supporting development of energy-optimised java real-time systems using tetasarts KS Luckow, T Bøgholm, B Thomsen | 7 | 2013 |
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 | 7 | 2010 |
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 | 5 | 2011 |
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 | 1 | 2015 |
Formal Modelling and Analysis of Predictable Java T Bøgholm, RR Hansen, AP Ravn, H Søndergaard, B Thomsen ERCIM News, 52-53, 2010 | 1 | 2010 |
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 |