Search the dblp DataBase

Publications of Author

1. Stefan Ratschan
   Continuous First-Order Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
   AISC, 2002, pp:181-195 [Conf]
   
2. Stefan Ratschan, Zhikun She
   Constraints for Continuous Reachability in the Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   AISC, 2006, pp:196-210 [Conf]
   
3. Werner Damm, Guilherme Pinto, Stefan Ratschan
   Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   ATVA, 2005, pp:99-113 [Conf]
   
4. Stefan Ratschan
   Continuous First-Order Constraint Satisfactionwith Equality and Disequality Constraints. [Citation Graph (0, 0)][DBLP]
   CP, 2002, pp:680-685 [Conf]
   
5. Stefan Ratschan
   Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities. [Citation Graph (0, 0)][DBLP]
   CP, 2003, pp:615-633 [Conf]
   
6. Stefan Ratschan, Zhikun She
   Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
   HSCC, 2005, pp:573-589 [Conf]
   
7. Stefan Ratschan, Luc Jaulin
   Solving Composed First-Order Constraints from Discrete-Time Robust Control [Citation Graph (0, 0)][DBLP]
   CoRR, 2001, v:0, n:, pp:- [Journal]
   
8. Stefan Ratschan
   Convergent Approximate Solving of First-Order Constraints by Approximate Quantifiers [Citation Graph (0, 0)][DBLP]
   CoRR, 2001, v:0, n:, pp:- [Journal]
   
9. Stefan Ratschan
   Efficient Solving of Quantified Inequality Constraints over the Real Numbers [Citation Graph (0, 0)][DBLP]
   CoRR, 2002, v:0, n:, pp:- [Journal]
   
10. Werner Damm, Guilherme Pinto, Stefan Ratschan
    Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:63-86 [Journal]
    
11. Stefan Ratschan
    Quantified Constraints Under Perturbation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2002, v:33, n:4, pp:493-505 [Journal]
    
12. Stefan Ratschan
    Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:9, pp:861-880 [Journal]
    
13. Luc Jaulin, Stefan Ratschan, Laurent Hardouin
    Set Computation for Nonlinear Control. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2004, v:10, n:1, pp:1-26 [Journal]
    
14. Stefan Ratschan
    Approximate Quantified Constraint Solving by Cylindrical Box Decomposition. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2002, v:8, n:1, pp:21-42 [Journal]
    
15. Stefan Ratschan, Zhikun She
    Safety verification of hybrid systems by constraint propagation-based abstraction refinement. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2007, v:6, n:1, pp:- [Journal]
    
16. Stefan Ratschan
    Efficient solving of quantified inequality constraints over the real numbers. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:4, pp:723-748 [Journal]
    
17. Stefan Ratschan
    Convergent approximate solving of first-order constraints by approximate quantifiers. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:2, pp:264-281 [Journal]
    
18. 
    Safety Verification for Probabilistic Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
19. 
    Recursive and Backward Reasoning in the Verification on Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
20. 
    Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable. [Citation Graph (, )][DBLP]
    
    
21. 
    Language-Based Abstraction Refinement for Hybrid System Verification. [Citation Graph (, )][DBLP]
    
    
22. 
    Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. [Citation Graph (, )][DBLP]