Bent Thomsen

ORCID

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 10

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
On the cost semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 69 (2022)
Maja H. Kirkeby, John P. Gallagher, Bent Thomsen
An Approach to Estimating Energy Consumption of Web-based IT Systems. CERCIRAS (2021)
Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
On the semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 57 (2020)
Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen
Analyzing Spreadsheets for Parallel Execution via Model Checking. Models, Mindsets, Meta (2018)
Kasper Søe Luckow, Bent Thomsen, Stephan Erbs Korsholm
: A time predictable and portable java virtual machine for hard real-time embedded systems. Concurr. Comput. Pract. Exp. 29 (22) (2017)
Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. Models, Algorithms, Logics and Tools (2017)
Svetomir Kurtev, Tommy Aagaard Christensen, Bent Thomsen
Discount method for programming language evaluation. PLATEAU@SPLASH (2016)
Peter Dolog, Lone Leth Thomsen, Bent Thomsen
Assessing Problem-Based Learning in a Software Engineering Curriculum Using Bloom's Taxonomy and the IEEE Software Engineering Body of Knowledge. ACM Trans. Comput. Educ. 16 (3) (2016)
Kasper Søe Luckow, Corina S. Pasareanu, Bent Thomsen
Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. EURASIP J. Embed. Syst. 2015 (2015)
Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm
From Safety Critical Java Programs to Timed Process Models. Programming Languages with Applications to Biology and Security (2015)
Kasper Søe Luckow, Bent Thomsen, Stephan Erbs Korsholm
HVMTP: A Time Predictable and Portable Java Virtual Machine for Hard Real-Time Embedded Systems. JTRES (2014)
René Hansen, Bent Thomsen, Lone Leth Thomsen, Filip Stubkjaer Adamsen
SmartCampusAAU - An Open Platform Enabling Indoor Positioning and Navigation. MDM (2) (2013)
Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
Towards harnessing theories through tool support for hard real-time Java programming. Innov. Syst. Softw. Eng. 9 (1) (2013)
Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen, Kim Guldstrand Larsen
TetaSARTS: a tool for modular timing analysis of safety critical Java systems. JTRES (2013)
Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft
Schedulability Analysis Abstractions for Safety Critical Java. ISORC (2012)
Hua Lu, Torben Bach Pedersen, Simonas Saltenis, Bent Thomsen, Lone Leth Thomsen, Kristian Torp
Daisy: the center for data-intensive systems at Aalborg University. SIGMOD Rec. 41 (4) (2012)
Kurt Nørmark, Lone Leth Thomsen, Bent Thomsen
Object-oriented programming with gradual abstraction. DLS (2012)
Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen, René Hansen
Bluetooth Indoor Positioning System Using Fingerprinting. MOBILIGHT (2011)
Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm
Refactoring Real-Time Java Profiles. ISORC (2011)
Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen
WCET analysis of Java bytecode featuring common execution environments. JTRES (2011)
Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark
Computational Abstraction Steps. J. Object Technol. 9 (6) (2010)
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
Formal Modelling and Analysis of Predictable Java. ERCIM News 2010 (81) (2010)
René Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen
Algorithmic strategies for adapting to environmental changes in 802.11 location fingerprinting. IPIN (2010)
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard
Schedulability analysis for Java finalizers. JTRES (2010)
René Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen
Pretty Easy Pervasive Positioning. SSTD (2009)
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard
A predictable Java profile: rationale and implementations. JTRES (2009)
René Hansen, Bent Thomsen
Efficient and Accurate WLAN Positioning with Weighted Graphs. MOBILIGHT (2009)
René Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen
Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin. Mobile Data Management (2009)
Kurt Nørmark, Bent Thomsen, Lone Leth Thomsen
Mapping and Visiting in Functional and Object-Oriented Programming. J. Object Technol. 7 (7) (2008)
Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen
Model-based schedulability analysis of safety critical hard real-time Java programs. JTRES (2008)
René Hansen, Christian S. Jensen, Bent Thomsen, Rico Wind
Seamless indoor/outdoor positioning with streamspin. MobiQuitous (2008)
René Hansen, Bent Thomsen
Using Weighted Graphs for Computationally Efficient WLAN Location Determination. MobiQuitous (2007)
Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn
A Profile for Safety Critical Java. ISORC (2007)
Hans Søndergaard, Bent Thomsen, Anders P. Ravn
A Ravenscar-Java profile implementation. JTRES (2006)
Bent Thomsen, Samson Abramsky
A fully abstract denotational semantics for the calculus of higher-order communicating systems. Theor. Comput. Sci. 254 (1-2) (2001)
Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
Causality for Debugging Mobile Agents. Acta Informatica 36 (5) (1999)
Bent Thomsen, Lone Leth Thomsen
Towards Global Computations Guided by Concurrency Theory. Bull. EATCS 66 (1998)
Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. SAS (1996)
Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
Analysis of Facile Programs: A Case Study. LOMAPS (1996)
Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS (1996)
Bent Thomsen
Programming Languages, Analysis Tools, and Concurrency Theory. ACM Comput. Surv. 28 (4es) (1996)
Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo
A Facile Tutorial. CONCUR (1996)
Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen
From a Concurrent Lambda-Calculus to the Pi-Calculus. FCT (1995)
Lone Leth Thomsen, Bent Thomsen
Some Facile Chemistry. Formal Aspects Comput. 7 (3) (1995)
Bent Thomsen
A Theory of Higher Order Communicating Systems Inf. Comput. 116 (1) (1995)
Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi, Bent Thomsen
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. TAPSOFT (1993)
Bent Thomsen
Plain CHOCS: A Second Generation Calculus for Higher Order Processes. Acta Informatica 30 (1) (1993)
Bent Thomsen, Lone Leth Thomsen, Alessandro Giacalone
Some Issues in the Semantics of Facile Distributed Programming. REX Workshop (1992)
Kim Guldstrand Larsen, Bent Thomsen
Partial Specifications and Compositional Verification. Theor. Comput. Sci. 88 (1) (1991)
Bent Thomsen
A Calculus of Higher Order Communicating Systems. POPL (1989)
Kim Guldstrand Larsen, Bent Thomsen
Compositional Proofs by Partial Specification of Processes. MFCS (1988)
Kim Guldstrand Larsen, Bent Thomsen
A Modal Process Logic LICS (1988)

Bent Thomsen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bent Thomsen