ICCAD / IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design Journal

Overview

publication venue for

Verifying Conformance of Neural Network Models. 2019
Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems 2015
From Statistical Model Checking to Statistical Model Inference: Characterizing the Effect of Process Variations in Analog Circuits 2013
Modeling and Design Automation of Biological Circuits and Systems 2012