| A survey on fault diagnosis approaches for rolling bearings of railway vehicles G Yan, J Chen, Y Bai, C Yu, C Yu Processes 10 (4), 724, 2022 | 40 | 2022 |
| Wind turbine bearing temperature forecasting using a new data-driven ensemble approach G Yan, C Yu, Y Bai Machines 9 (11), 248, 2021 | 17 | 2021 |
| A new hybrid ensemble deep learning model for train axle temperature short term forecasting G Yan, C Yu, Y Bai Machines 9 (12), 312, 2021 | 15 | 2021 |
| Data-flow analysis of extended finite state machines Y Bai, J Brandt, K Schneider 2011 Eleventh International Conference on Application of Concurrency to …, 2011 | 11 | 2011 |
| Monitoring distributed reactive systems Y Bai, J Brandt, K Schneider 2012 IEEE International High Level Design Validation and Test Workshop …, 2012 | 8 | 2012 |
| From clock-driven to data-driven models Y Bai, K Schneider, N Bhardwaj, B Katti, T Shazadi 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014 | 7 | 2014 |
| Preservation of LTL properties in desynchronized systems Y Bai, J Brandt, K Schneider Tenth ACM/IEEE International Conference on Formal Methods and Models for …, 2012 | 7 | 2012 |
| Isochronous networks by construction Y Bai, K Schneider 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014 | 6 | 2014 |
| Passive code in synchronous programs J Brandt, K Schneider, Y Bai ACM Transactions on Embedded Computing Systems (TECS) 13 (2s), 1-25, 2014 | 6 | 2014 |
| A Multi-Factor Driven Model for Locomotive Axle Temperature Prediction Based on Multi-Stage Feature Engineering and Deep Learning Framework G Yan, Y Bai, C Yu, C Yu Machines 10 (9), 759, 2022 | 5 | 2022 |
| SMT-based optimization for synchronous programs Y Bai, J Brandt, K Schneider Proceedings of the 14th International Workshop on Software and Compilers for …, 2011 | 5 | 2011 |
| Model-based design of embedded systems by desynchronization Y Bai Technische Universität Kaiserslautern, 2016 | 4 | 2016 |
| A model-based design flow for asynchronous implementations from synchronous specifications Y Bai, O Rafique, K Schneider 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 862-867, 2021 | 3 | 2021 |
| Desynchronization: From macro-step to micro-step Y Bai 2018 16th ACM/IEEE International Conference on Formal Methods and Models for …, 2018 | 3 | 2018 |
| Reducing the communication of message-passing systems synthesized from synchronous programs D Baudisch, Y Bai, K Schneider 2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014 | 3 | 2014 |
| Dependency analysis of synchronous programming languages Y Bai Master's thesis, Department of Computer Science, University of …, 2010 | 3 | 2010 |
| ReInstancer: automatically refactoring for instanceof pattern matching S Hong, Y Zhang, C Li, Y Bai Proceedings of the ACM/IEEE 44th International Conference on Software …, 2022 | 2 | 2022 |
| Efficient implementation of heterogeneous dataflow models using synchronous IO patterns O Rafique, Y Bai, K Schneider, G Yan 2021 24th Euromicro Conference on Digital System Design (DSD), 82-89, 2021 | 2 | 2021 |
| Synthesis of heterogeneous dataflow models from synchronous specifications O Rafique, Y Bai, K Schneider, G Yan 2021 IEEE 45th Annual Computers, Software, and Applications Conference …, 2021 | 2 | 2021 |
| Synthesis of Distributed Synchronous Specifications to SysteMoC. MAB Khadra, Y Bai, K Schneider MBMV, 71-81, 2014 | 1 | 2014 |
