Research output per year
Research output per year
Project Details
| Acronym | CJ4ES |
|---|---|
| Status | Finished |
| Effective start/end date | 01/03/2011 → 28/02/2014 |
Funding
- Forskningsrådet for Teknologi og Produktion
Keywords
- safety critical java
- embedded systems
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 5 Article in proceeding
-
Certifiable Java for Embedded Systems
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, Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery (ACM), p. 10-19 10 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Link opens in a new tab Citation (Scopus) -
A Test Suite for Safety-Critical Java using JML
Ravn, A. P. & Søndergaard, H., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery (ACM), p. 80-88 (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
5 Link opens in a new tab Citations (Scopus) -
Worst-Case Memory Consumption Analysis for SCJ
Andersen, J. L., Todberg, M., Dalsgaard, A. E. & Hansen, R. R., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery (ACM), p. 2-10 9 p. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
7 Link opens in a new tab Citations (Scopus)