Bent Thomsen

According to our database, Bent Thomsen authored at least 55 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

On the cost semantics for spreadsheets with sheet-defined functions.

Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen

J. Comput. Lang., 2022

2021

An Approach to Estimating Energy Consumption of Web-based IT Systems.

Maja H. Kirkeby, John P. Gallagher, Bent Thomsen

Proceedings of the First Workshop on Connecting Education and Research Communities for an Innovative Resource Aware Society (CERCIRAS), 2021

2020

On the semantics for spreadsheets with sheet-defined functions.

Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen

J. Comput. Lang., 2020

2018

Analyzing Spreadsheets for Parallel Execution via Model Checking.

Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen

Proceedings of the Models, Mindsets, 2018

2017

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

Kasper Søe Luckow, Bent Thomsen, Stephan Erbs Korsholm

Concurr. Comput. Pract. Exp., 2017

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

Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Assessing Problem-Based Learning in a Software Engineering Curriculum Using Bloom's Taxonomy and the IEEE Software Engineering Body of Knowledge.

Peter Dolog, Lone Leth Thomsen, Bent Thomsen

ACM Trans. Comput. Educ., 2016

Discount method for programming language evaluation.

Svetomir Kurtev, Tommy Aagaard Christensen, Bent Thomsen

Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools, 2016

2015

Symbolic execution and timed automata model checking for timing analysis of Java real-time systems.

Kasper Søe Luckow, Corina S. Pasareanu, Bent Thomsen

EURASIP J. Embed. Syst., 2015

From Safety Critical Java Programs to Timed Process Models.

Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

HVMTP: A Time Predictable and Portable Java Virtual Machine for Hard Real-Time Embedded Systems.

Kasper Søe Luckow, Bent Thomsen, Stephan Erbs Korsholm

Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

2013

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

Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen

Innov. Syst. Softw. Eng., 2013

SmartCampusAAU - An Open Platform Enabling Indoor Positioning and Navigation.

René Hansen, Bent Thomsen, Lone Leth Thomsen, Filip Stubkjaer Adamsen

Proceedings of the 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013, 2013

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

Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen, Kim Guldstrand Larsen

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

2012

Daisy: the center for data-intensive systems at Aalborg University.

Hua Lu, Torben Bach Pedersen, Simonas Saltenis, Bent Thomsen, Lone Leth Thomsen, Kristian Torp

SIGMOD Rec., 2012

Schedulability Analysis Abstractions for Safety Critical Java.

Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

Object-oriented programming with gradual abstraction.

Kurt Nørmark, Lone Leth Thomsen, Bent Thomsen

Proceedings of the 8th Symposium on Dynamic Languages, 2012

2011

Bluetooth Indoor Positioning System Using Fingerprinting.

Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen, René Hansen

Proceedings of the Mobile Lightweight Wireless Systems, 2011

WCET analysis of Java bytecode featuring common execution environments.

Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen

Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Refactoring Real-Time Java Profiles.

Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

2010

Computational Abstraction Steps.

Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark

J. Object Technol., 2010

Formal Modelling and Analysis of Predictable Java.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen

ERCIM News, 2010

Schedulability analysis for Java finalizers.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Algorithmic strategies for adapting to environmental changes in 802.11 location fingerprinting.

René Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen

Proceedings of the 2010 International Conference on Indoor Positioning and Indoor Navigation, 2010

2009

Pretty Easy Pervasive Positioning.

René Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen

Proceedings of the Advances in Spatial and Temporal Databases, 2009

Efficient and Accurate WLAN Positioning with Weighted Graphs.

René Hansen, Bent Thomsen

Proceedings of the Mobile Lightweight Wireless Systems, 2009

Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin.

René Hansen, Rico Wind, Christian S. Jensen, Bent Thomsen

Proceedings of the MDM 2009, 2009

A predictable Java profile: rationale and implementations.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

2008

Using On-Line Tutorials in Introductory IT Courses.

Bent Thomsen

Proceedings of the Reflections on the Teaching of Programming, Methods and Implementations, 2008

Mapping and Visiting in Functional and Object-Oriented Programming.

Kurt Nørmark, Bent Thomsen, Lone Leth Thomsen

J. Object Technol., 2008

Seamless indoor/outdoor positioning with streamspin.

René Hansen, Christian S. Jensen, Bent Thomsen, Rico Wind

Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2008

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

Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen

Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008

2007

Using Weighted Graphs for Computationally Efficient WLAN Location Determination.

René Hansen, Bent Thomsen

Proceedings of the 4th Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2007), 2007

A Profile for Safety Critical Java.

Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006

A Ravenscar-Java profile implementation.

Hans Søndergaard, Bent Thomsen, Anders P. Ravn

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

2001

A fully abstract denotational semantics for the calculus of higher-order communicating systems.

Bent Thomsen, Samson Abramsky

Theor. Comput. Sci., 2001

Towards Global Computations Guided by Concurrency Theory.

Bent Thomsen, Lone Leth Thomsen

Proceedings of the Current Trends in Theoretical Computer Science, 2001

1999

Causality for Debugging Mobile Agents.

Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen

Acta Informatica, 1999

1998

Towards Global Computations Guided by Concurrency Theory.

Bent Thomsen, Lone Leth Thomsen

Bull. EATCS, 1998

1996

Programming Languages, Analysis Tools, and Concurrency Theory.

Bent Thomsen

ACM Comput. Surv., 1996

Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.

Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen

Proceedings of the Static Analysis, Third International Symposium, 1996

Logical and Operational Methods in the Analysis of Programs and Systems.

Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Analysis of Facile Programs: A Case Study.

Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

A Facile Tutorial.

Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo

Proceedings of the CONCUR '96, 1996

1995

A Theory of Higher Order Communicating Systems

Bent Thomsen

Inf. Comput., January, 1995

Some Facile Chemistry.

Lone Leth Thomsen, Bent Thomsen

Formal Aspects Comput., 1995

From a Concurrent Lambda-Calculus to the Pi-Calculus.

Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1993

Plain CHOCS: A Second Generation Calculus for Higher Order Processes.

Bent Thomsen

Acta Informatica, 1993

True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication.

Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi, Bent Thomsen

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992

Some Issues in the Semantics of Facile Distributed Programming.

Bent Thomsen, Lone Leth Thomsen, Alessandro Giacalone

Proceedings of the Sematics: Foundations and Applications, 1992

1991

Partial Specifications and Compositional Verification.

Kim Guldstrand Larsen, Bent Thomsen

Theor. Comput. Sci., 1991

1990

Calculi for higher order communicating systems.

Bent Thomsen

PhD thesis, 1990

1989

A Calculus of Higher Order Communicating Systems.

Bent Thomsen

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

1988

Compositional Proofs by Partial Specification of Processes.

Kim Guldstrand Larsen, Bent Thomsen

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

A Modal Process Logic

Kim Guldstrand Larsen, Bent Thomsen

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988