Marisa Venturini Zilli - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2006

Finite horizon analysis of Markov Chains with the Murphi verifierGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. STTT, 8(4-5):397-409, 2006. [doi]

2004

Exploiting transition locality in automatic verification of finite-state concurrent systemsGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. STTT, 6(4):320-341, 2004. [doi]

Bounded Probabilistic Model Checking with the Mur::::alpha:::: VerifierGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. FMCAD 2004: 214-229 [doi]

2003

Synchronized regular expressionsGiuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli. ACTA, 39(1):31-70, 2003. [doi]

Integrating RAM and Disk Based Verification within the Mur-phi VerifierGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. charme 2003: 277-282 [doi]

Automatic Verification of a Turbogas Control System with the Mur varphi VerifierGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli. hybrid 2003: 141-155 [doi]

Finite Horizon Analysis of Markov Chains with the Mur-phi VerifierGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. charme 2003: 394-409 [doi]

Finite Horizon Analysis of Stochastic Systems with the Mur varphi VerifierGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. ictcs 2003: 58-71 [doi]

2002

Exploiting Transition Locality in the Disk Based Mur phi VerifierGiuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli. FMCAD 2002: 202-219 [doi]

2001

1999

Orders, Reduction Graphs and SpectraBenedetto Intrigila, Marisa Venturini Zilli. TCS, 212(1-2):211-231, 1999. [doi]

A Comprehensive Setting for Matching and Unification over Iterative TermsBenedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli. FUIN, 39(3):273-304, 1999.

1996

A Remark on Infinite Matching vs Infinite UnificationBenedetto Intrigila, Marisa Venturini Zilli. JSC, 21(3):289-292, 1996.

1994

Rational RewritingPaola Inverardi, Marisa Venturini Zilli. mfcs 1994: 433-442

1993

Generalizations of UnificationAlessandro Berarducci, Marisa Venturini Zilli. JSC, 16(5):479-491, 1993.

1990

Net Algebras on Process AlgebrasMarisa Venturini Zilli. eik, 26(4):201-212, 1990.

1985

While-Programs with Nondeterministic Assignments and the Logic AlnaGianfranco Mascari, Marisa Venturini Zilli. TCS, 40:211-235, 1985.

1984

Reduction Graphs in the Lambda CalculusMarisa Venturini Zilli. TCS, 29:251-275, 1984.

Transition graphs semantics and languagesMarisa Venturini Zilli. sct 1985: 375-384 [doi]

1983

Cofinality in Reduction GraphsMarisa Venturini Zilli. caap 1983: 405-416

1980

δGiuseppe Longo, Marisa Venturini Zilli. AML, 20(1-2):41-52, 1980. [doi]

1978

Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal FormMarisa Venturini Zilli. icalp 1978: 477-493

1976

A Theory of Computation with an Identity DiscriminatorGiuseppe Longo, Marisa Venturini Zilli. icalp 1976: 147-167

1975

A model with nondeterministic computationMarisa Venturini Zilli. lambda 1975: 287-296

1974

Complexity of theorem-proving procedures : some general propertiesGiuseppe Longo, Marisa Venturini Zilli. ita, 8(3):5-18, 1974. [doi]

Sign in or sign up to see more results.

runs on WebDSL