Bent Thomsen

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