Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: 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		Title	BibTeX cite key
Rahman, Rückert, Fischmann
Ratschan
Ratschan, She
	2007		Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement In: ACM Transactions in Embedded Computing Systems [6], 1-23	Ratschan2007
	2006		Constraints for Continuous Reachability in the Verification of Hybrid Systems In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, 196-210	She2005
	2005		Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, 573-589	Ratschan2005
Ratschan, Smaus
Ratschan, Vehi
Rau
Reinold
Rock
Rybalchenko
Rybalchenko, Sofronie-Stokkermans
Schäf
Schlobach
Schmidt
Schmidt, Hustadt
Schmidt, Orłowska, Hustadt
Schmidt, Tishkovsky
Schmidt, Tishkovsky, Hustadt
Schmolzi
She, Ratschan
She, Xia, Xiao
Simon, Freiheit, Olbrich
Smaus
Socher-Ambrosius
Sofronie-Stokkermans
Sofronie-Stokkermans, Stokkermans
Struth
Stuber

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)