Bent Thomsen

Research output

Research output per year 1988 2008 2009 2010 2012 2013 2023

• 33 Article in proceeding
• 18 Journal article
• 5 Conference article in Journal
• 4 Report
• 9 More
  • 4 Book chapter
  • 2 Paper without publisher/journal
  • 2 Poster
  • 1 Conference abstract in proceeding

Research output per year

Research output per year

Search results

• 2023

  Sustainable software development: new challenges for programming, languages design and analysis: (Preliminary version)

  Thomsen, B., Thomsen, L. L. & Bøgholm, T., 1 Dec 2023, p. 38-50. 12 p.

  Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review
• 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 Workshop Proceedings, (CEUR Workshop Proceedings, Vol. 3145).

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

  Open Access

  File
  199 Downloads (Pure)

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

  Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., Apr 2022, In: Journal of Computer Languages. 69, 48 p., 101103.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

  • Cost Semantics 100%
  • Data Value 100%
  • Presentation Form 100%
  • Semantic Presentations 16%
  1 Citation (Scopus)

  92 Downloads (Pure)
• 2021

  An approach to estimating energy consumption of web-based IT systems

  Kirkeby, M. H., Gallagher, J. & Thomsen, B., Sept 2021, CERCIRAS Workshop-01: Abstracts. p. 18 1 p.

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

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

  Kirkeby, M. H., Gallagher, J. P. & Thomsen, B., 2021, In: CEUR Workshop Proceedings. 3145

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  1 Citation (Scopus)
• 2020

  On the Semantics for Spreadsheets with Sheet Defined Functions

  Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., Apr 2020, In: Journal of Computer Languages. 57, 100960.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

  • Future Direction 100%
  • Operational Semantics 100%
  • Parallelization 100%
  • Code Generation 100%
  • Expected Result 100%
  13 Citations (Scopus)

  147 Downloads (Pure)
• 2019

  Analyzing spreadsheets for parallel execution via model checking

  Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, p. 27-35 9 p. (Lecture Notes in Computer Science, Vol. 11200).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Spreadsheet Programs 100%
  • Abstract Interpretation 49%
  2 Citations (Scopus)
• 2018

  Concrete and Abstract Cost Semantics for Spreadsheets

  Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., 2018, IT-Universitetet i København. (IT University Technical Report Series, Vol. TR-2018-203).

  Research output: Book/Report › Report › Research

  Open Access

  File
  160 Downloads (Pure)
• 2017

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

  Ravn, A. P., Thomsen, B., Søe Luckow, K., Thomsen, L. L. & Bøgholm, T., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Cham: Springer, p. 269-288 20 p. (Lecture Notes in Computer Science, Vol. 10460).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

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

  Luckow, K. S., Thomsen, B. & Korsholm, S., 2017, In: Concurrency and Computation: Practice & Experience. 29, 22, 26 p., e3828.

  Research output: Contribution to journal › Journal article › Research › peer-review
  4 Citations (Scopus)
• 2016

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

  Dolog, P., Thomsen, L. L. & Thomsen, B., May 2016, In: ACM Transactions on Computing Education. 16, 3, 41 p., 9.

  Research output: Contribution to journal › Journal article › Research › peer-review
  36 Citations (Scopus)

• 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

  • Timed Automaton 100%
  • Process Model 100%
  • Concurrency 100%
  • Worst-Case Execution Time 100%
  • model checker 100%
  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

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

  Luckow, K. S., Păsăreanu, C. S. & Thomsen, B., Sept 2015, In: Eurasip Journal on Embedded Systems. 2015, 2, p. 1-14 14 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access
  13 Citations (Scopus)
• 2014

  HVM_TP: 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

  Object-oriented programming with gradual abstraction

  Nørmark, K., Thomsen, L. L. & Thomsen, B., Jan 2013, In: A C M / S I G P L A N Notices. 48, 2, p. 41-51 11 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Object Oriented Programming 100%
  • Class Hierarchy 50%
  • Experimental Object 50%
  • Programming Language 50%
  • Object Construction 25%

• Programmering af multi-core systemer er it verdens største udfordring: Multicore og parallelisering har afløst strategien med at fordoble transistorer hver 18 måned

  Thomsen, B., 2013, In: ITOS - Industriel Teknologi og Software. 2, p. 5-6

  Research output: Contribution to journal › Journal article › Communication

• 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)

• Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS

  Luckow, K. S., Bøgholm, T. & Thomsen, B., 2013, In: WiP Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium. p. 41-44 4 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

• Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS

  Luckow, K. S., Bøgholm, T. & Thomsen, B., 9 Apr 2013. 1 p.

  Research output: Contribution to conference without publisher/journal › Poster › Research

  File
  216 Downloads (Pure)

• 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)

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

  Bøgholm, T., Frost, C., Hansen, R. R., Jensen, C. S., Luckow, K. S., Ravn, A. P., Søndergaard, H. & Thomsen, B., 2013, In: Innovations in Systems and Software Engineering. 9, 1, p. 17-28 12 p.

  Research output: Contribution to journal › Journal article › 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)

• Daisy: The Center for Data-intensive Systems at Aalborg University

  Lu, H., Pedersen, T. B., Saltenis, S., Thomsen, B., Thomsen, L. L. & Torp, K., 2012, In: SIGMOD Record. 41, 4, p. 39-44

  Research output: Contribution to journal › Journal article › Research › peer-review

• 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)

• Towards a Real-Time, WCET Analysable JVM Running in 256 kB of Flash Memory

  Luckow, K. S., Thomsen, B. & Korsholm, S., 2011, In: Proceedings of the 23rd Nordic Workshop on Programming Theory. 254, 2011, p. 86-88 3 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

• 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

  • Signal Strength 100%
  • Location-Based Service 66%
  • Wi-Fi 66%
  • Indoor Location 33%
  • Computer Hardware 33%
  20 Citations (Scopus)

• Competence Centered Specialization in Web Engineering Topics in a Software Engineering Masters Degree Programme

  Dolog, P., Thomsen, L. L., Thomsen, B. & Stage, J., 6 Jul 2010.

  Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review

  • Web Engineering 100%
  • Software Engineering 100%
  • Master's Degree Program 100%
  • Web Application 33%
  • Engineering Curriculum 33%

• Computational Abstraction Steps

  Thomsen, L. L., Thomsen, B. & Nørmark, K., Nov 2010, In: Journal of Object Technology. 9, 6, p. 1 - 23

  Research output: Contribution to journal › Journal article › Research › peer-review
  3 Citations (Scopus)

• Formal Modelling and Analysis of Predictable Java

  Bøgholm, T., Hansen, R. R., Ravn, A. P., Søndergaard, H. & Thomsen, B., Apr 2010, In: ERCIM News. 81, p. 52-53

  Research output: Contribution to journal › Journal article › Research › peer-review

• 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

  • Schedulability Analysis 100%
  • Bytecode 25%
  • Memory Model 25%
  • Garbage Collection 25%
  • Destructors 25%
  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

  • Computational Efficiency 100%
  • Signal Strength 100%
  • WLAN Positioning 100%
  • Localization Accuracy 50%
  • Classification Algorithm 50%
  9 Citations (Scopus)

• Model-based analysis of embedded java programs

  Bøgholm, T., Ravn, A. P. & Thomsen, B., 2009, In: RWTH Aachen, Dept. of Computer Science. 14, p. 17-19

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

• Pretty Easy Pervasive Positioning

  Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2009, In: Lecture Notes in Computer Science. 5644, p. 417-421

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Software Infrastructure 100%
  • Wi-Fi 100%
  • Skyhook 50%
  • Wi-Fi Technology 50%
  • Cellular Connectivity 50%
  1 Citation (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

  • Indoor-outdoor Positioning 100%
  • Location-Based Service 100%
  • Seamless Handover 33%
  • Battery Consumption 33%
  • Positioning Service 33%
  71 Citations (Scopus)

• Towards Transactional Memory for Real-Time Systems

  Schoberl, M., Thomsen, B. & Thomsen, L. L., 2009, 09-001 ed. Department of Computer Science, Aalborg University. 10 p.

  Research output: Book/Report › Report › Research

  Open Access

  File
  365 Downloads (Pure)
• 2008

  A Practical Approach to Mode Change in Real-Time Systems

  Søndergaard, H., Ravn, A. P., Thomsen, B. & Schoeberl, M., 2008, Aalborg: Department of Computer Science, Aalborg University. 11 p. (Technical Report; No. 08-001).

  Research output: Book/Report › Report › Research

  Open Access

  File
  700 Downloads (Pure)

• Mapping and Visiting in Functional and Object-oriented Programming

  Nørmark, K., Thomsen, B. & Thomsen, L. L., 2008, In: Journal of Object Technology. 7, 7, p. 75-105 31 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Style 100%
  • Tradition 100%
  • Similarities 100%
  • Object Oriented Programming 100%
  • Programming Paradigm 100%
  4 Citations (Scopus)

• 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

  • Schedulability 100%
  • Schedulability Analysis 100%
  • Java Program 100%
  • Hard Real-time 100%
  • hard real-time 100%
  40 Citations (Scopus)

• Seamless Indoor/Outdoor Positioning with Streamspin

  Hansen, R., Jensen, C. S., Thomsen, B. & Wind, R., 2008. 2 p.

  Research output: Contribution to conference without publisher/journal › Poster › Research

  2 Citations (Scopus)

• Using On-Line Tutorials in Introductory IT Courses

  Thomsen, B., 2008, Reflections on the Teaching of Programming. Bennedsen, J., Caspersen, M. & Kölling, M. (eds.). Berlin Heidelberg: Springer, p. 68-74 (Lecture Notes in Computer Science : Programming and Software Engineering; No. 4821).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research
  4 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

  • Real-time Specification for Java 100%
  • Safety-critical Java 100%
  • Java Technology 100%
  • Critical Application 100%
  • Real-time Java 50%
  28 Citations (Scopus)

• BPM, SOA and WOA: Where are these technologies heading?

  Christensen, K., Thomsen, B. & Thomsen, L. L., 2007, Aalborg: Department of Computer Science, Aalborg University. 19 p. (Technical Report; No. 07-001).

  Research output: Book/Report › Report › Research

  Open Access

  File

  • Business Process Integration 100%
  • Mashup 100%
  • Whale Optimization Algorithm 100%
  • Service-Oriented Architecture 100%
  • Web 2.0 100%
  2691 Downloads (Pure)