7 citations · 16 across the 6 of their papers we have counts for
6 papers
Deploying ZKP Frameworks with Real-World Data: Challenges and Proposed Solutions
Piergiuseppe Mallozzi
Zero-knowledge proof (ZKP) frameworks have the potential to revolutionize the handling of sensitive data in various domains. However, deploying ZKP frameworks with real-world data…
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Nir Piterman +2
Effectively specifying and implementing robotic missions poses a set of challenges to software engineering for robotic systems. These challenges stem from the need to formalize and…
Context-Aided Variable Elimination for Requirement Engineering
Inigo Incer, Albert Benveniste, Richard M. Murray +2
Deriving system-level specifications from component specifications usually involves the elimination of variables that are not part of the interface of the top-level system. This pa…
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Inigo Incer, Apurva Badithela, Josefine Graebener +8
Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalabl…
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer +2
We propose a context-sensitive grammar for the systematic exploration of the design space of the topology of 3D robots, particularly unmanned aerial vehicles. It defines production…
Contract-Based Specification Refinement and Repair for Mission Planning
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo +1
We address the problem of modeling, refining, and repairing formal specifications for robotic missions using assume-guarantee contracts. We show how to model mission specifications…