cj4es.bib

@inproceedings{Andersen2013,
  author = {Andersen, Jeppe L. and Todberg, Mikkel and Dalsgaard, Andreas E.
	and Hansen, Ren{\'e} Rydhof},
  title = {Worst-case Memory Consumption Analysis for SCJ},
  booktitle = {Proceedings of the 11th International Workshop on Java Technologies
	for Real-time and Embedded Systems (JTRES 2013)},
  year = {2013},
  series = {JTRES '13},
  pages = {2--10},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {2513000},
  doi = {10.1145/2512989.2513000},
  isbn = {978-1-4503-2166-2},
  location = {Karlsruhe, Germany},
  numpages = {9},
  url = {http://doi.acm.org/10.1145/2512989.2513000}
}
@inproceedings{Cassez2012,
  author = {Franck Cassez and Ren{\'e} Rydhof Hansen and Mads Chr. Olesen},
  title = {{What is a Timing Anomaly?}},
  booktitle = {12th International Workshop on Worst-Case Execution Time Analysis
	(WCET 2012)},
  year = {2012},
  editor = {Tullio Vardanega},
  volume = {23},
  series = {OpenAccess Series in Informatics (OASIcs)},
  pages = {1--12},
  address = {Dagstuhl, Germany},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  doi = {http://dx.doi.org/10.4230/OASIcs.WCET.2012.1},
  isbn = {978-3-939897-41-5},
  issn = {2190-6807},
  url = {http://drops.dagstuhl.de/opus/volltexte/2012/3552},
  urn = {urn:nbn:de:0030-drops-35521}
}
@inproceedings{Dalsgaard2012,
  author = {Dalsgaard, Andreas E. and Hansen, Ren{\'e} Rydhof and Schoeberl,
	Martin},
  title = {Private memory allocation analysis for safety-critical Java},
  booktitle = {Proceedings of the 10th International Workshop on Java Technologies
	for Real-time and Embedded Systems (JTRES 2012)},
  year = {2012},
  series = {JTRES '12},
  pages = {9--17},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {2388939},
  doi = {10.1145/2388936.2388939},
  isbn = {978-1-4503-1688-0},
  location = {Copenhagen, Denmark},
  numpages = {9},
  url = {http://doi.acm.org/10.1145/2388936.2388939}
}
@article{Korsholm2013,
  author = {Korsholm, Stephan E. and Søndergaard, Hans and Ravn, Anders P.},
  title = {A real-time Java tool chain for resource constrained platforms},
  journal = {Concurrency and Computation: Practice and Experience},
  year = {2013},
  pages = {n/a--n/a},
  doi = {10.1002/cpe.3164},
  issn = {1532-0634},
  publisher = {John Wiley \& Sons, Ltd},
  url = {http://dx.doi.org/10.1002/cpe.3164}
}
@inproceedings{Puffitsch2013,
  author = {Puffitsch, Wolfgang and Noulard, Eric and Pagetti, Claire},
  title = {Explicit Precedence Constraints in Safety-critical Java},
  booktitle = {Proceedings of the 11th International Workshop on Java Technologies
	for Real-time and Embedded Systems (JTRES 2013)},
  year = {2013},
  series = {JTRES '13},
  pages = {21--28},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {2512997},
  doi = {10.1145/2512989.2512997},
  isbn = {978-1-4503-2166-2},
  location = {Karlsruhe, Germany},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/2512989.2512997}
}
@inproceedings{Ravn2013,
  author = {Ravn, Anders P. and S{\o}ndergaard, Hans},
  title = {A Test Suite for Safety-critical Java Using JML},
  booktitle = {Proceedings of the 11th International Workshop on Java Technologies
	for Real-time and Embedded Systems (JTRES 2013)},
  year = {2013},
  series = {JTRES '13},
  pages = {80--88},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {2512993},
  doi = {10.1145/2512989.2512993},
  isbn = {978-1-4503-2166-2},
  location = {Karlsruhe, Germany},
  numpages = {9},
  url = {http://doi.acm.org/10.1145/2512989.2512993}
}
@inproceedings{Rios2012,
  author = {Rios, Juan Ricardo and Nilsen, Kelvin and Schoeberl, Martin},
  title = {Patterns for safety-critical Java memory usage},
  booktitle = {Proceedings of the 10th International Workshop on Java Technologies
	for Real-time and Embedded Systems (JTRES 2012)},
  year = {2012},
  series = {JTRES '12},
  pages = {1--8},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {2388938},
  doi = {10.1145/2388936.2388938},
  isbn = {978-1-4503-1688-0},
  location = {Copenhagen, Denmark},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/2388936.2388938}
}
@inproceedings{Rios2014,
  author = {Juan R. Rios and Martin Schoeberl},
  title = {{An Evaluation of Safety-Critical Java on a Java Processor}},
  booktitle = {{Workshop on Software Technologies for Future Embedded and Ubiquitous
	Systems (SEUS 2014)}},
  year = {2014},
  publisher = {IEEE},
  note = {(to appear)}
}
@inproceedings{Rios2014a,
  author = {Juan R. Rios and Martin Schoeberl},
  title = {Reusable Libraries for Safety Critical Java},
  booktitle = {Proceedings of the 17th International Symposium on Object/Component/Service-Oriented
	Real-Time Distributed Computing (ISORC 2014)},
  year = {2014},
  publisher = {IEEE},
  note = {(to appear)},
  owner = {jrri},
  timestamp = {2014.05.21}
}
@inproceedings{Rios2012a,
  author = {Juan R. Rios and Martin Schoeberl},
  title = {Hardware Support for Safety-Critical Java Scope Checks},
  booktitle = {Proceedings of the 15th International Symposium on Object/Component/Service-Oriented
	Real-Time Distributed Computing (ISORC 2012)},
  year = {2012},
  publisher = {IEEE},
  owner = {jrri},
  timestamp = {2014.05.21}
}
@inproceedings{Schoeberl2011,
  author = {Martin Schoeberl},
  title = {Memory Management for Safety-Critical Java},
  booktitle = {Proceedings of the 9th International Workshop on Java Technologies
	for Real-Time and Embedded Systems (JTRES 2011)},
  year = {2011},
  publisher = {ACM},
  url = {http://www.jopdesign.com/doc/scjscopes.pdf}
}
@inproceedings{Schoeberl2012,
  author = {Schoeberl, Martin and Rios, Juan Ricardo},
  title = {Safety-critical Java on a Java processor},
  booktitle = {Proceedings of the 10th International Workshop on Java Technologies
	for Real-time and Embedded Systems (JTRES 2012)},
  year = {2012},
  series = {JTRES '12},
  pages = {54--61},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {2388946},
  doi = {10.1145/2388936.2388946},
  isbn = {978-1-4503-1688-0},
  location = {Copenhagen, Denmark},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/2388936.2388946}
}
@inproceedings{Strom2013,
  author = {Str{\o}m, T\'{o}rur Biskopst{\o} and Puffitsch, Wolfgang and Schoeberl,
	Martin},
  title = {Chip-multiprocessor Hardware Locks for Safety-critical Java},
  booktitle = {Proceedings of the 11th International Workshop on Java Technologies
	for Real-time and Embedded Systems (JTRES 2013)},
  year = {2013},
  series = {JTRES '13},
  pages = {38--46},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {2512995},
  doi = {10.1145/2512989.2512995},
  isbn = {978-1-4503-2166-2},
  location = {Karlsruhe, Germany},
  numpages = {9},
  url = {http://doi.acm.org/10.1145/2512989.2512995}
}
@inproceedings{Strom2012,
  author = {Str{\o}m, T\'{o}rur Biskopst{\o} and Schoeberl, Martin},
  title = {A desktop 3D printer in safety-critical Java},
  booktitle = {Proceedings of the 10th International Workshop on Java Technologies
	for Real-time and Embedded Systems (JTRES 2012)},
  year = {2012},
  series = {JTRES '12},
  pages = {72--79},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {2388949},
  doi = {10.1145/2388936.2388949},
  isbn = {978-1-4503-1688-0},
  location = {Copenhagen, Denmark},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/2388936.2388949}
}
@inproceedings{Sondergaard2012,
  author = {S{\o}ndergaard, Hans and Korsholm, Stephan E. and Ravn, Anders P.},
  title = {Safety-critical Java for low-end embedded platforms},
  booktitle = {Proceedings of the 10th International Workshop on Java Technologies
	for Real-time and Embedded Systems (JTRES 2012)},
  year = {2012},
  series = {JTRES '12},
  pages = {44--53},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {2388945},
  doi = {10.1145/2388936.2388945},
  isbn = {978-1-4503-1688-0},
  location = {Copenhagen, Denmark},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/2388936.2388945}
}
@comment{{jabref-meta: selector_publisher:}}
@comment{{jabref-meta: selector_author:}}
@comment{{jabref-meta: selector_journal:}}
@comment{{jabref-meta: selector_keywords:}}

This file was generated by bibtex2html 1.96.