Author of the publication

HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions.

, , and . ARCH@CPSWeek, volume 43 of EPiC Series in Computing, page 68-79. EasyChair, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reverse Engineering des Windows Phone Process Execution Models., and . Informatiktage, volume S-12 of LNI, page 83-86. GI, (2013)Static Value Range Analysis for Matlab/Simulink-Models., , , and . GI-Jahrestagung, volume P-246 of LNI, page 1649-1660. GI, (2015)HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions., , and . ARCH@CPSWeek, volume 43 of EPiC Series in Computing, page 68-79. EasyChair, (2016)Abstract Interpretation of MATLAB Code with Interval Sets., , and . FMICS-AVoCS, volume 9933 of Lecture Notes in Computer Science, page 25-38. Springer, (2016)Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams., , and . SEFM, volume 9763 of Lecture Notes in Computer Science, page 137-152. Springer, (2016)SpaK/SpaR Two-component System Characterized by a Structure-driven Domain-fusion Method and in Vitro Phosphorylation Studies., , , , , and . PLoS Comput. Biol., (2009)