39 citations · 127 across the 31 of their papers we have counts for
14 papers · 1 filter
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…
TulaFale: A Security Tool for Web Services
Karthikeyan Bhargavan, Cedric Fournet, Andrew D. Gordon +1
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language for…
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…
On the Expressive Power of First-Order Boolean Functions in PCF
Riccardo Pucella, Prakash Panangaden
Recent results of Bucciarelli show that the semilattice of degrees of parallelism of first-order boolean functions in PCF has both infinite chains and infinite antichains. By consi…
A Framework for Interoperability
Kathleen Fisher, Riccardo Pucella, John Reppy
Practical implementations of high-level languages must provide access to libraries and system services that have APIs specified in a low-level language (usually C). An important ch…