2 citations · 3 across the 2 of their papers we have counts for
3 papers
cs.LO2022★ 1 cited
A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A
David Greve, Jennifer Davis, Laura Humphrey
The decentralized perimeter surveillance system (DPSS) seeks to provide a decentralized protocol for evenly distributing surveillance of a perimeter over time across an ensemble of…
cs.SE2020★ 2 cited
Synthesis of Infinite-State Systems with Random Behavior
Andreas Katis, Grigory Fedyukovich, Jeffrey Chen +3
Diversity in the exhibited behavior of a given system is a desirable characteristic in a variety of application contexts. Synthesis of conformant implementations often proceeds by…
cs.LO2018
Trapezoidal Generalization over Linear Constraints
David Greve, Andrew Gacek
We are developing a model-based fuzzing framework that employs mathematical models of system behavior to guide the fuzzing process. Whereas traditional fuzzing frameworks generate…