3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2020★ 3 cited
Test4Enforcers: Test Case Generation for Software Enforcers
Michell Guzman, Oliviero Riganelli, Daniela Micucci +1
Software enforcers can be used to modify the runtime behavior of software applications to guarantee that relevant correctness policies are satisfied. Indeed, the implementation of…
cs.MA2020★ 1 cited
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
Michell Guzmán, Sophia Knight, Santiago Quintero +3
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about t…