Search Sciweavers | Sciweavers

15792 search results - page 106 / 3159

» Computational Abstraction Steps

111

click to vote

RTSS
2009
IEEE

148views Control Systems» more RTSS 2009»

Component-Based Abstraction Refinement for Timed Controller Synthesis

16 years 1 months ago

Download www.informatik.uni-freiburg.de

Hans-Jörg Peter, Robert Mattmüller

claim paper

Read More »

131

click to vote

WOLLIC
2009
Springer

140views Artificial Intelligence» more WOLLIC 2009»

Observational Completeness on Abstract Interpretation

16 years 29 days ago

Download www.sci.unich.it

Gianluca Amato, Francesca Scozzari

claim paper

Read More »

139

click to vote

LICS
2008
IEEE

77views Automated Reasoning» more LICS 2008»

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

16 years 23 days ago

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

145

click to vote

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

16 years 19 days ago

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

110

click to vote

CONCUR
2007
Springer

69views Distributed And Parallel Com...» more CONCUR 2007»

Topology-Dependent Abstractions of Broadcast Networks

16 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers