Bent Thomsen

According to our database1, Bent Thomsen
  • authored at least 49 papers between 1988 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
HVMTP: A time predictable and portable java virtual machine for hard real-time embedded systems.
Concurrency and Computation: Practice and Experience, 2017

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking.
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.
TOCE, 2016

Discount method for programming language evaluation.
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.
EURASIP J. Emb. Sys., 2015

From Safety Critical Java Programs to Timed Process Models.
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.
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.
ISSE, 2013

SmartCampusAAU - An Open Platform Enabling Indoor Positioning and Navigation.
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.
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.
SIGMOD Record, 2012

Schedulability Analysis Abstractions for Safety Critical Java.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

Object-oriented programming with gradual abstraction.
Proceedings of the 8th Symposium on Dynamic Languages, 2012

2011
Bluetooth Indoor Positioning System Using Fingerprinting.
Proceedings of the Mobile Lightweight Wireless Systems, 2011

WCET analysis of Java bytecode featuring common execution environments.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

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

2010
Computational Abstraction Steps.
Journal of Object Technology, 2010

Formal Modelling and Analysis of Predictable Java.
ERCIM News, 2010

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

2009
Pretty Easy Pervasive Positioning.
Proceedings of the Advances in Spatial and Temporal Databases, 2009

Efficient and Accurate WLAN Positioning with Weighted Graphs.
Proceedings of the Mobile Lightweight Wireless Systems, 2009

Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin.
Proceedings of the MDM 2009, 2009

A predictable Java profile: rationale and implementations.
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.
Proceedings of the Reflections on the Teaching of Programming, Methods and Implementations, 2008

Mapping and Visiting in Functional and Object-Oriented Programming.
Journal of Object Technology, 2008

Seamless indoor/outdoor positioning with streamspin.
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.
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.
Proceedings of the 4th Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2007), 2007

A Profile for Safety Critical Java.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2001
A fully abstract denotational semantics for the calculus of higher-order communicating systems.
Theor. Comput. Sci., 2001

Towards Global Computations Guided by Concurrency Theory.
Current Trends in Theoretical Computer Science, 2001

1999
Causality for Debugging Mobile Agents.
Acta Inf., 1999

1998
Towards Global Computations Guided by Concurrency Theory.
Bulletin of the EATCS, 1998

1996
Programming Languages, Analysis Tools, and Concurrency Theory.
ACM Comput. Surv., 1996

Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.
Proceedings of the Static Analysis, Third International Symposium, 1996

Logical and Operational Methods in the Analysis of Programs and Systems.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Analysis of Facile Programs: A Case Study.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

A Facile Tutorial.
Proceedings of the CONCUR '96, 1996

1995
A Theory of Higher Order Communicating Systems
Inf. Comput., January, 1995

Some Facile Chemistry.
Formal Asp. Comput., 1995

From a Concurrent Lambda-Calculus to the Pi-Calculus.
Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1993
Plain CHOCS: A Second Generation Calculus for Higher Order Processes.
Acta Inf., 1993

True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992
Some Issues in the Semantics of Facile Distributed Programming.
Proceedings of the Sematics: Foundations and Applications, 1992

1991
Partial Specifications and Compositional Verification.
Theor. Comput. Sci., 1991

1990
Calculi for higher order communicating systems.
PhD thesis, 1990

1989
A Calculus of Higher Order Communicating Systems.
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.
Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

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


  Loading...