Certifiable Java for Embedded Systems

Martin Schoeberl; Andreas Engelbredt Dalsgaard; René Rydhof Hansen; Stephan E. Korsholm; Anders P. Ravn; Juan Ricardo Rios Rivas; Tórur Biskopstø Strøm; Hans Søndergaard

doi:10.1145/2661020.2661025

Certifiable Java for Embedded Systems

Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan E. Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

1 Citation (Scopus)

Original language	English
Title of host publication	Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems
Number of pages	10
Publisher	Association for Computing Machinery
Publication date	2014
Pages	10-19
DOIs	https://doi.org/10.1145/2661020.2661025
Publication status	Published - 2014
Event	12th International Workshop on Java Technologies for Real-Time and Embedded Systems - Niagara Falls, NY, United States Duration: 13 Oct 2014 → 14 Oct 2014 Conference number: 12

Workshop

Workshop	12th International Workshop on Java Technologies for Real-Time and Embedded Systems
Number	12
Country/Territory	United States
City	Niagara Falls, NY
Period	13/10/2014 → 14/10/2014

Keywords

Safety-critical Java

Access to Document

10.1145/2661020.2661025

http://doi.acm.org/10.1145/2661020.2661025

AUB Link

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

CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R., Ravn, A. P. & Larsen, K. G.
Forskningsrådet for Teknologi og Produktion
01/03/2011 → 28/02/2014
Project: Research

Cite this

Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S. E., Ravn, A. P., Rivas, J. R. R., Strøm, T. B., & Søndergaard, H. (2014). Certifiable Java for Embedded Systems. In Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems (pp. 10-19). Association for Computing Machinery. https://doi.org/10.1145/2661020.2661025

@inproceedings{1efac5a6bed94a41911af8a18de71bc5,

title = "Certifiable Java for Embedded Systems",

keywords = "Safety-critical Java",

author = "Martin Schoeberl and Dalsgaard, {Andreas Engelbredt} and Hansen, {Ren{\'e} Rydhof} and Korsholm, {Stephan E.} and Ravn, {Anders P.} and Rivas, {Juan Ricardo Rios} and Str{\o}m, {T{\'o}rur Biskopst{\o}} and Hans S{\o}ndergaard",

year = "2014",

doi = "10.1145/2661020.2661025",

language = "English",

pages = "10--19",

booktitle = "Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems",

publisher = "Association for Computing Machinery",

address = "United States",

note = "12th International Workshop on Java Technologies for Real-Time and Embedded Systems ; Conference date: 13-10-2014 Through 14-10-2014",

}

Schoeberl, M, Dalsgaard, AE, Hansen, RR, Korsholm, SE, Ravn, AP, Rivas, JRR, Strøm, TB & Søndergaard, H 2014, Certifiable Java for Embedded Systems. in Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, pp. 10-19, 12th International Workshop on Java Technologies for Real-Time and Embedded Systems, Niagara Falls, NY, United States, 13/10/2014. https://doi.org/10.1145/2661020.2661025

Certifiable Java for Embedded Systems. / Schoeberl, Martin; Dalsgaard, Andreas Engelbredt; Hansen, René Rydhof et al.
Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2014. p. 10-19.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Certifiable Java for Embedded Systems

AU - Schoeberl, Martin

AU - Dalsgaard, Andreas Engelbredt

AU - Hansen, René Rydhof

AU - Korsholm, Stephan E.

AU - Ravn, Anders P.

AU - Rivas, Juan Ricardo Rios

AU - Strøm, Tórur Biskopstø

AU - Søndergaard, Hans

N1 - Conference code: 12

PY - 2014

Y1 - 2014

KW - Safety-critical Java

U2 - 10.1145/2661020.2661025

DO - 10.1145/2661020.2661025

M3 - Article in proceeding

SP - 10

EP - 19

BT - Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems

PB - Association for Computing Machinery

T2 - 12th International Workshop on Java Technologies for Real-Time and Embedded Systems

Y2 - 13 October 2014 through 14 October 2014

ER -

Certifiable Java for Embedded Systems

Workshop

Keywords

Access to Document

AUB Link

Projects

CJ4ES: Certifiable Java for Embedded Systems

Cite this