| Pacti: Scaling assume-guarantee reasoning for system analysis and design I Incer, A Badithela, J Graebener, P Mallozzi, A Pandey, SJ Yu, ... arXiv preprint arXiv:2303.17751, 2023 | 19 | 2023 |
| Topological Structure and Physical Layout Co-design for Wavelength-Routed Optical Networks-on-Chip YS Lu, YL Chen, SJ Yu, YW Chang IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2021 | 12 | 2021 |
| Towards building verifiable CPS using Lingua Franca S Lin, YA Manerkar, M Lohstroh, E Polgreen, SJ Yu, C Jerad, EA Lee, ... ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023 | 9 | 2023 |
| A provably good wavelength-division-multiplexing-aware clustering algorithm for on-chip optical routing YS Lu, SJ Yu, YW Chang 2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020 | 9 | 2020 |
| Equivalent capacitance guided dummy fill insertion for timing and manufacturability SJ Yu, CC Kao, CH Huang, IHR Jiang 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 133-138, 2020 | 6 | 2020 |
| An Energy-Efficient Double Ratchet Cryptographic Processor With Backward Secrecy for IoT Devices SJ Yu, YC Lee, LH Lin, CH Yang IEEE Journal of Solid-State Circuits 58 (6), 1810-1819, 2022 | 4 | 2022 |
| Symbiotic CPS Design-Space Exploration through Iterated Optimization SJ Yu, I Incer, V Prabhu, A Chattoraj, E Vin, D Fremont, A Mehta, ... Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 92-99, 2023 | 2 | 2023 |
| On-chip optical routing with provably good algorithms for path clustering and assignment YS Lu, SJ Yu, YW Chang IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2021 | 1 | 2021 |
| A 1.18 mW double ratchet cryptographic processor with backward secrecy for IoT devices SJ Yu, YC Lee, CH Yang 2021 IEEE Asian Solid-State Circuits Conference (A-SSCC), 1-3, 2021 | 1 | 2021 |
| Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design I Incer, A Badithela, JB Graebener, P Mallozzi, A Pandey, N Rouquette, ... ACM Transactions on Cyber-Physical Systems 9 (1), 1-35, 2025 | | 2025 |
| Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems SJ Yu, I Incer, A Sangiovanni-Vincentelli Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023 | | 2023 |
| Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts SJ Yu, I Incer, A Sangiovanni-Vincentelli Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023 | | 2023 |
| Method of wavelength-division-multiplexing-aware clustering for on-chip optical routing YS Lu, SJ Yu, YW Chang, CC Lin, YT Hsieh US Patent 11,177,901, 2021 | | 2021 |
Yu-Sheng LuPh.D. from GIEE, National Taiwan UniversityVerified email at eda.ee.ntu.edu.tw
