• 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
Tidsskriftartikel
2017
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)
2015
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
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
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

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

2010
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

2008
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