Marisa Venturini Zilli

According to our database1, Marisa Venturini Zilli
  • authored at least 26 papers between 1975 and 2006.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
Finite horizon analysis of Markov Chains with the Murphi verifier.
STTT, 2006

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

Bounded Probabilistic Model Checking with the Muralpha Verifier.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003
Synchronized regular expressions.
Acta Inf., 2003

Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.
Proceedings of the Hybrid Systems: Computation and Control, 2003

Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

Integrating RAM and Disk Based Verification within the Mur-phi Verifier.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002
Exploiting Transition Locality in the Disk Based Mur phi Verifier.
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001
Synchronized Regular Expressions.
Electr. Notes Theor. Comput. Sci., 2001

Exploiting Transition Locality in Automatic Verification.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

A Probabilistic Approach to Automatic Verification of Concurrent Systems.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1999
Orders, Reduction Graphs and Spectra.
Theor. Comput. Sci., 1999

A Comprehensive Setting for Matching and Unification over Iterative Terms.
Fundam. Inform., 1999

1996
A Remark on Infinite Matching vs Infinite Unification.
J. Symb. Comput., 1996

1994
Rational Rewriting.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993
Generalizations of Unification.
J. Symb. Comput., 1993

1990
Net Algebras on Process Algebras.
Elektronische Informationsverarbeitung und Kybernetik, 1990

1985
While-Programs with Nondeterministic Assignments and the Logic Alna.
Theor. Comput. Sci., 1985

1984
Reduction Graphs in the Lambda Calculus.
Theor. Comput. Sci., 1984

Transition graphs semantics and languages.
Proceedings of the Computation Theory, 1984

1983
Cofinality in Reduction Graphs.
Proceedings of the CAAP'83, 1983

1980
Aλδ-calculus with an algorithmicδ.
Arch. Math. Log., 1980

1978
Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form.
Proceedings of the Automata, 1978

1976
A Theory of Computation with an Identity Discriminator.
ICALP, 1976

1975
A model with nondeterministic computation.
Proceedings of the Lambda-Calculus and Computer Science Theory, 1975


  Loading...