Sheng-Jung Yu

According to our database, Sheng-Jung Yu authored at least 15 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design.

Inigo Incer, Apurva Badithela, Josefine B. Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Nicolas Rouquette, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

ACM Trans. Cyber Phys. Syst., January, 2025

Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback Composition.

Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli

Proceedings of the International Symposium on Formal Methods and Models for System Design, 2025

Contract-based Component Selection Using Behaviors.

Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli

Proceedings of the International Symposium on Formal Methods and Models for System Design, 2025

2023

Towards Building Verifiable CPS using Lingua Franca.

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia

ACM Trans. Embed. Comput. Syst., October, 2023

An Energy-Efficient Double Ratchet Cryptographic Processor With Backward Secrecy for IoT Devices.

Sheng-Jung Yu, Yu-Chi Lee, Liang-Hsin Lin, Chia-Hsiang Yang

IEEE J. Solid State Circuits, 2023

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design.

Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

CoRR, 2023

Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems.

Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.

Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Symbiotic CPS Design-Space Exploration through Iterated Optimization.

Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry, Sanjit A. Seshia

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

On-Chip Optical Routing With Provably Good Algorithms for Path Clustering and Assignment.

Yu-Sheng Lu, Sheng-Jung Yu, Yao-Wen Chang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Topological Structure and Physical Layout Co-Design for Wavelength-Routed Optical Networks-on-Chip.

Yu-Sheng Lu, Yan-Lin Chen, Sheng-Jung Yu, Yao-Wen Chang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

2021

A 1.18mW Double Ratchet Cryptographic Processor with Backward Secrecy for IoT Devices.

Sheng-Jung Yu, Yu-Chi Lee, Chia-Hsiang Yang

Proceedings of the IEEE Asian Solid-State Circuits Conference, 2021

2020

A Provably Good Wavelength-Division-Multiplexing-Aware Clustering Algorithm for On-Chip Optical Routing.

Yu-Sheng Lu, Sheng-Jung Yu, Yao-Wen Chang

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Topological Structure and Physical Layout Codesign for Wavelength-Routed Optical Networks-on-Chip.

Yu-Sheng Lu, Sheng-Jung Yu, Yao-Wen Chang

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Equivalent Capacitance Guided Dummy Fill Insertion for Timing and Manufacturability.

Sheng-Jung Yu, Chen-Chien Kao, Chia-Han Huang, Iris Hui-Ru Jiang

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020