Yu Bai

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