Cited By
View all- Wu YBu LWang JRen XXiong WLi X(2022)Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid AutomataVerification, Model Checking, and Abstract Interpretation10.1007/978-3-030-94583-1_23(473-495)Online publication date: 16-Jan-2022
- Zivkovic CGrimm COlbrich MScharf OBarke E(2019)Hierarchical Verification of AMS Systems With Affine Arithmetic Decision DiagramsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2018.286423838:10(1785-1798)Online publication date: 17-Sep-2019
- Cimatti AGriggio AMover STonetta S(2015)HyCompProceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 903510.1007/978-3-662-46681-0_4(52-67)Online publication date: 11-Apr-2015
- Show More Cited By