Marisa Venturini Zilli

According to our database, Marisa Venturini Zilli authored at least 26 papers between 1974 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Finite horizon analysis of Markov Chains with the Murphi verifier.

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli

Int. J. Softw. Tools Technol. Transf., 2006

2004

Exploiting transition locality in automatic verification of finite-state concurrent systems.

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli

Int. J. Softw. Tools Technol. Transf., 2004

Bounded Probabilistic Model Checking with the Mur<i>alpha</i> Verifier.

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier.

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli

Proceedings of the Hybrid Systems: Computation and Control, 2003

Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier.

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli

Proceedings of the Correct Hardware Design and Verification Methods, 2003

Integrating RAM and Disk Based Verification within the Mur-phi Verifier.

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

Exploiting Transition Locality in the Disk Based Mur phi Verifier.

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

Synchronized Regular Expressions.

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Exploiting Transition Locality in Automatic Verification.

Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli

Proceedings of the Correct Hardware Design and Verification Methods, 2001

A Probabilistic Approach to Automatic Verification of Concurrent Systems.

Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1999

Orders, Reduction Graphs and Spectra.

Benedetto Intrigila, Marisa Venturini Zilli

Theor. Comput. Sci., 1999

A Comprehensive Setting for Matching and Unification over Iterative Terms.

Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli

Fundam. Informaticae, 1999

1996

A Remark on Infinite Matching vs Infinite Unification.

Benedetto Intrigila, Marisa Venturini Zilli

J. Symb. Comput., 1996

1994

Rational Rewriting.

Paola Inverardi, Marisa Venturini Zilli

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993

Generalizations of Unification.

Alessandro Berarducci, Marisa Venturini Zilli

J. Symb. Comput., 1993

1990

Net Algebras on Process Algebras.

Marisa Venturini Zilli

J. Inf. Process. Cybern., 1990

1985

While-Programs with Nondeterministic Assignments and the Logic Alna.

Gianfranco Mascari, Marisa Venturini Zilli

Theor. Comput. Sci., 1985

1984

Reduction Graphs in the Lambda Calculus.

Marisa Venturini Zilli

Theor. Comput. Sci., 1984

Transition graphs semantics and languages.

Marisa Venturini Zilli

Proceedings of the Computation Theory, 1984

1983

Cofinality in Reduction Graphs.

Marisa Venturini Zilli

Proceedings of the CAAP'83, 1983

1980

A<i>λδ</i>-calculus with an algorithmic<i>δ</i>.

Giuseppe Longo, Marisa Venturini Zilli

Arch. Math. Log., 1980

1978

Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form.

Marisa Venturini Zilli

Proceedings of the Automata, 1978

1976

A Theory of Computation with an Identity Discriminator.

Giuseppe Longo, Marisa Venturini Zilli

Proceedings of the Third International Colloquium on Automata, 1976

1975

A model with nondeterministic computation.

Marisa Venturini Zilli

Proceedings of the Lambda-Calculus and Computer Science Theory, 1975

1974

Complexity of theorem-proving procedures : some general properties.

Giuseppe Longo, Marisa Venturini Zilli

RAIRO Theor. Informatics Appl., 1974