From Safety Critical Java Programs to Timed Process Models

No abstract is available for this paper.

• Publication year

  2015

• Venue

  Programming Languages with Applications to Biology and Security

• Publication date

  2015-08-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-25527-9_21
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Compilers Principles Techniques And Tools

  2016cited by this paper
• Provably correct control flow graphs from Java bytecode programs with exceptions

  2016cited by this paper
• HVMTP: A time predictable and portable java virtual machine for hard real‐time embedded systems

  2014cited by this paper
• Towards harnessing theories through tool support for hard real-time Java programming

  2013cited by this paper
• TetaSARTS: a tool for modular timing analysis of safety critical Java systems

  2013cited by this paper
• Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS

  2013cited by this paper
• Safety-critical Java for low-end embedded platforms

  2012cited by this paper
• Schedulability Analysis Abstractions for Safety Critical Java

  2012cited by this paper
• WCET analysis of Java bytecode featuring common execution environments

  2011cited by this paper
• An adaptive load balancing management technique for RFID middleware systems

  2010cited by this paper
• CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties

  2010cited by this paper
• METAMOC: Modular Execution Time Analysis using Model Checking

  2010cited by this paper
• Developing safety critical Java applications with oSCJ/L0

  2010cited by this paper
• Real time Java on resource-constrained platforms with Fiji VM

  2009cited by this paper
• Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition

  2009cited by this paper
• Real-Time Systems and Programming Languages

  2009cited by this paper
• A predictable Java profile: rationale and implementations

  2009cited by this paper
• Principles of model checking

  2008cited by this paper
• JOP: A Java Optimized Processor for Embedded Real-Time Systems

  2008influential reference
• Model-based schedulability analysis of safety critical hard real-time Java programs

  2008influential reference
• Principles of Model Checking (Representation and Mind Series)

  2008cited by this paper
• aiT: worst case execution time prediction by static program analysis

  2004cited by this paper
• A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java

  2003cited by this paper
• Timed Automata: Semantics, Algorithms and Tools

  2003cited by this paper
• TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems

  2003cited by this paper
• Practical virtual method call resolution for Java

  2000cited by this paper
• Bandera: extracting finite-state models from Java source code

  2000cited by this paper
• The Real-Time Specification for Java

  2000influential reference
• Software–Practice and Experience

  2000cited by this paper
• Causality for debugging mobile agents

  1999influential reference
• Timed Automata

  1999cited by this paper
• Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation

  1998cited by this paper
• The Non-Optimality of the Monotonic Priority Assignments for Hard Real-Time Offset Free Systems

  1997cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• A Facile Tutorial

  1996cited by this paper
• Understanding Mobile Agents via a Non-Interleaving Semantics for Facile

  1996influential reference
• Fast static analysis of C++ virtual function calls

  1996cited by this paper
• UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems

  1996cited by this paper
• Performance analysis of embedded software using implicit path enumeration

  1995cited by this paper
• Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis

  1995cited by this paper
• A Theory of Timed Automata

  1994cited by this paper
• The Laws of Occam Programming

  1988cited by this paper

• Verifying temporal specifications of Java programs

  2020cites this paper
• Towards Model Checking Security of Real Time Java Software

  2018cites this paper
• IotSan: fortifying the safety of IoT systems

  2018cites this paper
• Towards Fortifying the Safety and Security of IoT Systems

  2018cites this paper
• Interactive WCET Prediction with Warning for Timeout Risk

  2017cites this paper
• Safety-Critical Java Level 2: applications, modelling, and verification

  2016cites this paper
• A Formal Model of the Safety-Critical Java Level 2 Paradigm

  2016cites this paper
• Automatic Extraction of Program Models for Formal Software Verification

  2015cites this paper