5 citations · 12 across the 14 of their papers we have counts for
17 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…
Logic Column 10: Specifying Confidentiality
Riccardo Pucella
This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.
A Coalgebraic Approach to Kleene Algebra with Tests
Hubie Chen, Riccardo Pucella
Kleene algebra with tests is an extension of Kleene algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Klee…