Bent Thomsen

View Scopus Profile

Bent Thomsen

Also: Professor with Special Responsibilities

 https://orcid.org/0000-0002-5853-7973

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

    9220 Aalborg Øst

    Denmark

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

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

1988 …2023

Research activity per year

Filter
Article in proceeding

Search results

  • 2022

    An Approach to Estimating Energy Consumption of Web-based IT Systems (short paper)

    Kirkeby, M. H., Gallagher, J. & Thomsen, B., 31 May 2022, Proceedings of the First Workshop on Connecting Education and Research Communities for an Innovative Resource Aware Society (CERCIRAS). Iyenghar, P. & Rakic, G. (eds.). CEUR-WS, (CEUR Workshop Proceedings, Vol. 3145).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    202 Downloads (Pure)
  • 2016

    Discount method for programming language evaluation

    Kurtev, S., Christensen, T. A. & Thomsen, B., 2016, Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2016) . Association for Computing Machinery (ACM), p. 1-8 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)
  • 2015

    From Safety Critical Java Programs to Timed Process Models

    Thomsen, B., Luckow, K. S., Thomsen, L. L. & Bøgholm, T., 2015, Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Bodei, C., Ferrari , G.-L. & Priami, C. (eds.). Springer, p. 319-338 20 p. (Lecture Notes in Computer Science; No. 9465).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    5 Citations (Scopus)

  • Safety Critical Java for Robotics Programming

    Thomsen, B., Luckow, K. S., Bøgholm, T., Thomsen, L. L. & Korsholm, S., 2015, The 3rd AAU Workshop on Robotics: Proceedings. Tan, Z.-H., Bai, S., Bak, T., Rehm, M. & Jochum, E. A. (eds.). Aalborg Universitetsforlag, p. 38-47 10 p. 6

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
  • 2014

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

    Luckow, K. S., Thomsen, B. & Korsholm, S. E., Oct 2014, Proceedings of the 12th International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery (ACM), p. 107-116 10 p. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)
  • 2013

    SmartCampusAAU: An Open Platform Enabling Indoor Positioning and Navigation

    Hansen, R., Thomsen, B., Thomsen, L. L. & Adamsen, F. S., Jun 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Volume 2. IEEE Computer Society Press, Vol. 2. p. 33-38 6 p. (I E E E International Conference on Mobile Data Management. Proceedings, Vol. 2).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    20 Citations (Scopus)

  • TetaSARTS: A tool for modular timing analysis of safety critical Java systems

    Luckow, K. S., Bøgholm, T., Thomsen, B. & Larsen, K. G., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. 11 ed. Association for Computing Machinery (ACM), p. 11-20 10 p. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    6 Citations (Scopus)
  • 2012

    A Secure Relay Protocol for Door Access Control

    Wognsen, E. R., Karlsen, H. S., Calverley, M., Follin, M., Thomsen, B. & Hüttel, H., Nov 2012, Proceedings of the XII Brazilian Symposium on Information and Computer System Security: SBSeg 2012. Sociedade Brasileira de Computação (ed.). Porto Alegre, Brasilien: SBC - Sociedade Brasileira de Computação, p. 196-209 14 p. (Anais do SBSeg).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Downloads (Pure)

  • Bluetooth Indoor Positioning System using Fingerprinting

    Frost, C., Jensen, C. S., Luckow, K. S., Thomsen, B. & Hansen, R., 2012, Mobile Lightweight Wireless Systems: Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers. Springer, Vol. 81. p. 136-150 15 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 81).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)

  • Object-oriented programming with gradual abstraction

    Nørmark, K., Thomsen, L. L. & Thomsen, B., 22 Oct 2012, Proceedings of the 8th symposium on Dynamic languages. Warth, A. (ed.). Association for Computing Machinery (ACM), p. 41 - 52 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Schedulability Analysis Abstractions for Safety Critical Java

    Bøgholm, T., Thomsen, B., Larsen, K. G. & Mycroft, A., 2012, Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012. IEEE Computer Society Press, p. 71-78 8 p. (International Symposium on Object-Oriented Real-Time Distributed Computing).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)
  • 2011

    Refactoring Real-Time Java Profiles

    Søndergaard, H., Thomsen, B., Ravn, A. P., Hansen, R. R. & Bøgholm, T., 28 Mar 2011, Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2011 14th IEEE International Symposium on. IEEE (Institute of Electrical and Electronics Engineers), p. 109 - 116 16 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • WCET Analysis of Java Bytecode Featuring Common Execution Environments

    Luckow, K. S., Thomsen, B., Frost, C. & Jensen, C. S., 2011, JTRES '11 Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems . Association for Computing Machinery (ACM), Vol. 11. p. 30-39 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    8 Citations (Scopus)
  • 2010

    Algorithmic Strategies for Adapting 802.11 Location Fingerprinting to Environmental Changes

    Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2010, Abstract Volume of the 2010 International Conference on Indoor Positioning and Indoor Navigation, Zurich, Switzerland, September 15-17, 2010. IEEE Press, p. 1-10 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

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

    Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2010, 2010 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2010 - Conference Proceedings. 5648270. (2010 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2010 - Conference Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    20 Citations (Scopus)

  • Schedulability Analysis for Java Finalizers

    Bøgholm, T., Hansen, R. R., Søndergaard, H., Ravn, A. P. & Thomsen, B., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), 7 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)
  • 2009

    A predictable Java profile: rationale and implementations

    Bøgholm, T., Hansen, R. R., Ravn, A. P., Thomsen, B. & Søndergaard, H., 2009, ACM International Conference Proceeding Series: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery (ACM), p. 150-159

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    22 Citations (Scopus)

  • Efficient and Accurate WLAN Positioning with Weighted Graphs

    Hansen, R. & Thomsen, B., 2009, Mobile Lightweight Wireless Systems. Springer, Vol. 13. p. 372-386 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; No. 13).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)

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

    Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2009, Proceedings of the 2009 Tenth International Conference on Mobile Data Management: Systems, Services and Middleware. IEEE Computer Society Press, Vol. 00. p. 267-272

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    71 Citations (Scopus)
  • 2008

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

    Bøgholm, T., Kragh-Hansen, H., Olsen, P., Thomsen, B. & Larsen, K. G., 2008, Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery (ACM), Vol. 343. p. 106-114

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    40 Citations (Scopus)
  • 2007

    A Profile for Safety Critical Java

    Schoeberl, M., Søndergaard, H., Thomsen, B. & Ravn, A. P., 2007, Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, p. 94-101 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    28 Citations (Scopus)

  • Using Weighted Graphs for Computationally Efficient WLAN Location Determination

    Thomsen, B. & Hansen, R., 2007, Proceedings of the 2007 Fourth Annual International Conference on Mobile and Ubiquitous Systems: Networking&Services (MobiQuitous. IEEE Computer Society Press, Vol. 00. p. 1-5

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)
  • 2006

    A Ravenscar-Java profile implementation

    Thomsen, B., Ravn, A. P. & Søndergaard, H., 2006, ACM International Conference Proceeding Series: JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery (ACM), Vol. 177. p. 38-47 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    11 Citations (Scopus)
  • 1997

    Analysis of facile programs: A case study

    Degano, P., Priami, C., Leth, L. & Thomsen, B., 1997, Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers. p. 345-369 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1192 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Logical and operational methods in the analysis of programs and systems

    Nielson, F., Cousot, P., Dam, M., Degano, P., Jouvelot, P., Mycroft, A. & Thomsen, B., 1997, Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Selected Papers. p. 1-21 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1192 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)
  • 1996

    A facile tutorial

    Thomsen, B., Leth, L. & Kuo, T. M., 1996, CONCUR 1996: Concurrency Theory - 7th International Conference, Proceedings. Montanari, U. & Sassone, V. (eds.). Springer, p. 278-298 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1119).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    27 Citations (Scopus)

  • Understanding mobile agents via a non-interleaving semantics for facile

    Borgia, R., Degano, P., Priami, C., Leth, L. & Thomsen, B., 1996, Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Cousot, R. & Schmidt, D. A. (eds.). Springer, p. 98-112 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1145).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    8 Citations (Scopus)
  • 1995

    From a concurrent λ-calculus to the π-calculus

    Amadio, R. M., Leth, L. & Thomsen, B., 1995, Fundamentals of Computation Theory - 10th International Conference, FCT 1995, Proceedings. Reichel, H. (ed.). Springer, p. 106-115 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 965).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)
  • 1993

    Some issues in the semantics of facile distributed programming

    Thomsen, B., Leth, L. & Giacalone, A., 1993, Semantics: Foundations and Applications - REX Workshop, Proceedings. de Bakker, J. W., de Roever, W.-P. & Rozenberg, G. (eds.). Springer, p. 563-593 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 666 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • True concurrency semantics for a linear logic programming language with broadcast communication

    Andreoli, J. M., Leth, L., Pareschi, R. & Thomsen, B., 1993, TAPSOFT 1993: Theory and Practice of Software Development - 4th International Joint Conference CAAP/FASE, Proceedings. Gaudel, M.-C. & Jouannaud, J.-P. (eds.). Springer, p. 182-198 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 668 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    5 Citations (Scopus)
  • 1989

    Calculus of higher order communicating systems

    Thomsen, B., 1989, Conf Rec Sixteenth Annu ACM Symp Princ Program Lang. Publ by ACM, p. 143-154 12 p. (Conf Rec Sixteenth Annu ACM Symp Princ Program Lang).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    65 Citations (Scopus)
  • 1988

    Compositional proofs by partial specification of processes

    Larsen, K. G. & Thomsen, B., 1988, Mathematical Foundations of Computer Science 1988 - Proceedings of the 13th Symposium. Chytil, M. P., Koubek, V. & Janiga, L. (eds.). Springer, p. 414-423 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 324 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    5 Citations (Scopus)

  • Modal process logic.

    Larsen, K. G. & Thomsen, B., 1988, Proc Third Annu Symp on Logic in Comput Sci. IEEE (Institute of Electrical and Electronics Engineers), p. 203-210 8 p. (Proc Third Annu Symp on Logic in Comput Sci).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    342 Citations (Scopus)