2 papers
cs.PL2016
Horn Binary Serialization Analysis
Gabriele Paganelli
A bit layout is a sequence of fields of certain bit lengths that specifies how to interpret a serial stream, e.g., the MP3 audio format. A layout with variable length fields needs…
cs.CL2014
A CNL for Contract-Oriented Diagrams
John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
We present a first step towards a framework for defining and manipulating normative documents or contracts described as Contract-Oriented (C-O) Diagrams. These diagrams provide a v…