|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 155-163, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 164-174, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 53-62, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 95-101, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings, pp. 85-96, 2009, Springer, 978-3-642-04240-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Hyunho Gwak, Dongkun Shin |
SCJ: Segment Cleaning Journaling for Log-Structured File Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 142437-142448, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 16(4), pp. 1364-1373, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Alvaro Miyazawa, Ana Cavalcanti 0001, Andy J. Wellings |
SCJ-Circus: Specification and refinement of Safety-Critical Java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 181, pp. 140-176, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB-CG ![In: Comparative Genomics - 16th International Conference, RECOMB-CG 2018, Magog-Orford, QC, Canada, October 9-12, 2018, Proceedings, pp. 28-48, 2018, Springer, 978-3-030-00833-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.08819, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBRA ![In: Bioinformatics Research and Applications - 12th International Symposium, ISBRA 2016, Minsk, Belarus, June 5-8, 2016, Proceedings, pp. 200-210, 2016, Springer, 978-3-319-38781-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 63-78, 2016, Springer, 978-3-319-33692-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Alvaro Miyazawa, Ana Cavalcanti 0001 |
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., pp. 71-86, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | István Miklós, Sándor Z. Kiss, Eric Tannier |
Counting and sampling SCJ small parsimony solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 552, pp. 83-98, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Chris Marriott, Ana Cavalcanti 0001 |
SCJ: Memory-Safety Checking without Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 465-480, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Frank Zeyda, Ana Cavalcanti 0001 |
Refining SCJ Mission Specifications into Parallel Handler Designs ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@IFM ![In: Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013., pp. 52-67, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | István Miklós, Sándor Z. Kiss, Eric Tannier |
On sampling SCJ rearrangement scenarios ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.2170, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
31 | Jeppe L. Andersen, Mikkel Todberg, Andreas Engelbredt Dalsgaard, René Rydhof Hansen |
Worst-case memory consumption analysis for SCJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: The 11th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '13, Karlsruhe, Germany, October 9-11, 2013, pp. 2-10, 2013, ACM, 978-1-4503-2166-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Pedro Feijão, João Meidanis |
SCJ: A Breakpoint-Like Distance that Simplifies Several Rearrangement Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 8(5), pp. 1318-1329, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Ghaith Haddad, Gary T. Leavens |
Specifying subtypes in SCJ programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011, pp. 40-46, 2011, ACM, 978-1-4503-0731-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Andy J. Wellings, Shiyao Lin, Alan Burns 0001 |
Resource sharing in RTSJ and SCJ systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011, pp. 11-19, 2011, ACM, 978-1-4503-0731-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|