Lina Ye

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Active prediction for discrete event systems	2026-03-23	Paper
An approximation-based incremental SMT approach for diagnosability analysis of real-time systems Discrete Event Dynamic Systems	2025-10-22	Paper
About decisiveness of dynamic probabilistic models	2025-06-26	Paper
Introducing divergence for infinite probabilistic models	2024-10-23	Paper
Analyzing robustness of Angluin's \(L^\) algorithm in presence of noise Logical Methods in Computer Science*	2024-06-27	Paper
Analyzing robustness of Angluin's \(\mathrm{L}^\ast\) algorithm in presence of noise (available as arXiv preprint)	2024-02-08	Paper
Analyzing robustness of Angluin's \(\mathrm{L}^\ast\) algorithm in presence of noise	2024-02-08	Paper
Philosophers May Dine - Definitively!	2023-03-21	Paper
Property-directed verification and robustness certification of recurrent neural networks	2022-06-22	Paper
Abstractions Refinement for Hybrid Systems Diagnosability Analysis Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems	2020-08-20	Paper
An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures IEEE Transactions on Automatic Control	2017-07-27	Paper
Automated analysis of asynchronously communicating systems Model Checking Software	2016-06-22	Paper
Debugging process algebra specifications Lecture Notes in Computer Science	2015-02-04	Paper
Numerical method based on the lattice Boltzmann model for the Kuramoto-Sivashinsky equation Journal of Scientific Computing	2012-04-12	Paper
Diagnosability Analysis of Discrete Event Systems with Autonomous Components	2011-05-11	Paper

Research outcomes over time

This page was built for person: Lina Ye