Matthew Potok

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Bayesian Framework

Top Venues

Publications

Matthew Potok, Chien-Ying Chen, Sayan Mitra, Sibin Mohan
SDCworks: a formal framework for software defined control of smart manufacturing systems. ICCPS (2018)
Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA (2016)
Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan
C2E2: a tool for verifying annotated hybrid systems. HSCC (2015)
Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok
C2E2: A Verification Tool for Stateflow Models. TACAS (2015)