| Hierarchical Contract-Based Synthesis for Assurance Cases | 0 | 0.34 | 2022 |
| Towards a Formal Treatment of Logic Locking. | 0 | 0.34 | 2022 |
| Enhancing Sat-Attack Resiliency And Cost-Effectiveness Of Reconfigurable-Logic-Based Circuit Obfuscation | 0 | 0.34 | 2021 |
| A Sample-Efficient Algorithm For Episodic Finite-Horizon Mdp With Constraints | 0 | 0.34 | 2021 |
| ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering | 0 | 0.34 | 2021 |
| SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme | 0 | 0.34 | 2020 |
| Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures | 1 | 0.37 | 2020 |
| CROME: Contract-Based Robotic Mission Specification | 0 | 0.34 | 2020 |
| Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems | 0 | 0.34 | 2020 |
| Deep Learning-Based Circuit Recognition Using Sparse Mapping And Level-Dependent Decaying Sum Circuit Representations | 0 | 0.34 | 2019 |
| Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design. | 0 | 0.34 | 2019 |
| Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design | 0 | 0.34 | 2019 |
| Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019 | 0 | 0.34 | 2019 |
| Secure and Trustworthy Cyber-Physical System Design - A Cross-Layer Perspective. | 0 | 0.34 | 2019 |
| Session details: Lifetime Achievement Award Tribute to Professor Alberto Sangiovanni-Vicentelli | 0 | 0.34 | 2019 |
| Security-driven metrics and models for efficient evaluation of logic encryption schemes | 0 | 0.34 | 2019 |
| From Electronic Design Automation to Cyber-Physical System Design Automation - A Tale of Platforms and Contracts. | 1 | 0.37 | 2019 |
| SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. | 12 | 0.57 | 2018 |
| Design Automation for Smart Building Systems. | 1 | 0.37 | 2018 |
| Hierarchical System Design with Vertical Contracts. | 0 | 0.34 | 2018 |
| Chase: Contract-Based Requirement Engineering For Cyber-Physical System Design | 1 | 0.35 | 2018 |
| SMC: Satisfiability Modulo Convex Programming. | 1 | 0.40 | 2018 |
| Online Computation Of Polytopic Flexibility Models For Demand Shifting Applications | 0 | 0.34 | 2017 |
| SMC: Satisfiability Modulo Convex Optimization. | 6 | 0.48 | 2017 |
| Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. | 29 | 1.03 | 2017 |
| ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. | 0 | 0.34 | 2017 |
| Optimized Design of a Human Intranet Network. | 0 | 0.34 | 2017 |
| Stochastic contracts for cyber-physical system design under probabilistic requirements. | 7 | 0.43 | 2017 |
| Linear Temporal Logic Motion Planning For Teams Of Underactuated Robots Using Satisfiability Modulo Convex Programming | 1 | 0.35 | 2017 |
| Scalable Lazy Smt-Based Motion Planning | 0 | 0.34 | 2016 |
| Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. | 7 | 0.48 | 2016 |
| Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving | 12 | 0.68 | 2015 |
| A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks | 0 | 0.34 | 2015 |
| A Contract-based Framework for Integrated Demand Response Management in Smart Grids. | 1 | 0.35 | 2015 |
| Optimized selection of reliable and cost-effective cyber-physical system architectures | 4 | 0.46 | 2015 |
| A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration | 4 | 0.44 | 2015 |
| A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems | 24 | 1.08 | 2015 |
| Library-based scalable refinement checking for contract-based design | 9 | 0.49 | 2014 |
| Contract-based design of control protocols for safety-critical cyber-physical systems | 4 | 0.40 | 2014 |
| Let's Get Physical: Computer Science Meets Systems. | 2 | 0.36 | 2014 |
| Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. | 5 | 0.44 | 2014 |
| A Contract-Based Methodology for Aircraft Electric Power System Design | 46 | 2.04 | 2014 |
| Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems. | 0 | 0.34 | 2013 |
| Optimal load management system for Aircraft Electric Power distribution | 6 | 0.53 | 2013 |
| A 6-Bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS | 20 | 1.43 | 2012 |
| Robustness in analog systems: Design techniques, methodologies and tools. | 6 | 0.62 | 2011 |
| A platform-based methodology for system-level mixed-signal design | 2 | 0.46 | 2010 |
| Design methodologies and innovative architectures for mixed-signal embedded systems | 2 | 0.47 | 2010 |
| An 11.6-19.3mW 0.375-13.6GHz CMOS frequency synthesizer with rail-to-rail operation | 0 | 0.34 | 2010 |
| CalCS: SMT solving for non-linear convex constraints | 24 | 1.10 | 2010 |
