Login / Signup
John Ostwald
Publication Activity (10 Years)
Years Active: 2005-2015
Publications (10 Years): 0
Top Topics
Transition Systems
Automated Verification
Model Checking
Computation Tree Logic
Top Venues
CSI-SE
</>
Publications
</>
Kerry Moffitt
,
John Ostwald
,
Ron Watro
,
Eric Church
Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games.
CSI-SE
(2015)
John Ostwald
,
Victor R. Lesser
,
Sherief Abdallah
Combinatorial Auction for Resource Allocation in a Distributed Sensor Network.
RTSS
(2005)