| 2007 |
|---|
| 19 | EE | Felix Klaedtke,
Stefan Ratschan,
Zhikun She:
Language-Based Abstraction Refinement for Hybrid System Verification.
VMCAI 2007: 151-166 |
| 18 | EE | Stefan Ratschan,
Zhikun She:
Safety verification of hybrid systems by constraint propagation-based abstraction refinement.
ACM Trans. Embedded Comput. Syst. 6(1): (2007) |
| 17 | EE | Werner Damm,
Guilherme Pinto,
Stefan Ratschan:
Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems.
Int. J. Found. Comput. Sci. 18(1): 63-86 (2007) |
| 16 | EE | Martin Fränzle,
Christian Herde,
Tino Teige,
Stefan Ratschan,
Tobias Schubert:
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.
JSAT 1(3-4): 209-236 (2007) |
| 2006 |
|---|
| 15 | EE | Stefan Ratschan,
Zhikun She:
Constraints for Continuous Reachability in the Verification of Hybrid Systems.
AISC 2006: 196-210 |
| 14 | EE | Stefan Ratschan:
Efficient solving of quantified inequality constraints over the real numbers.
ACM Trans. Comput. Log. 7(4): 723-748 (2006) |
| 2005 |
|---|
| 13 | EE | Werner Damm,
Guilherme Pinto,
Stefan Ratschan:
Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems.
ATVA 2005: 99-113 |
| 12 | EE | Stefan Ratschan,
Zhikun She:
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement.
HSCC 2005: 573-589 |
| 2004 |
|---|
| 11 | EE | Stefan Ratschan:
Convergent approximate solving of first-order constraints by approximate quantifiers.
ACM Trans. Comput. Log. 5(2): 264-281 (2004) |
| 10 | EE | Luc Jaulin,
Stefan Ratschan,
Laurent Hardouin:
Set Computation for Nonlinear Control.
Reliable Computing 10(1): 1-26 (2004) |
| 2003 |
|---|
| 9 | EE | Stefan Ratschan:
Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities.
CP 2003: 615-633 |
| 2002 |
|---|
| 8 | EE | Stefan Ratschan:
Continuous First-Order Constraint Satisfaction.
AISC 2002: 181-195 |
| 7 | EE | Stefan Ratschan:
Continuous First-Order Constraint Satisfactionwith Equality and Disequality Constraints.
CP 2002: 680-685 |
| 6 | EE | Stefan Ratschan:
Efficient Solving of Quantified Inequality Constraints over the Real Numbers
CoRR cs.LO/0211016: (2002) |
| 5 | EE | Stefan Ratschan:
Quantified Constraints Under Perturbation.
J. Symb. Comput. 33(4): 493-505 (2002) |
| 4 | EE | Stefan Ratschan:
Approximate Quantified Constraint Solving by Cylindrical Box Decomposition.
Reliable Computing 8(1): 21-42 (2002) |
| 2001 |
|---|
| 3 | EE | Stefan Ratschan,
Luc Jaulin:
Solving Composed First-Order Constraints from Discrete-Time Robust Control
CoRR cs.LO/0105021: (2001) |
| 2 | EE | Stefan Ratschan:
Convergent Approximate Solving of First-Order Constraints by Approximate Quantifiers
CoRR cs.LO/0108013: (2001) |
| 2000 |
|---|
| 1 | EE | Stefan Ratschan:
Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving.
J. UCS 6(9): 861-880 (2000) |
