• 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

Filter
Konferenceartikel i proceeding
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

2016
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
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
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

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

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

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

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

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
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
2008
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
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
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