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 |