Sheng-Jung Yu

15 papers A* 2C 4Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 C conf
Contract-based Component Selection Using Behaviors.
MEMOCODE
Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli
2025 C conf
Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback Composition.
MEMOCODE
Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli
2025 J jnl
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design.
ACM Trans. Cyber Phys. Syst.
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
2023 J jnl
An Energy-Efficient Double Ratchet Cryptographic Processor With Backward Secrecy for IoT Devices.
IEEE J. Solid State Circuits
Sheng-Jung Yu, Yu-Chi Lee, Liang-Hsin Lin, Chia-Hsiang Yang
2023 C conf
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems.
MEMOCODE
Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
2023 C conf
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.
MEMOCODE
Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
2023 J jnl
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design.
CoRR
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
2023 — conf
Symbiotic CPS Design-Space Exploration through Iterated Optimization.
CPS-IoT Week Workshops
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
2023 J jnl
Towards Building Verifiable CPS using Lingua Franca.
ACM Trans. Embed. Comput. Syst.
Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
2022 J jnl
On-Chip Optical Routing With Provably Good Algorithms for Path Clustering and Assignment.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yu-Sheng Lu, Sheng-Jung Yu, Yao-Wen Chang
2022 J jnl
Topological Structure and Physical Layout Co-Design for Wavelength-Routed Optical Networks-on-Chip.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yu-Sheng Lu, Yan-Lin Chen, Sheng-Jung Yu, Yao-Wen Chang
2021 — conf
A 1.18mW Double Ratchet Cryptographic Processor with Backward Secrecy for IoT Devices.
A-SSCC
Sheng-Jung Yu, Yu-Chi Lee, Chia-Hsiang Yang
2020 A* conf
A Provably Good Wavelength-Division-Multiplexing-Aware Clustering Algorithm for On-Chip Optical Routing.
DAC
Yu-Sheng Lu, Sheng-Jung Yu, Yao-Wen Chang
2020 — conf
Equivalent Capacitance Guided Dummy Fill Insertion for Timing and Manufacturability.
ASP-DAC
Sheng-Jung Yu, Chen-Chien Kao, Chia-Han Huang, Iris Hui-Ru Jiang
2020 A* conf
Topological Structure and Physical Layout Codesign for Wavelength-Routed Optical Networks-on-Chip.
DAC
Yu-Sheng Lu, Sheng-Jung Yu, Yao-Wen Chang