Platforms and Model-Based Analyses for Real-Time Java

Originalsprog	Engelsk
Udgiver	Department of Computer Science, Aalborg University
Status	Udgivet - 2014

Bibliografisk note

Supervisor:
Assoc. Prof. Bent Thomsen, Aalborg University

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Publikation

Publikationer pr. år 2011 2011 2013 2014 2015 2017 2017

• 4 Konferenceartikel i proceeding
• 3 Tidsskriftartikel

Publikationer pr. år

Publikationer pr. år

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

• 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 adgang
  13 Citationer (Scopus)

• Exact and approximate probabilistic symbolic execution for nondeterministic programs

  Luckow, K. S., Păsăreanu, C. S., Dwyer, M. B., Filieri, A. & Visser, W., 2014, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering. Association for Computing Machinery, s. 575-586 (Automated Software Engineering).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  36 Citationer (Scopus)

Se alle 7 publikationer

Citationsformater

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Luckow, K. S. (2014). Platforms and Model-Based Analyses for Real-Time Java. Department of Computer Science, Aalborg University.

Luckow, Kasper Søe. / Platforms and Model-Based Analyses for Real-Time Java. Department of Computer Science, Aalborg University, 2014.

@misc{dd911821c55041cab571421b3af1f2f7,

title = "Platforms and Model-Based Analyses for Real-Time Java",

author = "Luckow, {Kasper S{\o}e}",

note = "Supervisor: Assoc. Prof. Bent Thomsen, Aalborg University",

year = "2014",

language = "English",

publisher = "Department of Computer Science, Aalborg University",

}

Luckow, KS 2014, 'Platforms and Model-Based Analyses for Real-Time Java'.

Platforms and Model-Based Analyses for Real-Time Java. / Luckow, Kasper Søe.
Department of Computer Science, Aalborg University, 2014.

Publikation: Ph.d.-afhandling

TY - GEN

T1 - Platforms and Model-Based Analyses for Real-Time Java

AU - Luckow, Kasper Søe

N1 - Supervisor: Assoc. Prof. Bent Thomsen, Aalborg University

PY - 2014

Y1 - 2014

M3 - PhD thesis

PB - Department of Computer Science, Aalborg University

ER -

Luckow KS. Platforms and Model-Based Analyses for Real-Time Java. Department of Computer Science, Aalborg University, 2014.