ATVA 2008 - PDF Preprint Papers

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

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ATVA-2008 Paper

click to vote

ATVA
2008
Springer

159views Hardware» more ATVA 2008»

Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT

13 years 6 months ago

Download www.mrtc.mdh.se

UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...

John Håkansson, Jan Carlson, Aurelien Monot,...

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	159	Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT	claim
2	148	Decidable Compositions of O-Minimal Automata	claim
3	144	Tests, Proofs and Refinements	claim
4	143	Automating Algebraic Specifications of Non-freely Generated Data Types	claim
5	139	Compositional Verification for Component-Based Systems and Application	claim
6	131	Computation Tree Regular Logic for Genetic Regulatory Networks	claim
7	131	Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions	claim
8	127	DiVinE Multi-Core - A Parallel LTL Model-Checker	claim
9	121	Model Based Importance Analysis for Minimal Cut Sets	claim
10	115	Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol	claim
11	111	Loop Summarization Using Abstract Transformers	claim
12	104	A Direct Algorithm for Multi-valued Bounded Model Checking	claim
13	102	Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions	claim
14	101	Run-Time Monitoring of Electronic Contracts	claim
15	99	Model Checking Recursive Programs with Exact Predicate Abstraction	claim
16	90	Tree Pattern Rewriting Systems	claim
17	89	Impartial Anticipation in Runtime-Verification	claim
18	88	Practical Efficient Modular Linear-Time Model-Checking	claim
19	87	Goanna: Syntactic Software Model Checking	claim
20	86	NetQi: A Model Checker for Anticipation Game	claim
21	78	SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers