Data-Flow Analysis of Extended Finite State Machines. - Yu Bai 003; Jens Brandt 001; Klaus Schneider 001 (ACSD, 2011)

SMT-based optimization for synchronous programs. - Yu Bai 003; Jens Brandt 001; Klaus Schneider 001 (SCOPES, 2011)

Monitoring distributed reactive systems. - Yu Bai 003; Jens Brandt 001; Klaus Schneider 001 (HLDVT, 2012)

Preservation of LTL properties in desynchronized systems. - Yu Bai 003; Jens Brandt 001; Klaus Schneider 001 (MEMOCODE, 2012)

Isochronous networks by construction. - Yu Bai 003; Klaus Schneider 001 (DATE, 2014)

Synthesis of Distributed Synchronous Specifications to SysteMoC. - Mohamed Ammar Ben Khadra; Yu Bai 003; Klaus Schneider 001 (MBMV, 2014)

From clock-driven to data-driven models. - Yu Bai 003; Klaus Schneider 001; Nikita Bhardwaj; Badarinath Katti; Tania Shazadi (MEMOCODE, 2014)

Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs. - Daniel Baudisch; Yu Bai 003; Klaus Schneider 001 (PDP, 2014)

High level modeling of elastic circuits in SystemC. - Mohamed Ammar Ben Khadra; Yu Bai 003; Klaus Schneider 001 (SpringSim (TMS-DEVS), 2014)

Passive code in synchronous programs. - Jens Brandt 001; Klaus Schneider 001; Yu Bai 003 (ACM Trans. Embed. Comput. Syst., 2014)

Model-based Design of Embedded Systems by Desynchronization. - Yu Bai 003 (2016)

Synthesis of Heterogeneous Dataflow Models from Synchronous Specifications. - Omair Rafique; Yu Bai 003; Klaus Schneider 001; Guangxi Yan (COMPSAC, 2021)

A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications. - Yu Bai 003; Omair Rafique; Klaus Schneider 001 (DATE, 2021)

Efficient Implementation of Heterogeneous Dataflow Models using Synchronous IO Patterns. - Omair Rafique; Yu Bai 003; Klaus Schneider 001; Guangxi Yan (DSD, 2021)