Marisa Venturini Zilli

Publication Activity (10 Years)

Years Active: 1974-2006
Publications (10 Years): 0

Publications

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Finite horizon analysis of Markov Chains with the Murphi verifier. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Verifier. FMCAD (2004)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Exploiting transition locality in automatic verification of finite-state concurrent systems. Int. J. Softw. Tools Technol. Transf. 6 (4) (2004)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. CHARME (2003)
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Synchronized regular expressions. Acta Informatica 39 (1) (2003)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. ICTCS (2003)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. HSCC (2003)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Integrating RAM and Disk Based Verification within the Mur-phi Verifier. CHARME (2003)
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD (2002)
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC (2001)
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Synchronized Regular Expressions. Electron. Notes Theor. Comput. Sci. 62 (2001)
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
Exploiting Transition Locality in Automatic Verification. CHARME (2001)
Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli
A Comprehensive Setting for Matching and Unification over Iterative Terms. Fundam. Informaticae 39 (3) (1999)
Benedetto Intrigila, Marisa Venturini Zilli
Orders, Reduction Graphs and Spectra. Theor. Comput. Sci. 212 (1-2) (1999)
Benedetto Intrigila, Marisa Venturini Zilli
A Remark on Infinite Matching vs Infinite Unification. J. Symb. Comput. 21 (3) (1996)
Paola Inverardi, Marisa Venturini Zilli
Rational Rewriting. MFCS (1994)
Alessandro Berarducci, Marisa Venturini Zilli
Generalizations of Unification. J. Symb. Comput. 16 (5) (1993)
Marisa Venturini Zilli
Net Algebras on Process Algebras. J. Inf. Process. Cybern. 26 (4) (1990)
Gianfranco Mascari, Marisa Venturini Zilli
While-Programs with Nondeterministic Assignments and the Logic Alna. Theor. Comput. Sci. 40 (1985)
Marisa Venturini Zilli
Transition graphs semantics and languages. Symposium on Computation Theory (1984)
Marisa Venturini Zilli
Reduction Graphs in the Lambda Calculus. Theor. Comput. Sci. 29 (1984)
Marisa Venturini Zilli
Cofinality in Reduction Graphs. CAAP (1983)
Giuseppe Longo, Marisa Venturini Zilli
. Arch. Math. Log. 20 (1-2) (1980)
Marisa Venturini Zilli
Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form. ICALP (1978)
Giuseppe Longo, Marisa Venturini Zilli
A Theory of Computation with an Identity Discriminator. ICALP (1976)
Marisa Venturini Zilli
A model with nondeterministic computation. Lambda-Calculus and Computer Science Theory (1975)
Giuseppe Longo, Marisa Venturini Zilli
Complexity of theorem-proving procedures : some general properties. RAIRO Theor. Informatics Appl. 8 (3) (1974)