dblp.uni-trier.dewww.uni-trier.de

Stefan Ratschan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
21EEStefan Ratschan, Jan-Georg Smaus: Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. TAP 2009: 153-168
2008
20 Stefan Ratschan, Zhikun She: Recursive and Backward Reasoning in the Verification on Hybrid Systems. ICINCO-SPSMC 2008: 65-71
2007
19EEFelix Klaedtke, Stefan Ratschan, Zhikun She: Language-Based Abstraction Refinement for Hybrid System Verification. VMCAI 2007: 151-166
18EEStefan Ratschan, Zhikun She: Safety verification of hybrid systems by constraint propagation-based abstraction refinement. ACM Trans. Embedded Comput. Syst. 6(1): (2007)
17EEWerner 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)
16EEMartin 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
15EEStefan Ratschan, Zhikun She: Constraints for Continuous Reachability in the Verification of Hybrid Systems. AISC 2006: 196-210
14EEStefan Ratschan: Efficient solving of quantified inequality constraints over the real numbers. ACM Trans. Comput. Log. 7(4): 723-748 (2006)
2005
13EEWerner 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
12EEStefan Ratschan, Zhikun She: Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. HSCC 2005: 573-589
2004
11EEStefan Ratschan: Convergent approximate solving of first-order constraints by approximate quantifiers. ACM Trans. Comput. Log. 5(2): 264-281 (2004)
10EELuc Jaulin, Stefan Ratschan, Laurent Hardouin: Set Computation for Nonlinear Control. Reliable Computing 10(1): 1-26 (2004)
2003
9EEStefan Ratschan: Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities. CP 2003: 615-633
2002
8EEStefan Ratschan: Continuous First-Order Constraint Satisfaction. AISC 2002: 181-195
7EEStefan Ratschan: Continuous First-Order Constraint Satisfactionwith Equality and Disequality Constraints. CP 2002: 680-685
6EEStefan Ratschan: Efficient Solving of Quantified Inequality Constraints over the Real Numbers CoRR cs.LO/0211016: (2002)
5EEStefan Ratschan: Quantified Constraints Under Perturbation. J. Symb. Comput. 33(4): 493-505 (2002)
4EEStefan Ratschan: Approximate Quantified Constraint Solving by Cylindrical Box Decomposition. Reliable Computing 8(1): 21-42 (2002)
2001
3EEStefan Ratschan, Luc Jaulin: Solving Composed First-Order Constraints from Discrete-Time Robust Control CoRR cs.LO/0105021: (2001)
2EEStefan Ratschan: Convergent Approximate Solving of First-Order Constraints by Approximate Quantifiers CoRR cs.LO/0108013: (2001)
2000
1EEStefan Ratschan: Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving. J. UCS 6(9): 861-880 (2000)

Coauthor Index

1Werner Damm [13] [17]
2Martin Fränzle [16]
3Laurent Hardouin [10]
4Christian Herde [16]
5Luc Jaulin [3] [10]
6Felix Klaedtke [19]
7Guilherme Pinto [13] [17]
8Tobias Schubert [16]
9Zhikun She [12] [15] [18] [19] [20]
10Jan-Georg Smaus [21]
11Tino Teige [16]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)