Marisa Venturini Zilli

28 papers A* 2B 3C 1Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2006 J jnl
Finite horizon analysis of Markov Chains with the Murphi verifier.
Int. J. Softw. Tools Technol. Transf.
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2004 B conf
Bounded Probabilistic Model Checking with the Mur
FMCAD
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2004 J jnl
Exploiting transition locality in automatic verification of finite-state concurrent systems.
Int. J. Softw. Tools Technol. Transf.
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.
HSCC
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier.
CHARME
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier.
ICTCS
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Integrating RAM and Disk Based Verification within the Mur-phi Verifier.
CHARME
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 J jnl
Synchronized regular expressions.
Acta Informatica
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
2002 B conf
Exploiting Transition Locality in the Disk Based Mur phi Verifier.
FMCAD
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
2001 C conf
A Probabilistic Approach to Automatic Verification of Concurrent Systems.
APSEC
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
2001 — conf
Exploiting Transition Locality in Automatic Verification.
CHARME
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
2001 — conf
Synchronized Regular Expressions.
TOSCA
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
1999 J jnl
A Comprehensive Setting for Matching and Unification over Iterative Terms.
Fundam. Informaticae
Benedetto Intrigila, Paola Inverardi, Marisa Venturini Zilli
1999 J jnl
Orders, Reduction Graphs and Spectra.
Theor. Comput. Sci.
Benedetto Intrigila, Marisa Venturini Zilli
1996 J jnl
A Remark on Infinite Matching vs Infinite Unification.
J. Symb. Comput.
Benedetto Intrigila, Marisa Venturini Zilli
1994 B conf
Rational Rewriting.
MFCS
Paola Inverardi, Marisa Venturini Zilli
1993 J jnl
Generalizations of Unification.
J. Symb. Comput.
Alessandro Berarducci, Marisa Venturini Zilli
1990 J jnl
Net Algebras on Process Algebras.
J. Inf. Process. Cybern.
Marisa Venturini Zilli
1987 — ed.
Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings
Mathematical Models for the Semantics of Parallelism
Marisa Venturini Zilli
1985 J jnl
While-Programs with Nondeterministic Assignments and the Logic Alna.
Theor. Comput. Sci.
Gianfranco Mascari, Marisa Venturini Zilli
1984 J jnl
Reduction Graphs in the Lambda Calculus.
Theor. Comput. Sci.
Marisa Venturini Zilli
1984 — conf
Transition graphs semantics and languages.
Symposium on Computation Theory
Marisa Venturini Zilli
1983 — conf
Cofinality in Reduction Graphs.
CAAP
Marisa Venturini Zilli
1980 J jnl
A
Arch. Math. Log.
Giuseppe Longo, Marisa Venturini Zilli
1978 A* conf
Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form.
ICALP
Marisa Venturini Zilli
1976 A* conf
A Theory of Computation with an Identity Discriminator.
ICALP
Giuseppe Longo, Marisa Venturini Zilli
1975 — conf
A model with nondeterministic computation.
Lambda-Calculus and Computer Science Theory
Marisa Venturini Zilli
1974 J jnl
Complexity of theorem-proving procedures : some general properties.
RAIRO Theor. Informatics Appl.
Giuseppe Longo, Marisa Venturini Zilli