Search Sciweavers | Sciweavers

1173 search results - page 8 / 235

» On the Compositionality of Round Abstraction

130

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

15 years 11 months ago

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

144

click to vote

ECOOPW
1993
Springer

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

Abstracting Object Interactions Using Composition Filters

15 years 10 months ago

Download www.cse.msu.edu

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

claim paper

Read More »

161

click to vote

ATVA
2009
Springer

111views Hardware» more ATVA 2009»

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

15 years 10 months ago

Download www.cs.technion.ac.il

Yael Meller, Orna Grumberg, Sharon Shoham

claim paper

Read More »

124

click to vote

ER
2006
Springer

101views Database» more ER 2006»

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

15 years 9 months ago

Download www.public.asu.edu

Yang Xiao, Susan Darling Urban, Ning Liao

claim paper

Read More »

132

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers