| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ghaith Haddad, Faraz Hussain, Gary T. Leavens |
The design of SafeJML, a specification language for SCJ with support for WCET specification.  |
JTRES  |
2010 |
DBLP DOI BibTeX RDF |
SafeJML, java modeling language (JML), safety critical Java (SCJ), performance, WCET, timing behavior, duration |
| 1 | Rasmus Ulslev Pedersen, Martin Schoeberl |
Object oriented machine learning with a multicore real-time Java processor: short paper. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | MinSeong Kim, Andy J. Wellings |
Using the executor framework to implement asynchronous event handling in the RTSJ. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders P. Ravn, Martin Schoeberl |
Cyclic executive for safety-critical Java on chip-multiprocessors. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Schorrig, Thomas Henties |
Java2C - developing in Java, deployment in C: short paper. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Kalibera, Jan Vitek (eds.) |
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010 |
JTRES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Daniel Tang, Ales Plsek, Jan Vitek |
Static checking of safety critical Java annotations. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
verification, annotations, safety critical systems, memory safety |
| 1 | Kelvin Nilsen |
Ada-Java middleware for legacy software modernization. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
mixed-language development, software modernization, Java, real-time, Ada, safety-critical, object oriented development, high-integrity systems, mission-critical |
| 1 | Andy J. Wellings, MinSeong Kim |
Asynchronous event handling and safety critical Java. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
safety critical Java, threads, real-time specification for Java, asynchronous events |
| 1 | Cláudio Maia, Luís Nogueira, Luís Miguel Pinho |
Experiences on the implementation of a cooperative embedded system framework: short paper. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
Android, cooperative computing, distributed real-time embedded systems |
| 1 | James J. Hunt |
Realtime Java technology in avionics systems. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
realtime Java technology, standards, avionics |
| 1 | Tomas Kalibera, Pavel Parizek, Michal Malohlava, Martin Schoeberl |
Exhaustive testing of safety critical Java. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
SCJ, model checking, real-time Java, Java PathFinder |
| 1 | Flavius Gruian, Mark Westmijze |
Investigating hardware micro-instruction folding in a Java embedded processor. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
BlueJEP, bytecode folding, embedded systems, Java processors, Bluespec |
| 1 | Martin Zabel, Rainer G. Spallek |
Application requirements and efficiency of embedded Java bytecode multi-cores. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
multi-core, multi-threaded, realtime, Java bytecode |
| 1 | Thomas Richardson, Andy J. Wellings, J. A. Dianes, M. Díaz |
Towards memory management for service-oriented real-time systems. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
service-oriented architecture, garbage collection, dynamic reconfiguration, real-time specification for Java |
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
Schedulability analysis for Java finalizers. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
schedulability, Java, model checking, real-time, finalizers |
| 1 | Lukasz Ziarek |
PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
prioirty inheritance protocol |
| 1 | Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat |
KESO: an open-source multi-JVM for deeply embedded systems. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
KESO, OSEK/VDX, spatial isolation, Java, embedded systems, memory protection, AUTOSAR |
| 1 | Martin Schoeberl, Thomas B. Preußer, Sascha Uhrig |
The embedded Java benchmark suite JemBench. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl |
WCET driven design space exploration of an object cache. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar R. Polo, Kristof Konings, Pablo Parra, Martin Knoblauch, Ignacio García, Sebastian Sanchez |
Preliminary feasibility analysis of component based modelling and automatic Java code generation for nanosatellite on-board software: short paper. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
software engineering, real-time systems |
| 1 | Abdul Haseeb Malik, Andy J. Wellings, Yang Chang |
A locality model for the real-time specification for Java. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Kratzer, Axel Böttcher |
Using an RTSJ-compatible MVC pattern as basis for configurable event-driven real-time software. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
real-time design patterns, real-time programming idioms, real-time Java, RTSJ, configurable software |
| 1 | Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek |
Developing safety critical Java applications with oSCJ/L0. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
memory management, Java virtual machine, safety critical systems |
| 1 | Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy |
Use of PERC Pico in the AIDA avionics platform. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
ARINC 653, DO-178C, SCJT, aeronautic certification, safety-critical real-time systems, Java, RTSJ |
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
A predictable Java profile: rationale and implementations. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
Java, real-time |
| 1 | Jack Whitham, Neil C. Audsley, Martin Schoeberl |
Using hardware methods to improve time-predictable performance in real-time Java systems. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon |
Avoiding unbounded priority inversion in barrier protocols using gang priority management. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Puffitsch |
Data caching, garbage collection, and the Java memory model. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
Java memory model, garbage collection, data cache |
| 1 | Tomas Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben Titzer, Jan Vitek |
CDx: a family of real-time Java benchmarks. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | MinSeong Kim, Andy J. Wellings |
Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Richardson, Andy J. Wellings, J. A. Dianes, M. Díaz |
Providing temporal isolation in the OSGi framework. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John F. Schommer, Dominik Franke, Stefan Kowalewski, Carsten Weise |
Evaluation of the real-time Java runtime environment for deployment in time-critical systems. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
initialization time compilation, scheduling, Java, real-time, benchmark, monitoring, timing, memory management, RTSJ, ITC |
| 1 | M. Teresa Higuera-Toledano, Martin Schoeberl (eds.) |
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009 |
JTRES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andy J. Wellings, Yang Chang, Thomas Richardson |
Enhancing the platform independence of the real-time specification for Java. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Zhao, Daniel Tang, Jan Vitek |
A technology compatibility kit for safety critical Java. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed AlRahmawy, Andy J. Wellings |
An RTSJ-based reconfigurable server component. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee |
A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
synchronous and asynchronous concurrency, multiprocessor, GALS, reactivity |
| 1 | Juan Antonio Holgado Terriza, Jaime Viúdez-Aivar |
A flexible Java framework for embedded systems. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
Java, embedded systems, framework, flexibility, microcontroller |
| 1 | Peter C. Dibble, Andy J. Wellings |
JSR-282 status report. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filip Pizlo, Lukasz Ziarek, Jan Vitek |
Real time Java on resource-constrained platforms with Fiji VM. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Kalibera |
Replicating real-time garbage collector for Java. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada |
On transforming Java-like programs into memory-predictable code. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed AlRahmawy, Andy J. Wellings |
Design patterns for supporting RTSJ component models. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fridtjof Siebert |
JEOPARD: Java environment for parallel real-time development. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen |
Model-based schedulability analysis of safety critical hard real-time Java programs. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, model checking, schedulability analysis, software verification, real-time Java, Java processor |
| 1 | M. Teresa Higuera-Toledano |
Making stronger and flexible the single parent rule in the real-time specification of Java. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
illegal assignments, reference-counting collection, scoped-regions, single parent rule, real-time Java, write-barriers |
| 1 | Michael Dawson, Paul Thwaite |
Testing class libraries for RTSJ safety. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
J9, WRT, Java, real-time, RTSJ, JUnit |
| 1 | Elias Teodoro Silva Jr., Daniel Barcelos, Flávio Rech Wagner, Carlos Eduardo Pereira |
A virtual platform for multiprocessor real-time embedded systems. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, energy efficiency, network on chip, embedded applications |
| 1 | James J. Hunt, Isabel Tonin, Fridtjof Siebert |
Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
realtime Java, verification, data flow analysis, worst case execution time, formal analysis |
| 1 | Osmar Marchi dos Santos, Andy J. Wellings |
Blocking time monitoring in the real-time specification for Java. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, real-time specification for Java, timing errors |
| 1 | Christof Pitter |
Time-predictable memory arbitration for a Java chip-multiprocessor. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
Java, chip-multiprocessor, shared memory, worst-case execution time |
| 1 | Gregory Bollella, C. Douglas Locke (eds.) |
Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA |
JTRES |
2008 |
DBLP BibTeX RDF |
|
| 1 | Martin Schoeberl, Wolfgang Puffitsch |
Non-blocking object copy for real-time garbage collection. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelvin Nilsen |
Simple low-level real-time threading semantics to enable portability, efficiency, analyzability, and generality. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
safety-critical certification, Java, real-time, threading, RTSJ |
| 1 | Andy J. Wellings, M. S. Kim |
Processing group parameters in the real-time specification for Java. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Puffitsch, Martin Schoeberl |
Non-blocking root scanning for real-time garbage collection. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
root scanning, real-time, garbage collection |
| 1 | Damien Masson, Serge Midonnet |
RTSJ extensions: event manager and feasibility analyzer. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | MinSeong Kim, Andy J. Wellings |
An efficient and predictable implementation of asynchronous event handling in the RTSJ. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raine Mäkeläinen, Cristiano Di Flora, Tommi Mikkonen |
Enhanced integration of Java to symbian OS using smart pointers. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
Symbian OS, mobile Java integration, mobile devices programming, J2ME, Java native interface |
| 1 | Gregory Bollella (eds.) |
Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria |
JTRES |
2007 |
DBLP BibTeX RDF |
|
| 1 | MinSeong Kim, Andy J. Wellings |
Asynchronous event handling in the real-time specification for Java. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java RTS, asynchronous event handling, jRate, leader&followers, monitor design, RTSJ, RI |
| 1 | Delvin C. Defoe, Rob LeGrand, Ron K. Cytron |
On the connection between functional programming languages and real-time Java scoped memory. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
scoped memory, real-time, performance analysis, data structures, programming languages, functional programming, memory, memory management, real-time Java |
| 1 | Matteo Bordin, Tullio Vardanega |
Real-time Java from an automated code generation perspective. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
model-driven engineering, real-time Java, automated code generation |
| 1 | Thomas W. Otani, Mikhail Auguston, Thomas S. Cook, Doron Drusinsky, James Bret Michael, Man-tak Shing |
A design pattern for using non-developmental items in real-time Java. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
non-developmental items, real-time system, design pattern, garbage collection, Java programming language |
| 1 | Brian P. Doherty |
A real-time benchmark for Java™. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
SPECjbb2005, Java, real-time, benchmarks, RTSJ |
| 1 | Thomas Preußer, Martin Zabel, Rainer G. Spallek |
Bump-pointer method caching for embedded Java processors. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
method cache, Java |
| 1 | Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland |
A mapping from AADL to Java-RTSJ. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
architecture analysis and design languages (AADL), Java, real-time systems, architecture description languages, real-time specification for Java (RTSJ) |
| 1 | Sascha Uhrig, Jörg Wiese |
jamuth: an IP processor core for embedded Java real-time systems. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java execution environment, embedded system-on-a-chip implementation, virtual machine, real-time embedded system, multithreaded processor, Java processor, embedded operating system |
| 1 | Thomas Preußer, Martin Zabel, Rainer G. Spallek |
Enabling constant-time interface method dispatch in embedded Java processors. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java, interfaces, method dispatch |
| 1 | Elias Teodoro Silva Jr., Marco A. Wehrmeister, Flávio Rech Wagner, Carlos Eduardo Pereira |
An approach to improve predictability in communication services in distributed real-time embedded systems. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
real-time systems, energy efficiency, embedded applications, networked embedded systems |
| 1 | Christof Pitter, Martin Schoeberl |
Towards a Java multiprocessor. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java, multiprocessor, shared memory |
| 1 | James Mc Enery, David Hickey, Menouer Boubekeur |
Empirical evaluation of two main-stream RTSJ implementations. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
JamaicaVM, Java RTS, mackinac, RTSJ, embedded real-time systems, comparative evaluation |
| 1 | Daniel Tejera, Alejandro Alonso, Miguel A. de Miguel |
RMI-HRT: remote method invocation - hard real time. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
HRTJ profile, distributed systems, RTSJ, RMI |
| 1 | Sean Foley |
Tactics for minimal interference from class loading in real-time Java™. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
class load, precompilation, Java, optimization, real-time, refactoring, reduction |
| 1 | Kelvin Nilsen |
Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
safety-critical certification, Java, RTSJ, DO-178B |
| 1 | Sven Gestegard Robertz, Roger Henriksson, Klas Nilsson, Anders Blomdell, Ivan Tarasov |
Using real-time Java for industrial robot control. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java, real-time, garbage collection, motion control, industrial robot |
| 1 | Stephan Korsholm, Philippe Jean |
The Java legacy interface. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java/C integration, multilanguage interoperability, scheduling, embedded systems, real-time, encapsulation, legacy code |
| 1 | Wolfgang Puffitsch, Martin Schoeberl |
picoJava-II in an FPGA. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
FPGA, Java processor |
| 1 | Flavius Gruian, Mark Westmijze |
BlueJEP: a flexible and high-performance Java embedded processor. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
embedded systems, Java processor, Bluespec |
| 1 | Marc Schanne |
Integrated development of distributed real-time applications with asynchronous communication. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
distributed real-time, integrated development |
| 1 | Mohammed AlRahmawy, Andy J. Wellings |
A model for real time mobility based on the RTSJ. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java, distributed systems, mobility, real time, RTSJ |
| 1 | Martin Schoeberl, Jan Vitek |
Garbage collection for safety critical Java. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
real-time system, garbage collection |
| 1 | James J. Hunt, Isabel Tonin, Michael Benkel, Mirko Seifert, Katja Siegemund, Nico Feiertag |
Modeling architecturally neutral realtime systems. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
realtime Java, modeling, UML, MDA |
| 1 | Martin Schoeberl |
Architecture for object-oriented programming languages. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fridtjof Siebert |
Realtime garbage collection in the JamaicaVM 3.0. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java, garbage collection, RTSJ, realtime |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")