• Selma Lagerløfs Vej 300, 2-2-01

    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.

  • 8 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
Spreadsheets Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 2003 2019

Research Output 2003 2019

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, p. 27-35 9 p. (Lecture Notes in Computer Science, Vol. 11200).

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

Spreadsheets
Model checking
Parallel programming
Scalability
Derivatives

On the Semantics for Spreadsheets with Sheet Defined Functions

Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., Dec 2019, (Submitted) In : Journal of Computer Languages.

Research output: Contribution to journalJournal articleResearchpeer-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

Press / Media

Embedded software skal energimærkes

Bent Thomsen

31/01/2020

2 items of Media coverage

Press/Media: Press / Media

Mobiltelefonerne reducerer CO2-udslippet

Bent Thomsen

12/01/2020

1 item of Media coverage

Press/Media: Press / Media

AAU-forskere vil bane vej for energimærkning af software

Bent Thomsen

18/12/2019

1 item of Media coverage

Press/Media: Press / Media

AAU-forskere vil energimærke software

Bent Thomsen

11/12/2019

14 items of Media coverage

Press/Media: Press / Media

It-branchen skal tænke bæredygtighed på nye måder

Bent Thomsen

13/11/2019

1 item of Media coverage

Press/Media: Press / Media