Search results for "SCJ"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
140	Ghaith Haddad, Faraz Hussain 0001, 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
136	Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
127	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
102	Ales Plsek, Lei Zhao, Veysel Harun 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
56	Pedro Feijão, João Meidanis	SCJ: A Variant of Breakpoint Distance for Which Sorting, Genome Median and Genome Halving Problems Are Easy.	WABI	2009	DBLP DOI BibTeX RDF
31	Hyunho Gwak, Dongkun Shin	SCJ: Segment Cleaning Journaling for Log-Structured File Systems.	IEEE Access	2021	DBLP DOI BibTeX RDF
31	Nina Luhmann, Manuel Lafond, Annelyse Thévenin, Aïda Ouangraoua, Roland Wittler, Cédric Chauve	The SCJ Small Parsimony Problem for Weighted Gene Adjacencies.	IEEE ACM Trans. Comput. Biol. Bioinform.	2019	DBLP DOI BibTeX RDF
31	Alvaro Miyazawa, Ana Cavalcanti 0001, Andy J. Wellings	SCJ-Circus: Specification and refinement of Safety-Critical Java programs.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
31	Aniket C. Mane, Manuel Lafond, Pedro Feijão, Cédric Chauve	The Rooted SCJ Median with Single Gene Duplications.	RECOMB-CG	2018	DBLP DOI BibTeX RDF
31	Nina Luhmann, Annelyse Thévenin, Aïda Ouangraoua, Roland Wittler, Cédric Chauve	The SCJ small parsimony problem for weighted gene adjacencies (Extended version).	CoRR	2016	DBLP BibTeX RDF
31	Nina Luhmann, Annelyse Thévenin, Aïda Ouangraoua, Roland Wittler, Cédric Chauve	The SCJ Small Parsimony Problem for Weighted Gene Adjacencies.	ISBRA	2016	DBLP DOI BibTeX RDF
31	Leo Freitas, James Baxter 0001, Ana Cavalcanti 0001, Andy J. Wellings	Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.	IFM	2016	DBLP DOI BibTeX RDF
31	Alvaro Miyazawa, Ana Cavalcanti 0001	SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java.	Refine@FM	2015	DBLP DOI BibTeX RDF
31	István Miklós, Sándor Z. Kiss, Eric Tannier	Counting and sampling SCJ small parsimony solutions.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
31	Chris Marriott, Ana Cavalcanti 0001	SCJ: Memory-Safety Checking without Annotations.	FM	2014	DBLP DOI BibTeX RDF
31	Frank Zeyda, Ana Cavalcanti 0001	Refining SCJ Mission Specifications into Parallel Handler Designs	Refine@IFM	2013	DBLP DOI BibTeX RDF
31	István Miklós, Sándor Z. Kiss, Eric Tannier	On sampling SCJ rearrangement scenarios	CoRR	2013	DBLP BibTeX RDF
31	Jeppe L. Andersen, Mikkel Todberg, Andreas Engelbredt Dalsgaard, René Rydhof Hansen	Worst-case memory consumption analysis for SCJ.	JTRES	2013	DBLP DOI BibTeX RDF
31	Pedro Feijão, João Meidanis	SCJ: A Breakpoint-Like Distance that Simplifies Several Rearrangement Problems.	IEEE ACM Trans. Comput. Biol. Bioinform.	2011	DBLP DOI BibTeX RDF
31	Ghaith Haddad, Gary T. Leavens	Specifying subtypes in SCJ programs.	JTRES	2011	DBLP DOI BibTeX RDF
31	Andy J. Wellings, Shiyao Lin, Alan Burns 0001	Resource sharing in RTSJ and SCJ systems.	JTRES	2011	DBLP DOI BibTeX RDF