Sotabase

Career

· Assoc. Professor, Boston Univ.

Publications (183)

Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2017
140
cited
Reverse Engineering Digital Circuits Using Structural and Functional Analyses
IEEE Transactions on Emerging Topics in Computing · 2014
135
cited
Synthesis for Human-in-the-Loop Control Systems
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2014
127
cited
Verification-Guided Soft Error Resilience
2007 Design, Automation & Test in Europe Conference & Exhibition · 2007
120
cited
Scalable specification mining for verification and diagnosis
Design Automation Conference · 2010
119
cited
Super-Resolution Surface Mapping for Scanning Radar: Inverse Filtering Based on the Fast Iterative Adaptive Approach
IEEE Transactions on Geoscience and Remote Sensing · 2018
118
cited
Mining assumptions for synthesis
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) · 2011
108
cited
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
International Conference on Computer Aided Verification · 2013
108
cited
TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning
Design Automation Conference · 2020
102
cited
WordRev: Finding word-level structures in a sea of bit-level gates
IEEE International Symposium on Hardware Oriented Security and Trust · 2013
101
cited
Reverse engineering circuits using behavioral pattern mining
IEEE International Symposium on Hardware Oriented Security and Trust · 2012
94
cited
Maximum a posteriori–based angular superresolution for scanning radar imaging
IEEE Transactions on Aerospace and Electronic Systems · 2014
93
cited
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior
AAAI Spring Symposia · 2014
85
cited
Physical Activity Monitoring for Assisted Living at Home
International Conference on Wearable and Implantable Body Sensor Networks · 2007
79
cited
Motion Errors and Compensation for Bistatic Forward-Looking SAR With Cubic-Order Processing
IEEE Transactions on Geoscience and Remote Sensing · 2016
69
cited
A first experiment of airborne bistatic forward-looking SAR - Preliminary results
IEEE International Geoscience and Remote Sensing Symposium · 2013
62
cited
A Fast Iterative Adaptive Approach for Scanning Radar Angular Superresolution
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing · 2015
61
cited
TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents
arXiv.org · 2019
60
cited
TV-Sparse Super-Resolution Method for Radar Forward-Looking Imaging
IEEE Transactions on Geoscience and Remote Sensing · 2020
56
cited
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance
Formal Methods in Computer-Aided Design · 2008
52
cited
Sotabase