5 citations · 9 across the 5 of their papers we have counts for
5 papers
Logic Column 12: Logical Verification and Equational Verification
Riccardo Pucella
This article examines two approaches to verification, one based on using a logic for expressing properties of a system, and one based on showing the system equivalent to a simpler…
Logic Column 11: The Finite and the Infinite in Temporal Logic
Riccardo Pucella
This article examines the interpretation of the LTL temporal operators over finite and infinite sequences. This is used as the basis for deriving a sound and complete axiomatizatio…
On Partially Additive Kleene Algebras
Riccardo Pucella
We define the notion of a partially additive Kleene algebra, which is a Kleene algebra where the + operation need only be partially defined. These structures formalize a number of…
A Framework for Creating Natural Language User Interfaces for Action-Based Applications
Stephen Chong, Riccardo Pucella
In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent componen…
Validating a Web Service Security Abstraction by Typing
Andrew D. Gordon, Riccardo Pucella
An XML web service is, to a first approximation, an RPC service in which requests and responses are encoded in XML as SOAP envelopes, and transported over HTTP. We consider the pro…