Location
Toggle navigation
HOME
INSTITUTE
Mission
Address
Executive Board
Scientific Members of MPG
Scientific Advisory Board
Board of Trustees
NEWS
Latest
Press Releases
Awards
Spotlights
Campus Event Calendar
25th Anniversary
30th Anniversary
Employment
DEPARTMENTS
Algorithms & Complexity
Computer Vision and Machine Learning
Internet Architecture
Computer Grapics
Databases and Information Systems
Visual Computing and Artificial Intelligence
Automation of Logic
Network and Cloud Systems
Multimodal Language Processing
PUBLICATIONS
Algorithms & Complexity
Computer Vision and Machine Learning
Internet Architecture
Computer Graphics
Databases and Information Systems
Visual Computing and Artificial Intelligence
Research Group Computational Biology
Automation of Logic
Network and Cloud Systems
Research Reports
Scientific Advisory Board
Curatorship Board
25th anniversary
IMPRS-CS
PEOPLE
SOFTWARE
SERVICES
Joint Central Services
Joint Administration
- Library
- International Office
Joint Scientific IT and Technical Services
- Building and Technical Support
Research Coordination
Representative for Equal Opportunities
- Equal Opportunities
Representative for Severely Disabled Persons
Representative for Safety
Ombudsperson for
Good Scientific Practice
and Doctoral Research
Company Physician
CS@MPG
CS@SAAR
Saarland Informatics Campus
Computer Science Department,
Saarland University
Max Planck Institute for
Software Systems (MPI-SWS)
German Center for
Artificial Intelligence (DFKI)
Center for Security, Privacy
and Accountability (CISPA)
VIA - Saarbrücken Center for
Visual Computing, Interaction
and Artificial Intelligence
Graduate School for
Computer Science
Cluster of Excellence (MMCI)
Max Planck Center for Visual
Computing and Communication
Kaiserslautern-Saarbrücken
Computer Science Cluster
IT Incubator
Publications
Home
Intranet
Publications
Toggle navigation
Show...
all entries of
this year (2024)
last year (2023)
two years ago (2022)
View...
all entries sorted by
Authors/Editors names
BibTeX citation keys
Type of Publication
only of type thesis
Years published
Submit
Previous
Page
Next
Page
Expand All
Collapse All
Search (Full Text)
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
#
Year
Author(s) [non member]
Title
Type
1
Radermacher, F. J.
1
Rahman, Shahid
3
Rajamani, Sriram K.
1
Rajan, Kanna (ed.)
1
Ramakrishnan, I.V. (ed.)
1
Ramani, S. (ed.)
1
Ramanujam, R (ed.)
1
Raman, V. (ed.)
1
Raskin, Jean-François
1
Raskin, J.-F. (ed.)
1
Ras, Z. (ed.)
12
Ratschan, Stefan
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
She, Zhikun
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
Efficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748
Journal 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
2006
Ratschan, Stefan
[Smaus, Jan-Georg]
Verification-Integrated Falsification of Non-Deterministic Hybrid Systems
In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ?
Proceedings Article
2005
[Damm, Werner]
Pinto, Guilherme
Ratschan, Stefan
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
She, Zhikun
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
2005
Ratschan, Stefan
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
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
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
2004
[Jaulin, Luc]
Ratschan, Stefan
[Hardouin, Laurent]
Set Computation for Nonlinear Control
In: Reliable Computing [10], 1-26
Journal Article
2003
Ratschan, Stefan
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
Rau, Rainer
1
Reggio, Gianna (ed.)
1
Reinold, Michael
1
Reischuk, Rüdiger (ed.)
1
Remenyi, Dan (ed.)
Previous
Page
Next
Page
Expand All
Collapse All
Search (Full Text)