Search Sciweavers | Sciweavers

1173 search results - page 8 / 235

» On the Compositionality of Round Abstraction

click to vote

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

14 years 3 months ago

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

click to vote

ECOOPW
1993
Springer

119views Distributed And Parallel Com...» more ECOOPW 1993»

Abstracting Object Interactions Using Composition Filters

14 years 1 months ago

Download www.cse.msu.edu

Mehmet Aksit, Ken Wakita, Jan Bosch, Lodewijk Berg...

claim paper

Read More »

click to vote

ATVA
2009
Springer

111views Hardware» more ATVA 2009»

A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement

14 years 1 months ago

Download www.cs.technion.ac.il

Yael Meller, Orna Grumberg, Sharon Shoham

claim paper

Read More »

click to vote

ER
2006
Springer

101views Database» more ER 2006»

The DeltaGrid Abstract Execution Model: Service Composition and Process Interference Handling

14 years 1 months ago

Download www.public.asu.edu

Yang Xiao, Susan Darling Urban, Ning Liao

claim paper

Read More »

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers