• Selma Lagerløfs Vej 300, 5-2-38

    9220 Aalborg Ø

    Denmark

  • Selma Lagerløfs Vej 300, 5-2-38

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

20032019
If you made any changes in Pure these will be visible here soon.

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 6 Similar Profiles
Object oriented programming Engineering & Materials Science
Wireless local area networks (WLAN) Engineering & Materials Science
Mobile devices Engineering & Materials Science
Wi-Fi Engineering & Materials Science
Location based services Engineering & Materials Science
Global positioning system Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Specifications Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 2003 2019

Research Output 2003 2018

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2018, (Accepted/In press) Essays on the Occasion of Bernhard Steffen's 60th Birthday. Springer, (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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, Vol. TR-2018-203).

Research output: Book/ReportReportResearch

Open Access
File

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. (eds.). Cham: Springer, p. 269-288 20 p. (Lecture Notes in Computer Science, Vol. 10460).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

3 Citations (Scopus)

HVMTP: A time predictable and portable java virtual machine for hard real-time embedded systems

Luckow, K. S., Thomsen, B. & Korsholm, S., 2017, In : Concurrency and Computation: Practice & Experience. 29, 22, 26 p., e3828.

Research output: Contribution to journalJournal articleResearchpeer-review

15 Citations (Scopus)

Press / Media

Skærper fokus på øget salg og ny teknologi

Bent Thomsen

29/06/2012

1 item of media coverage

Press/Media: Press / Media

Kan Symbian fastholde førerpositionen?

Bent Thomsen

14/03/2008

1 item of media coverage

Press/Media: Press / Media

Debat: For dyrt at videooptage forelæsninger

Bent Thomsen

02/12/2005

1 item of media coverage

Press/Media: Press / Media