Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lina Ye
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
Related publications
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
International Journal of Foundations of Computer Science
Computer Science
Interference Analysis for Dependable Systems Using Refinement and Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learning by Ng: Systematic Abstraction Refinement for Hybrid Control Synthesis
IEE Proceedings - Control Theory and Applications
Monotonic Abstraction-Refinement for CTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extraction of Abstraction Invariants for Data Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Component-Based Abstraction and Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Abstraction Refinement for Program Analyses in Datalog
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
