Author Info
Name
Affiliation
Papers
STEFAN SCHUPP
Rhein Westfal TH Aachen, Aachen, Germany
5
Collaborators
Citations 
PageRank 
9
27
2.20
Referers 
Referees 
References 
68
150
55
Search Limit
100150
Title
Citations
PageRank
Year
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems.00.342018
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis.20.392018
Divide And Conquer: Variable Set Separation In Hybrid Systems Reachability Analysis10.362017
SMT-RAT: An Open Source C plus plus Toolbox for Strategic and Parallel SMT Solving150.552015
A Benchmark Suite for Hybrid Systems Reachability Analysis.90.572015