ATVA 2005 - PDF Preprint Papers

ATVA 2005 Automated Technology for Verification and Analysis: Second International Conference

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ATVA-2005 Paper

click to vote

ATVA
2005
Springer

202views Hardware» more ATVA 2005»

Model Checking Real Time Java Using Java PathFinder

14 years 6 months ago

Download www.cs.utah.edu

Abstract. The Real Time Speciﬁcation for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...

Gary Lindstrom, Peter C. Mehlitz, Willem Visser

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	202	Model Checking Real Time Java Using Java PathFinder	claim
2	156	An EFSM-Based Intrusion Detection System for Ad Hoc Networks	claim
3	142	Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology	claim
4	132	Flat Counter Automata Almost Everywhere!	claim
5	131	An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata	claim
6	130	Approximate Reachability for Dead Code Elimination in Esterel	claim
7	118	Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach	claim
8	112	Reasoning About Transfinite Sequences	claim
9	111	Model Checking Prioritized Timed Automata	claim
10	109	A New Reachability Algorithm for Symmetric Multi-processor Architecture	claim
11	109	Semi-automatic Distributed Synthesis	claim
12	108	Flat Acceleration in Symbolic Model Checking	claim
13	108	Multi-valued Model Checking Games	claim
14	93	A Static Analysis Using Tree Automata for XML Access Control	claim
15	92	Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols	claim
16	88	A New Graph of Classes for the Preservation of Quantitative Temporal Constraints	claim
17	80	Syntactical Colored Petri Nets Reductions	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers