Safety-Critical Java Virtual Machine Services-Reference-Cited by-同舟云学术

Safety-Critical Java Virtual Machine Services

Published:2015-10-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems
language:
Short-container-title:

Author:

Baxter James¹,Cavalcanti Ana¹,Wellings Andy¹,Freitas Leo²

Affiliation:

1. University of York, UK

2. Newcastle University, UK

Funder

Engineering and Physical Sciences Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2822304.2822307

Reference27 articles.

1. A real-time Java virtual machine with applications in avionics

2. Atego. Atego Perc Pico - Products - Atego. http://www.atego.com/products/atego-perc-pico/ 2015. Atego. Atego Perc Pico - Products - Atego. http://www.atego.com/products/atego-perc-pico/ 2015.

3. Dynamic semantics of Java bytecode

4. A. Cavalcanti A. Wellings and J. Woodcock . The Safety-Critical Java memory model: A formal account. In M. Butler and W. Schulte editors FM 2011: Formal Methods volume 6664 of Lect . Notes Comput. Sc. pages 246 -- 261 . Springer Berlin Heidelberg 2011 . A. Cavalcanti A. Wellings and J. Woodcock. The Safety-Critical Java memory model: A formal account. In M. Butler and W. Schulte editors FM 2011: Formal Methods volume 6664 of Lect. Notes Comput. Sc. pages 246--261. Springer Berlin Heidelberg 2011.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Deadlock-Free Verification of the SACI-1 OBC Using Circus Time Action and FDR;2024 IEEE 4th International Maghreb Meeting of the Conference on Sciences and Techniques of Automatic Control and Computer Engineering (MI-STA);2024-05-19

2. Conformance test development with the Java modeling language;Concurrency and Computation: Practice and Experience;2017-02-02

3. Algebraic Compilation of Safety-Critical Java Bytecode;Lecture Notes in Computer Science;2017