| emsoft | participants

James Kapinski

Program Committees:
2017 and 2019
.

EMSOFT 2016: 16th International Conference on Embedded Software

Underminer: A Framework for Automatically Identifying Non-Converging Behaviors in Black Box System Models

Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, and James Kapinski

Locally Optimal Reach Set Over-Approximation for Nonlinear Systems

Chuchu Fan, James Kapinski, Xiaoqing Jin, and Sayan Mitra

EMSOFT 2015: 15th International Conference on Embedded Software

Forward Invariant Cuts to Simplify Proofs of Safety

Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, and Bruce H. Krogh

EMSOFT 2014: 14th International Conference on Embedded Software

Multiple Shooting, CEGAR-Based Falsification for Hybrid Systems

Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, and James Kapinski