MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Francesco Ranzato – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

ATOM

An abstract interpretation-based refinement algorithm for strong preservation
by Francesco Ranzato — 2005 — In Proc. 11th Intern. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’05), LNCS 3440
…An Abstract Interpretation-based Refinement Algorithm for Strong Preservation Francesco Ranzato…
Cited by 12 (5 self) – Add To MetaCart

On the Completeness of Model Checking
by Francesco Ranzato — 2001 — Proc. 10 th ESOP ' 2001 , Genova, IT, 2--6 Apr. 2001, LNCS 2028
…On the Completeness of Model Checking Francesco Ranzato Dipartimento di Matematica Pura ed…
Cited by 7 (3 self) – Add To MetaCart

A Counterexample to a Result Concerning Closure Operators
by Francesco Ranzato — 2001
…A COUNTEREXAMPLE TO A RESULT CONCERNING CLOSURE OPERATORS FRANCESCO RANZATO Abstract. In 1960, Jose…
Cited by 1 (1 self) – Add To MetaCart

An abstract interpretation perspective on linear vs. branching time
by Francesco Ranzato — 2005 — In APLAS ’05, volume 3780 of LNCS
…An Abstract Interpretation Perspective on Linear vs. Branching Time ⋆ Francesco Ranzato…
Cited by 3 (0 self) – Add To MetaCart

Strong preservation of temporal fixpoint-based operators by abstract interpretation
by Francesco Ranzato — 2006 — In Proc. Conf. VMCAI’06, LNCS 3855
… Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata Università di Padova, Italy…
Cited by 4 (0 self) – Add To MetaCart

Strong preservation as completeness in abstract interpretation
by Francesco Ranzato — 2004 — In Proc. European Symp. Programming, LNCS 2986
…Strong Preservation as Completeness in Abstract Interpretation Francesco Ranzato and Francesco…
Cited by 17 (4 self) – Add To MetaCart

Functional Dependencies and Moore-Set Completions of Abstract . . .
by Roberto Giacobazzi, Francesco Ranzato — 1995 — Proc. of the 1995 Internat. Logic Programming Symp. (ILPS '95
… giaco@(email omitted); Francesco Ranzato Dipartimento di Matematica Pura ed Applicata Universit`a di Padova…
Cited by 16 (8 self) – Add To MetaCart

Compositional Optimization of Disjunctive Abstract Interpretations
by Roberto Giacobazzi, Francesco Ranzato — 1996 — Proc. of the 1996 European Symposium on Programming, volume 1058 of Lecture Notes in Computer Science
…Compositional Optimization of Disjunctive Abstract Interpretations Roberto Giacobazzi ? Francesco…
Cited by 10 (2 self) – Add To MetaCart

States vs. traces in model checking by abstract interpretation
by Roberto Giacobazzi, Francesco Ranzato — 2002 — In Static Analysis (SAS ’02), 9th International Symposium
… States vs. Traces in Model Checking by Abstract Interpretation Roberto Giacobazzi1 and Francesco…
Cited by 1 (0 self) – Add To MetaCart

Complementation of abstract domains made easy
by Gilberto Filé, Francesco Ranzato — 1996 — Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming, MIT Press Series in Logic Programming
…Complementation of Abstract Domains made Easy Gilberto Filé Francesco Ranzato Dipartimento di…
Cited by 15 (6 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB