• Selma Lagerløfs Vej 300, 5-2-38

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

20032019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2003 2018

2018

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2018, (Accepteret/In press) Essays on the Occasion of Bernhard Steffen's 60th Birthday. Springer, (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

14 Downloads (Pure)

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, Bind TR-2018-203).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil
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. (red.). Cham: Springer, s. 269-288 20 s. (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

3 Citationer (Scopus)

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2016
15 Citationer (Scopus)
1 Citation (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, s. 1-8 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2015
4 Citationer (Scopus)

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. (red.). Springer, s. 319-338 20 s. (Lecture Notes in Computer Science; Nr. 9465).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Semantics
Mobile agents
Computer programming languages
Algebra

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. (red.). Aalborg Universitetsforlag, s. 38-47 10 s. 6

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
6 Citationer (Scopus)

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., sep. 2015, I : Eurasip Journal on Embedded Systems. 2015, 2, s. 1-14 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
2014
2 Citationer (Scopus)

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

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2013

Object-oriented programming with gradual abstraction

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Object oriented programming
Computer programming languages
15 Citationer (Scopus)

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, Bind 2. s. 33-38 6 s. (I E E E International Conference on Mobile Data Management. Proceedings, Bind 2).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

84 Downloads (Pure)

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

Luckow, K. S., Bøgholm, T. & Thomsen, B., 9 apr. 2013. 1 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPosterForskning

Fil

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

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

6 Citationer (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 udg. Association for Computing Machinery, s. 11-20 10 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (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, I : Innovations in Systems and Software Engineering. 9, 1, s. 17-28 12 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2012
1 Downloads (Pure)

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 (red.). Porto Alegre, Brasilien: SBC - Sociedade Brasileira de Computação, s. 196-209 14 s. (Anais do SBSeg).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)

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, Bind 81. s. 136-150 15 s. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Bind 81).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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, I : SIGMOD Record. 41, 4, s. 39-44

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Object-oriented programming with gradual abstraction

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (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, s. 71-78 8 s. (International Symposium on Object-Oriented Real-Time Distributed Computing).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2011
3 Citationer (Scopus)

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, s. 109 - 116 16 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

8 Citationer (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, Bind 11. s. 30-39 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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, s. 1-10 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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.

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

Software engineering
Curricula
Computer science
Students
3 Citationer (Scopus)

Computational Abstraction Steps

Thomsen, L. L., Thomsen, B. & Nørmark, K., nov. 2010, I : Journal of Object Technology. 9, 6, s. 1 - 23

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Formal Modelling and Analysis of Predictable Java

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2 Citationer (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, 7 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Data storage equipment
2009
21 Citationer (Scopus)

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, s. 150-159

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

9 Citationer (Scopus)

Efficient and Accurate WLAN Positioning with Weighted Graphs

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Wireless local area networks (WLAN)
Computational efficiency
Mobile devices
Set theory
Experiments

Model-based analysis of embedded java programs

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

Pretty Easy Pervasive Positioning

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wi-Fi
Positioning
Global positioning system
Coverage
Infrastructure
55 Citationer (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, Bind 00. s. 267-272

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Location based services
Wi-Fi
Open systems
Mobile devices
Global positioning system
304 Downloads (Pure)

Towards Transactional Memory for Real-Time Systems

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

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil
2008
611 Downloads (Pure)

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 s. (Technical Report; Nr. 08-001).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil
4 Citationer (Scopus)

Mapping and Visiting in Functional and Object-oriented Programming

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Object oriented programming
Functional programming
Computer programming
Computer programming languages
37 Citationer (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, Bind 343. s. 106-114

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Sorting
Computer programming languages
Specifications
2 Citationer (Scopus)

Seamless Indoor/Outdoor Positioning with Streamspin

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

Publikation: Konferencebidrag uden forlag/tidsskriftPosterForskning

3 Citationer (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. (red.). Berlin Heidelberg: Springer, s. 68-74 (Lecture Notes in Computer Science : Programming and Software Engineering; Nr. 4821).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

2007
27 Citationer (Scopus)

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, s. 94-101 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Specifications
2553 Downloads (Pure)

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 s. (Technical Report; Nr. 07-001).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil
Mashups
Business process integration
Breakdown
Firewall
Justification
1 Citation (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, Bind 00. s. 1-5

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Wireless local area networks (WLAN)
Mobile devices
Location based services
Computational efficiency
Global positioning system
2006
10 Citationer (Scopus)

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, Bind 177. s. 38-47 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2003

Software - til verdens mindste og verdens største computer

Larsen, K. G., Thomsen, L. L. & Thomsen, B., 2003, Trends i ITEK-Sektoren. Sarborg Pedersen, John : Ørum Larsen, Lars (red.) (red.). Kbh. : ITEK: Denmark., s. 21-26 (ITEK rapport).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning