# | | Year | Author(s) [non member] | Editor(s) [non member] | | Title | Type | |
1 |
| Radermacher, F. J. |
| |
1 |
| |
3 |
| Rajamani, Sriram K. |
| |
1 |
| |
1 |
| Ramakrishnan, I.V. (ed.) |
| |
1 |
| |
1 |
| Ramanujam, R (ed.) |
| |
1 |
| |
1 |
| Raskin, Jean-François |
| |
1 |
| |
1 |
| Ras, Z. (ed.) |
| |
12 |
| |
| | 2007 | Ratschan, Stefan
She, Zhikun | | | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23 | Journal Article | |
| | 2006 | Ratschan, Stefan | | | Efficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748 | Journal Article | |
| | 2006 | Ratschan, Stefan
She, Zhikun | [Calmet, Jacques]
[Ida, Tetsuo]
[Wang, Dongming] | | Constraints for Continuous Reachability in the Verification of Hybrid Systems
In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, 196-210 | Proceedings Article | |
| | 2006 | Ratschan, Stefan
[Smaus, Jan-Georg] | [Cassandras, Christos]
[Giua, Alessandro]
[Seatzu, Carla]
[Zaytoon, Janan] | | Verification-Integrated Falsification of Non-Deterministic Hybrid Systems
In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ? | Proceedings Article | |
| | 2006 | She, Zhikun
Ratschan, Stefan | | | Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions
In: 4th IEEE International Conference on Computational Cybernetics, 245-249 | Proceedings Article | |
| | 2005 | [Damm, Werner]
Pinto, Guilherme
Ratschan, Stefan | [Peled, Doron A]
[Tsay, Yih-Kuen] | | Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, 99-113 | Proceedings Article | |
| | 2005 | Ratschan, Stefan | [Dolzmann, Andreas]
[Seidl, Andreas]
[Sturm, Thomas] | | Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems
In: Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning, 213-216 | Proceedings Article | |
| | 2005 | Ratschan, Stefan
She, Zhikun | Morari, Manfred
Thiele, Lothar | | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, 573-589 | Proceedings Article | |
| | 2004 | [Jaulin, Luc]
Ratschan, Stefan
[Hardouin, Laurent] | | | Set Computation for Nonlinear Control
In: Reliable Computing [10], 1-26 | Journal Article | |
| | 2004 | Ratschan, Stefan | | | Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers
In: ACM Transactions on Computational Logic [5], 264-281 | Journal Article | |
| | 2004 | Ratschan, Stefan
Vehi, Josep | [Bittanti, Sergio] | | Robust Pole Clustering of Parametric Uncertain Systems Using Interval Methods
In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, 323-328 | Proceedings Article | |
| | 2003 | Ratschan, Stefan | [Rossi, Francesca] | | Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities
In: Principles and practice on constraint programming - CP 2003 : 9th International Conference, CP 2003, 615-633 | Proceedings Article | |
1 |
| Rattray, Charles (ed.) |
| |
2 |
| |
1 |
| Reggio, Gianna (ed.) |
| |
1 |
| |
1 |
| Reischuk, Rüdiger (ed.) |
| |
1 |
| |