@inproceedings{jop:rtlib:isorc2008,
author = {Trevor Harmon and Martin Schoeberl and Raimund Kirner and Raymond
Klefstad},
title = {Toward Libraries for Real-time Java},
booktitle = {Proceedings of the 11th IEEE International Symposium on Object/component/service-oriented
Real-time distributed Computing (ISORC 2008)},
year = {2008},
pages = {458--462},
publisher = {IEEE Computer Society},
doi = {http://dx.doi.org/10.1109/ISORC.2008.73},
url = {http://www.jopdesign.com/doc/rtlib_isorc2008.pdf}
}
@inproceedings{scj:as:proceedings,
author = {Thomas Henties and James J. Hunt and Doug Locke and Kelvin Nilsen
and Martin Schoeberl and Jan Vitek},
title = {Java for Safety-Critical Applications},
booktitle = {2nd International Workshop on the Certification of Safety-Critical
Software Controlled Systems (SafeCert 2009)},
year = {2009},
url = {http://www.jopdesign.com/doc/safecert2009.pdf}
}
@inproceedings{jop:wcet:model:checking,
author = {Benedikt Huber and Martin Schoeberl},
title = {Comparison of Implicit Path Enumeration and Model Checking based
WCET Analysis},
booktitle = {Proceedings of the 9th International Workshop on Worst-Case Execution
Time (WCET) Analysis},
year = {2009},
pages = {23--34},
publisher = {OCG},
url = {http://www.jopdesign.com/doc/wcetmc_wcet2009.pdf}
}
@article{jop:tecs:cmp,
author = {Christof Pitter and Martin Schoeberl},
title = {A Real-Time Java Chip-Multiprocessor},
journal = {ACM Trans. Embed. Comput. Syst.},
year = {2010},
volume = {10},
pages = {9:1--34},
number = {1},
doi = {http://dx.doi.org/10.1145/1814539.1814548},
publisher = {ACM},
url = {http://www.jopdesign.com/doc/jopcmp_tecs.pdf}
}
@article{jop:scjcecmp,
author = {Anders P. Ravn and Martin Schoeberl},
title = {Safety-Critical Java with Cyclic Executives on Chip-Multiprocessors},
journal = {Concurrency and Computation: Practice and Experience},
year = {2011},
url = {http://www.jopdesign.com/doc/scj0cmp.pdf}
}
@inproceedings{jop:ejip,
author = {Martin Schoeberl},
title = {ejIP: A TCP/IP Stack for Embedded Java},
booktitle = {Proceedings of the 9th International Conference on the Principles
and Practice of Programming in Java (PPPJ 2011)},
year = {2011},
publisher = {ACM Press},
url = {http://www.jopdesign.com/doc/ejip.pdf}
}
@book{jop:handbook,
title = {JOP Reference Handbook: Building Embedded Systems with a Java Processor},
publisher = {CreateSpace},
year = {2009},
author = {Martin Schoeberl},
number = {ISBN 978-1438239699},
pages = {362},
note = {Available at http://www.jopdesign.com/doc/handbook.pdf},
url = {http://www.jopdesign.com/doc/handbook.pdf}
}
@article{jop:jnl:jsa2007,
author = {Martin Schoeberl},
title = {A Java Processor Architecture for Embedded Real-Time Systems},
journal = {Journal of Systems Architecture},
year = {2008},
volume = {54/1--2},
pages = {265--286},
doi = {http://dx.doi.org/10.1016/j.sysarc.2007.06.001},
url = {http://www.jopdesign.com/doc/rtarch.pdf}
}
@inproceedings{jop:scjmodes,
author = {Martin Schoeberl},
title = {Mission Modes for Safety Critical Java},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP
WG 10.2 International Workshop (SEUS 2007)},
year = {2007},
volume = {4761},
pages = {105--113},
publisher = {Springer},
doi = {http://dx.doi.org/10.1007/978-3-540-75664-4_11},
url = {http://www.jopdesign.com/doc/scjava_modes.pdf}
}
@article{b9c93d4986a546e0b91cf50cbf4e279b,
author = {Martin Schoeberl and Stephan Korsholm and Tomas Kalibera and Ravn,
{Anders Peter}},
title = {A Hardware Abstraction Layer in Java},
journal = {A C M Transactions on Embedded Computing Systems},
year = {2011},
volume = {10},
number = {4},
issn = {1539-9087},
publisher = {Association for Computing Machinery, Inc.}
}
@article{jop:wcet:spe,
author = {Martin Schoeberl and Wolfgang Puffitsch and Rasmus Ulslev Pedersen
and Benedikt Huber},
title = {Worst-case execution time analysis for a Java processor},
journal = {Software: Practice and Experience},
year = {2010},
volume = {40/6},
pages = {507--542},
doi = {http://dx.doi.org/10.1002/spe.968},
url = {http://www.jopdesign.com/doc/wcetana.pdf}
}
@inproceedings{jop:scjava,
author = {Martin Schoeberl and Hans Sondergaard and Bent Thomsen and Anders
P. Ravn},
title = {A Profile for Safety Critical Java},
booktitle = {10th IEEE International Symposium on Object and Component-Oriented
Real-Time Distributed Computing (ISORC'07)},
year = {2007},
pages = {94--101},
publisher = {IEEE Computer Society},
doi = {http://dx.doi.org/10.1109/ISORC.2007.9},
url = {http://www.jopdesign.com/doc/scjava_isorc2007.pdf}
}
@article{eff0477f558c48fbaece194d24c6789f,
author = {Hans Søndergaard and Bent Thomsen and Ravn, {Anders Peter} and Hansen,
{Rene Rydhof} and Thomas Bøgholm},
title = {Refactoring Real-Time Java Profiles},
journal = {International Symposium on Object-Oriented Real-Time Distributed
Computing},
year = {2011},
pages = {109 - 116},
issn = {1555-0885}
}
@inproceedings{jop:scope:cache,
author = {Andy Wellings and Martin Schoeberl},
title = {Thread-local Scope Caching for Real-time Java},
booktitle = {Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented
Real-time distributed Computing (ISORC 2009)},
year = {2009},
pages = {275--282},
publisher = {IEEE Computer Society},
doi = {http://dx.doi.org/10.1109/ISORC.2009.13},
url = {http://www.jopdesign.com/doc/local_scopes.pdf}
}
@article{7930b7705c384d8dade138b063bffc79,
title = {Formal Modelling and Analysis of Predictable Java},
author = {Thomas Bøgholm and Hansen, {Rene Rydhof} and Ravn, {Anders
Peter} and Hans Søndergaard and Bent Thomsen},
year = {2010},
number = {81},
pages = {52--53},
journal = {E R C I M News},
issn = {0926-4981}
}
@inbook{090c036278ff4d4c878a25769407554c,
title = {Schedulability Analysis for Java Finalizers},
publisher = {Association for Computing Machinery},
author = {Thomas Bøgholm and Hansen, {Rene Rydhof} and Hans Søndergaard
and Ravn, {Anders Peter} and Bent Thomsen},
year = {2010},
booktitle = {Proceedings of the 8th International Workshop on Java
Technologies for Real-Time and Embedded Systems}
}
@inbook{e6020240fb8f11de9e96000ea68e967b,
title = {A predictable Java profile},
publisher = {Association for Computing Machinery},
author = {Thomas Bøgholm and Hansen, {Rene Rydhof} and Ravn, {Anders
Peter} and Bent Thomsen and Hans Søndergaard},
year = {2009},
isbn = {978-1-60558-732-5},
pages = {150-159},
booktitle = {ACM International Conference Proceeding Series}
}
@article{0b482240fb9111de9e96000ea68e967b,
title = {Model-based analysis of embedded java programs},
author = {Thomas Bøgholm and Ravn, {Anders Peter} and Bent Thomsen},
year = {2009},
number = {14},
pages = {17--19},
journal = {RWTH Aachen, Dept. of Computer Science},
issn = {0935–3232}
}
@book{e18524d03b9811dda438000ea68e967b,
title = {A Practical Approach to Mode Change in Real-Time Systems},
publisher = {Department of Computer Science, Aalborg University},
author = {Hans Søndergaard and Ravn, {Anders Peter} and Bent Thomsen and
Martin Schoeberl},
year = {2008}
}
@inbook{9f585e30330311dd8f6f000ea68e967b,
title = {Hardware Objects for Java},
publisher = {IEEE Computer Society Press},
author = {Martin Schoeberl and Christian Thalinger and Stephan Korsholm
and Ravn, {Anders Peter}},
year = {2008},
isbn = {978-0-7695-3132-8},
pages = {445-452},
booktitle = {11th IEEE International Symposium on Object Oriented
Real-Time Distributed Computing (ISORC)}
}
@inbook{088d3d70330511dd8f6f000ea68e967b,
title = {Interrupt Handlers in Java},
publisher = {IEEE Computer Society Press},
author = {Stephan Korsholm and Martin Schoeberl and Ravn, {Anders Peter}},
year = {2008},
isbn = {978-0-7695-3132-8},
pages = {453-457},
booktitle = {11th IEEE International Symposium on Object Oriented
Real-Time Distributed Computing (ISORC)}
}
@inbook{87e2180073c311dbabfe000ea68e967b,
title = {A Ravenscar-Java profile implementation},
publisher = {Association for Computing Machinery},
author = {Bent Thomsen and Ravn, {Anders Peter} and Hans Søndergaard},
year = {2006},
volume = {177},
isbn = {1-59593-544-4},
pages = {38-47},
booktitle = {ACM International Conference Proceeding Series}
}
@inbook{25a2ee009fea11db8ed6000ea68e967b,
title = {Harnessing Theories for Tool Support},
publisher = {University of Cyprus},
author = {Zhiming Liu and Vladimir Mencl and Ravn, {Anders Peter} and Lu
Yang},
year = {2006},
booktitle = {Proceedings of International Symposium on Leveraging
Applications of Formal Methods, Verification and Validation}
}
@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.