Cited By
View all- Scharf OOlbrich MBarke ETheodoropoulos G(2015)Split and merge strategies for solving uncertain equations using affine arithmeticProceedings of the 8th International Conference on Simulation Tools and Techniques10.4108/eai.24-8-2015.2260594(1-8)Online publication date: 24-Aug-2015
- Radojicic CGrimm CMoreno JPan XFettweis GNebel W(2014)Semi-symbolic analysis of mixed-signal systems including discontinuitiesProceedings of the conference on Design, Automation & Test in Europe10.5555/2616606.2616626(1-4)Online publication date: 24-Mar-2014
- Kaergel MOlbrich MBarke EDavid EOrdonez Mde Azevedo RKinget P(2014)Simulation Based Verification with Range Based Signal Representations for Mixed-Signal SystemsProceedings of the 27th Symposium on Integrated Circuits and Systems Design10.1145/2660540.2661010(1-7)Online publication date: 1-Sep-2014
- Show More Cited By