Sheng-Jung Yu

Orcid: 0000-0003-2585-9586

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design.
ACM Trans. Cyber Phys. Syst., January, 2025

2023
Towards Building Verifiable CPS using Lingua Franca.
ACM Trans. Embed. Comput. Syst., October, 2023

An Energy-Efficient Double Ratchet Cryptographic Processor With Backward Secrecy for IoT Devices.
IEEE J. Solid State Circuits, 2023

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

Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems.
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.
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.
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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Topological Structure and Physical Layout Co-Design for Wavelength-Routed Optical Networks-on-Chip.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

2021
A 1.18mW Double Ratchet Cryptographic Processor with Backward Secrecy for IoT Devices.
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.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Topological Structure and Physical Layout Codesign for Wavelength-Routed Optical Networks-on-Chip.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Equivalent Capacitance Guided Dummy Fill Insertion for Timing and Manufacturability.
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020


  Loading...