Yu Bai

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 3

Top Venues

MEMOCODE

DATE

ACM Trans. Embed. Comput. Syst.

SpringSim (TMS-DEVS)

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Yu Bai, Omair Rafique, Klaus Schneider
A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications. DATE (2021)
Omair Rafique, Yu Bai, Klaus Schneider, Guangxi Yan
Synthesis of Heterogeneous Dataflow Models from Synchronous Specifications. COMPSAC (2021)
Omair Rafique, Yu Bai, Klaus Schneider, Guangxi Yan
Efficient Implementation of Heterogeneous Dataflow Models using Synchronous IO Patterns. DSD (2021)
Daniel Baudisch, Yu Bai, Klaus Schneider
Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs. PDP (2014)
Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider
Synthesis of Distributed Synchronous Specifications to SysteMoC. MBMV (2014)
Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider
High level modeling of elastic circuits in SystemC. SpringSim (TMS-DEVS) (2014)
Jens Brandt, Klaus Schneider, Yu Bai
Passive code in synchronous programs. ACM Trans. Embed. Comput. Syst. 13 (2s) (2014)
Yu Bai, Klaus Schneider, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi
From clock-driven to data-driven models. MEMOCODE (2014)
Yu Bai, Klaus Schneider
Isochronous networks by construction. DATE (2014)
Yu Bai, Jens Brandt, Klaus Schneider
Monitoring distributed reactive systems. HLDVT (2012)
Yu Bai, Jens Brandt, Klaus Schneider
Preservation of LTL properties in desynchronized systems. MEMOCODE (2012)
Yu Bai, Jens Brandt, Klaus Schneider
SMT-based optimization for synchronous programs. SCOPES (2011)
Yu Bai, Jens Brandt, Klaus Schneider
Data-Flow Analysis of Extended Finite State Machines. ACSD (2011)

Yu Bai.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yu Bai