Search results for "safety critical Java"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
2	Anders P. Ravn, Martin Schoeberl	Cyclic executive for safety-critical Java on chip-multiprocessors.	JTRES	2010	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	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
2	Lei Zhao, Daniel Tang, Jan Vitek	A technology compatibility kit for safety critical Java.	JTRES	2009	DBLP DOI BibTeX RDF
2	Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn	A Profile for Safety Critical Java.	ISORC	2007	DBLP DOI BibTeX RDF
2	Martin Schoeberl, Jan Vitek	Garbage collection for safety critical Java.	JTRES	2007	DBLP DOI BibTeX RDF	real-time system, garbage collection
1	Juan Ricardo Rios, Martin Schoeberl	Hardware Support for Safety-Critical Java Scope Checks.	ISORC	2012	DBLP DOI BibTeX RDF
1	Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft	Schedulability Analysis Abstractions for Safety Critical Java.	ISORC	2012	DBLP DOI BibTeX RDF
1	Frank Zeyda, Ana Cavalcanti, Andy J. Wellings	The Safety-Critical Java Mission Model: A Formal Account.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Ana Cavalcanti, Andy J. Wellings, Jim Woodcock	The Safety-Critical Java Memory Model: A Formal Account.	FM	2011	DBLP DOI BibTeX RDF
1	Christian Engel	Deductive verification of safety-critical Java programs.		2009	RDF
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	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 Henties	Safety Critical Java erleichtert die Zertifizierung sicherheitskritischer Echtzeit-Anwendungen.	Software Engineering (Workshops)	2008	DBLP 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	Benjamin M. Brosgol	MP1: languages for safety-critical software: issues and assessment.	SIGAda	2008	DBLP DOI BibTeX RDF	do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
1	Martin Schoeberl	Mission Modes for Safety Critical Java.	SEUS	2007	DBLP DOI BibTeX RDF
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	Benjamin M. Brosgol	SA2: languages for safety-critical software: issues and assessment.	SIGAda	2007	DBLP DOI BibTeX RDF