Sheng-Jung Yu

Orcid: 0000-0003-2585-9586

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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...