NESI, MONICA
NESI, MONICA
Dipartimento di Ingegneria e scienze dell informazione e matematica
A Rewriting Strategy for Protocol Verification
2003-01-01 Nesi, Monica; Rucci, G.; Verdesca, M.
A Rewriting Strategy for Protocol Verification (Extended Abstract)
2003-01-01 Nesi, Monica; Rucci, G.; Verdesca, M.
Adding sorts to TRSs: a result on modularity of termination
1999-01-01 Inverardi, Paola; Nesi, Monica
Combining Interaction and Automation in Process Algebra Verification
1991-01-01 Camilleri, Aj; Inverardi, Paola; Nesi, Monica
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences
1992-01-01 Boreale, M; Inverardi, Paola; Nesi, Monica
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting
1995-01-01 Inverardi, Paola; Nesi, Monica
A Declarative Framework for Adaptable Applications in Heterogeneous Environments
2004-01-01 Inverardi, Paola; Mancinelli, F; Nesi, Monica
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting
2006-01-01 Nesi, Monica; G., Nocera
Equational Reasoning about LOTOS Specifications: A Rewriting Approach
1991-01-01 Nicola, De; Inverardi, Paola; Nesi, Monica
Formalising a Value-Passing Calculus in HOL
1999-01-01 Nesi, Monica
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis
1997-01-01 Nesi, Monica
Formalization and Verification of Security Protocols by Rewriting
2005-01-01 Nesi, Monica; Nocera, G.
Formalizing a Modal Logic for CCS in the HOL Theorem Prover
1993-01-01 Nesi, Monica
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting
2005-01-01 Nesi, Monica; Rucci, G.
Infinite Normal Forms for Non-linear Term Rewriting Systems
1991-01-01 Inverardi, Paola; Nesi, Monica
Infinite Normal Forms for Non-linear Term Rewriting Systems
1995-01-01 Inverardi, Paola; Nesi, Monica
Infinite Normal Forms for Non-Linear Term Rewritting Systems
1995-01-01 Inverardi, Paola; Nesi, Monica
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences
1988-01-01 Gnesi, S; Inverardi, Paola; Nesi, Monica
Mechanising a Modal Logic for Value-Passing Agents in HOL
1997-01-01 Nesi, Monica
Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic
1992-01-01 Nesi, Monica