Billede af Thomas Bøgholm
  • Selma Lagerløfs Vej 300, 2-2-04

    9220 Aalborg Ø

    Danmark

20082020

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer

Bidrag til bog/antologi

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, s. 27-35 9 s. (Lecture Notes in Computer Science, Bind 11200).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

1 Citationer (Scopus)

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking

Ravn, A. P., Thomsen, B., Søe Luckow, K., Thomsen, L. L. & Bøgholm, T., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (red.). Cham: Springer, s. 269-288 20 s. (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Konferenceartikel i proceeding

A predictable Java profile: rationale and implementations

Bøgholm, T., Hansen, R. R., Ravn, A. P., Thomsen, B. & Søndergaard, H., 2009, ACM International Conference Proceeding Series: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, s. 150-159

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

21 Citationer (Scopus)

From Safety Critical Java Programs to Timed Process Models

Thomsen, B., Luckow, K. S., Thomsen, L. L. & Bøgholm, T., 2015, Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Bodei, C., Ferrari, G-L. & Priami, C. (red.). Springer, s. 319-338 20 s. (Lecture Notes in Computer Science; Nr. 9465).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)

Model-based schedulability analysis of safety critical hard real-time Java programs

Bøgholm, T., Kragh-Hansen, H., Olsen, P., Thomsen, B. & Larsen, K. G., 2008, Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery, Bind 343. s. 106-114

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

38 Citationer (Scopus)

Refactoring Real-Time Java Profiles

Søndergaard, H., Thomsen, B., Ravn, A. P., Hansen, R. R. & Bøgholm, T., 28 mar. 2011, Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2011 14th IEEE International Symposium on. IEEE, s. 109 - 116 16 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

Safety Critical Java for Robotics Programming

Thomsen, B., Luckow, K. S., Bøgholm, T., Thomsen, L. L. & Korsholm, S., 2015, The 3rd AAU Workshop on Robotics: Proceedings. Tan, Z-H., Bai, S., Bak, T., Rehm, M. & Jochum, E. A. (red.). Aalborg Universitetsforlag, s. 38-47 10 s. 6

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang

Schedulability Analysis Abstractions for Safety Critical Java

Bøgholm, T., Thomsen, B., Larsen, K. G. & Mycroft, A., 2012, Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012. IEEE Computer Society Press, s. 71-78 8 s. (International Symposium on Object-Oriented Real-Time Distributed Computing).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)

Schedulability Analysis for Java Finalizers

Bøgholm, T., Hansen, R. R., Søndergaard, H., Ravn, A. P. & Thomsen, B., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series. Association for Computing Machinery, 7 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)

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

Luckow, K. S., Bøgholm, T., Thomsen, B. & Larsen, K. G., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. 11 udg. Association for Computing Machinery, s. 11-20 10 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)
Konferenceartikel i tidsskrift

Model-based analysis of embedded java programs

Bøgholm, T., Ravn, A. P. & Thomsen, B., 2009, I : RWTH Aachen, Dept. of Computer Science. 14, s. 17-19

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS

Luckow, K. S., Bøgholm, T. & Thomsen, B., 2013, I : WiP Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium. s. 41-44 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Ph.d.-afhandling

Hard Real-Time Java: Profiles and Schedulability Analysis

Bøgholm, T., 2012, 193 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil
584 Downloads (Pure)
Poster

Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS

Luckow, K. S., Bøgholm, T. & Thomsen, B., 9 apr. 2013. 1 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPosterForskning

Fil
110 Downloads (Pure)
Rapport

Concrete and Abstract Cost Semantics for Spreadsheets

Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., 2018, IT-Universitetet i København. (IT University Technical Report Series, Bind TR-2018-203).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil
42 Downloads (Pure)
Åben adgang
Fil
456 Downloads (Pure)
Tidsskriftartikel

Formal Modelling and Analysis of Predictable Java

Bøgholm, T., Hansen, R. R., Ravn, A. P., Søndergaard, H. & Thomsen, B., apr. 2010, I : ERCIM News. 81, s. 52-53

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

On the Semantics for Spreadsheets with Sheet Defined Functions

Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., apr. 2020, I : Journal of Computer Languages. 57, 100960.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
1 Citationer (Scopus)

Towards harnessing theories through tool support for hard real-time Java programming

Bøgholm, T., Frost, C., Hansen, R. R., Jensen, C. S., Luckow, K. S., Ravn, A. P., Søndergaard, H. & Thomsen, B., 2013, I : Innovations in Systems and Software Engineering. 9, 1, s. 17-28 12 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

6 Citationer (Scopus)