Yu Bai

According to our database, Yu Bai authored at least 14 papers between 2011 and 2021.

Collaborative distances:

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

2021

Efficient Implementation of Heterogeneous Dataflow Models using Synchronous IO Patterns.

Omair Rafique, Yu Bai, Klaus Schneider, Guangxi Yan

Proceedings of the 24th Euromicro Conference on Digital System Design, 2021

A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications.

Yu Bai, Omair Rafique, Klaus Schneider

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Synthesis of Heterogeneous Dataflow Models from Synchronous Specifications.

Omair Rafique, Yu Bai, Klaus Schneider, Guangxi Yan

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2016

Model-based Design of Embedded Systems by Desynchronization.

Yu Bai

PhD thesis, 2016

2014

Passive code in synchronous programs.

Jens Brandt, Klaus Schneider, Yu Bai

ACM Trans. Embed. Comput. Syst., 2014

High level modeling of elastic circuits in SystemC.

Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider

Proceedings of the 2014 Spring Simulation Multiconference, 2014

Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs.

Daniel Baudisch, Yu Bai, Klaus Schneider

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

From clock-driven to data-driven models.

Yu Bai, Klaus Schneider, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Synthesis of Distributed Synchronous Specifications to SysteMoC.

Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Isochronous networks by construction.

Yu Bai, Klaus Schneider

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2012

Preservation of LTL properties in desynchronized systems.

Yu Bai, Jens Brandt, Klaus Schneider

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

Monitoring distributed reactive systems.

Yu Bai, Jens Brandt, Klaus Schneider

Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

2011

SMT-based optimization for synchronous programs.

Yu Bai, Jens Brandt, Klaus Schneider

Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, 2011

Data-Flow Analysis of Extended Finite State Machines.

Yu Bai, Jens Brandt, Klaus Schneider

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011