Symbolic execution and timed automata model checking for timing analysis of Java real-time systems

Original language	English
Journal	Eurasip Journal on Embedded Systems
Volume	2015
Issue number	2
Pages (from-to)	1-14
Number of pages	14
ISSN	1687-3955
DOIs	https://doi.org/10.1186/s13639-015-0020-8
Publication status	Published - Sept 2015

Access to Document

• 10.1186/s13639-015-0020-8

AUB Link

Search for the material in Aalborg University Library's search engine

Research output

Research output per year 2014 2014 2014

• 13 Citations
• 1 PhD thesis

Research output per year

Research output per year

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

  Luckow, K. S., 2014, Department of Computer Science, Aalborg University.

  Research output: PhD thesis

Cite this

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

Luckow, K. S., Păsăreanu, C. S., & Thomsen, B. (2015). Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. Eurasip Journal on Embedded Systems, 2015(2), 1-14. https://doi.org/10.1186/s13639-015-0020-8

Luckow, Kasper Søe ; Păsăreanu, Corina S. ; Thomsen, Bent. / Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. In: Eurasip Journal on Embedded Systems. 2015 ; Vol. 2015, No. 2. pp. 1-14.

@article{540e4c68c45146d7bef41421ce084138,

title = "Symbolic execution and timed automata model checking for timing analysis of Java real-time systems",

author = "Luckow, {Kasper S{\o}e} and P{\u a}s{\u a}reanu, {Corina S.} and Bent Thomsen",

year = "2015",

month = sep,

doi = "10.1186/s13639-015-0020-8",

language = "English",

volume = "2015",

pages = "1--14",

journal = "Eurasip Journal on Embedded Systems",

issn = "1687-3955",

publisher = "Springer",

number = "2",

}

Luckow, KS, Păsăreanu, CS & Thomsen, B 2015, 'Symbolic execution and timed automata model checking for timing analysis of Java real-time systems', Eurasip Journal on Embedded Systems, vol. 2015, no. 2, pp. 1-14. https://doi.org/10.1186/s13639-015-0020-8

Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. / Luckow, Kasper Søe; Păsăreanu, Corina S.; Thomsen, Bent.
In: Eurasip Journal on Embedded Systems, Vol. 2015, No. 2, 09.2015, p. 1-14.

Research output: Contribution to journal › Journal article › Research › peer-review

TY - JOUR

T1 - Symbolic execution and timed automata model checking for timing analysis of Java real-time systems

AU - Luckow, Kasper Søe

AU - Păsăreanu, Corina S.

AU - Thomsen, Bent

PY - 2015/9

Y1 - 2015/9

U2 - 10.1186/s13639-015-0020-8

DO - 10.1186/s13639-015-0020-8

M3 - Journal article

SN - 1687-3955

VL - 2015

SP - 1

EP - 14

JO - Eurasip Journal on Embedded Systems

JF - Eurasip Journal on Embedded Systems

IS - 2

ER -

Luckow KS, Păsăreanu CS, Thomsen B. Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. Eurasip Journal on Embedded Systems. 2015 Sept;2015(2):1-14. doi: 10.1186/s13639-015-0020-8