Certifiable Java for Embedded Systems

List of publications

[1]	Juan R. Rios and Martin Schoeberl. An Evaluation of Safety-Critical Java on a Java Processor. In Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2014). IEEE, 2014. (to appear). [ bib ]
[2]	Juan R. Rios and Martin Schoeberl. Reusable libraries for safety critical java. In Proceedings of the 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2014). IEEE, 2014. (to appear). [ bib ]
[3]	Jeppe L. Andersen, Mikkel Todberg, Andreas E. Dalsgaard, and René Rydhof Hansen. Worst-case memory consumption analysis for scj. In Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2013), JTRES '13, pages 2-10, New York, NY, USA, 2013. ACM. [ bib | DOI | Url ]
[4]	Stephan E. Korsholm, Hans Søndergaard, and Anders P. Ravn. A real-time java tool chain for resource constrained platforms. Concurrency and Computation: Practice and Experience, pages n/a-n/a, 2013. [ bib | DOI | Url ]
[5]	Wolfgang Puffitsch, Eric Noulard, and Claire Pagetti. Explicit precedence constraints in safety-critical java. In Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2013), JTRES '13, pages 21-28, New York, NY, USA, 2013. ACM. [ bib | DOI | Url ]
[6]	Anders P. Ravn and Hans Søndergaard. A test suite for safety-critical java using jml. In Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2013), JTRES '13, pages 80-88, New York, NY, USA, 2013. ACM. [ bib | DOI | Url ]
[7]	Tórur Biskopstø Strøm, Wolfgang Puffitsch, and Martin Schoeberl. Chip-multiprocessor hardware locks for safety-critical java. In Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2013), JTRES '13, pages 38-46, New York, NY, USA, 2013. ACM. [ bib | DOI | Url ]
[8]	Franck Cassez, René Rydhof Hansen, and Mads Chr. Olesen. What is a Timing Anomaly? In Tullio Vardanega, editor, 12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012), volume 23 of OpenAccess Series in Informatics (OASIcs), pages 1-12, Dagstuhl, Germany, 2012. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. [ bib | DOI | Url ]
[9]	Andreas E. Dalsgaard, René Rydhof Hansen, and Martin Schoeberl. Private memory allocation analysis for safety-critical java. In Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012), JTRES '12, pages 9-17, New York, NY, USA, 2012. ACM. [ bib | DOI | Url ]
[10]	Juan Ricardo Rios, Kelvin Nilsen, and Martin Schoeberl. Patterns for safety-critical java memory usage. In Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012), JTRES '12, pages 1-8, New York, NY, USA, 2012. ACM. [ bib | DOI | Url ]
[11]	Juan R. Rios and Martin Schoeberl. Hardware support for safety-critical java scope checks. In Proceedings of the 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2012). IEEE, 2012. [ bib ]
[12]	Martin Schoeberl and Juan Ricardo Rios. Safety-critical java on a java processor. In Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012), JTRES '12, pages 54-61, New York, NY, USA, 2012. ACM. [ bib | DOI | Url ]
[13]	Tórur Biskopstø Strøm and Martin Schoeberl. A desktop 3d printer in safety-critical java. In Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012), JTRES '12, pages 72-79, New York, NY, USA, 2012. ACM. [ bib | DOI | Url ]
[14]	Hans Søndergaard, Stephan E. Korsholm, and Anders P. Ravn. Safety-critical java for low-end embedded platforms. In Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012), JTRES '12, pages 44-53, New York, NY, USA, 2012. ACM. [ bib | DOI | Url ]
[15]	Martin Schoeberl. Memory management for safety-critical java. In Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011). ACM, 2011. [ bib | Url ]

Copyright © 2012 cj4es - Certifiable Java for Embedded Systems. All Rights Reserved.