publication venue for Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems 2021 Design of Mixed-Signal Systems With Asynchronous Control 2016 Guest Editors' Introduction: Challenges and Opportunities in Analog/Mixed-Signal CAD 2016
