Sciweavers

17 search results - page 1 / 4

» atva 2005

10

ATVA
2005
Springer

109views Hardware» more ATVA 2005»

Semi-automatic Distributed Synthesis

13 years 10 months ago

Semi-automatic Distributed Synthesis

Download www.csc.liv.ac.uk

Bernd Finkbeiner, Sven Schewe

claim paper

Read More »

9

ATVA
2005
Springer

92views Hardware» more ATVA 2005»

Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols

13 years 10 months ago

Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols

Download www.unisa.edu.au

Guy Edward Gallasch, Jonathan Billington

claim paper

Read More »

10

ATVA
2005
Springer

88views Hardware» more ATVA 2005»

A New Graph of Classes for the Preservation of Quantitative Temporal Constraints

13 years 10 months ago

A New Graph of Classes for the Preservation of Quantitative Temporal Constraints

Download w3.univ-tlse1.fr

Xiaoyu Mao, Janette Cardoso, Robert Valette

claim paper

Read More »

11

ATVA
2005
Springer

142views Hardware» more ATVA 2005»

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

13 years 10 months ago

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

Download cs.nyu.edu

Venkatesh Mysore, Carla Piazza, Bud Mishra

claim paper

Read More »

7

ATVA
2005
Springer

93views Hardware» more ATVA 2005»

A Static Analysis Using Tree Automata for XML Access Control

13 years 10 months ago

A Static Analysis Using Tree Automata for XML Access Control

Download unit.aist.go.jp

Isao Yagi, Yoshiaki Takata, Hiroyuki Seki

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »