Yu Bai

According to our database1, Yu Bai authored at least 11 papers between 2011 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Model-based Design of Embedded Systems by Desynchronization.
PhD thesis, 2016

2014
Passive code in synchronous programs.
ACM Trans. Embedded Comput. Syst., 2014

High level modeling of elastic circuits in SystemC.
Proceedings of the 2014 Spring Simulation Multiconference, 2014

Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

From clock-driven to data-driven models.
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Synthesis of Distributed Synchronous Specifications to SysteMoC.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Isochronous networks by construction.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2012
Preservation of LTL properties in desynchronized systems.
Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

Monitoring distributed reactive systems.
Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

2011
SMT-based optimization for synchronous programs.
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, 2011

Data-Flow Analysis of Extended Finite State Machines.
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011


  Loading...