Search Sciweavers | Sciweavers

2203 search results - page 34 / 441

» Temporal Abstract Interpretation

147

click to vote

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

16 years 12 days ago

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

127

click to vote

CAISE
2005
Springer

119views Information Technology» more CAISE 2005»

On Temporal Abstractions of Web Service Protocols

16 years 11 days ago

Download sunsite.informatik.rwth-aachen.de

Boualem Benatallah, Fabio Casati, Julien Ponge, Fa...

claim paper

Read More »

154

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

16 years 9 days ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

140

Voted

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

16 years 9 days ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

136

click to vote

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers