Publikationer pr. år
Publikationer pr. år
Publikationer
- 1 - 50 ud af 51 resultater
Søgeresultater
-
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, s. 38-50. 12 s.Publikation: Konferencebidrag uden forlag/tidsskrift › Paper uden forlag/tidsskrift › Forskning › peer review
-
2022
An Approach to Estimating Energy Consumption of Web-based IT Systems (short paper)
Kirkeby, M. H., Gallagher, J. & Thomsen, B., 31 maj 2022, Proceedings of the First Workshop on Connecting Education and Research Communities for an Innovative Resource Aware Society (CERCIRAS). Iyenghar, P. & Rakic, G. (red.). CEUR Workshop Proceedings, (CEUR Workshop Proceedings, Bind 3145).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil158 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, I: Journal of Computer Languages. 69, 48 s., 101103.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)64 Downloads (Pure) -
2021
An approach to estimating energy consumption of web-based IT systems
Kirkeby, M. H., Gallagher, J. & Thomsen, B., sep. 2021, CERCIRAS Workshop-01: Abstracts. s. 18 1 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceabstrakt i proceeding › Forskning › peer review
-
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, I: Journal of Computer Languages. 57, 100960.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil12 Citationer (Scopus)113 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, s. 27-35 9 s. (Lecture Notes in Computer Science, Bind 11200).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
2 Citationer (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, Bind TR-2018-203).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Åben adgangFil133 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. (red.). Cham: Springer, s. 269-288 20 s. (Lecture Notes in Computer Science, Bind 10460).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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, I: Concurrency and Computation: Practice & Experience. 29, 22, 26 s., e3828.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
4 Citationer (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., maj 2016, I: ACM Transactions on Computing Education. 16, 3, 41 s., 9.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
35 Citationer (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), s. 1-8 8 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (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. (red.). Springer, s. 319-338 20 s. (Lecture Notes in Computer Science; Nr. 9465).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
5 Citationer (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. (red.). Aalborg Universitetsforlag, s. 38-47 10 s. 6Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang -
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 tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang13 Citationer (Scopus) -
2014
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 (ACM), 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
3 Citationer (Scopus) -
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 tidsskrift › Tidsskriftartikel › Forskning › peer review
-
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, I: ITOS - Industriel Teknologi og Software. 2, s. 5-6Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
-
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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
18 Citationer (Scopus) -
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › 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 s.Publikation: Konferencebidrag uden forlag/tidsskrift › Poster › Forskning
Fil192 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 udg. Association for Computing Machinery (ACM), 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 tidsskrift › Tidsskriftartikel › Forskning › peer review
6 Citationer (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 (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 proceeding › Konferenceartikel i proceeding › Forskning › 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, 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
9 Citationer (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, I: SIGMOD Record. 41, 4, s. 39-44Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer 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 (ACM), s. 41 - 52 11 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
2 Citationer (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), s. 109 - 116 16 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
4 Citationer (Scopus) -
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › 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), Bind 11. s. 30-39 10 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
8 Citationer (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, s. 1-10 10 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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/tidsskrift › Paper uden forlag/tidsskrift › Forskning › peer review
-
Computational Abstraction Steps
Thomsen, L. L., Thomsen, B. & Nørmark, K., nov. 2010, I: Journal of Object Technology. 9, 6, s. 1 - 23Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
3 Citationer (Scopus) -
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-53Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
2 Citationer (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), s. 150-159Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
22 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
9 Citationer (Scopus) -
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-19Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
-
Pretty Easy Pervasive Positioning
Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2009, I: Lecture Notes in Computer Science. 5644, s. 417-421Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
1 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-272Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
71 Citationer (Scopus) -
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/rapport › Rapport › Forskning
Åben adgangFil353 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 s. (Technical Report; Nr. 08-001).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Åben adgangFil685 Downloads (Pure) -
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 tidsskrift › Tidsskriftartikel › Forskning › peer review
4 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 (ACM), Bind 343. s. 106-114Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
40 Citationer (Scopus) -
Seamless Indoor/Outdoor Positioning with Streamspin
Hansen, R., Jensen, C. S., Thomsen, B. & Wind, R., 2008. 2 s.Publikation: Konferencebidrag uden forlag/tidsskrift › Poster › Forskning
2 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 proceeding › Bidrag til bog/antologi › Forskning
4 Citationer (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, s. 94-101 8 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
28 Citationer (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 s. (Technical Report; Nr. 07-001).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Åben adgangFil2676 Downloads (Pure) -
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-5Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
2 Citationer (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), Bind 177. s. 38-47 10 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
11 Citationer (Scopus)