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

Originalsprog	Engelsk
Tidsskrift	Eurasip Journal on Embedded Systems
Vol/bind	2015
Udgave nummer	2
Sider (fra-til)	1-14
Antal sider	14
ISSN	1687-3955
DOI	https://doi.org/10.1186/s13639-015-0020-8
Status	Udgivet - sep. 2015

Adgang til dokumentet

• 10.1186/s13639-015-0020-8

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Publikation

Publikationer pr. år 2014 2014 2014

• 13 Citationer
• 1 Ph.d.-afhandling

Publikationer pr. år

Publikationer pr. år

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

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

  Publikation: Ph.d.-afhandling

Citationsformater

• 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. I: Eurasip Journal on Embedded Systems. 2015 ; Bind 2015, Nr. 2. s. 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, bind 2015, nr. 2, s. 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.
I: Eurasip Journal on Embedded Systems, Bind 2015, Nr. 2, 09.2015, s. 1-14.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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 sep.;2015(2):1-14. doi: 10.1186/s13639-015-0020-8