Author of the publication

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

Simultaneous Solving of Batched Linear Programs on a GPU., and . CoRR, (2018)Parallel reachability analysis of hybrid systems in XSpeed., , , , and . STTT, 21 (4): 401-423 (2019)An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes., and . CoRR, (2016)Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support. (Reachability Analysis of Hybrid Systems using Support Functions).. Grenoble Alpes University, France, (2012)Design Principles for an Extendable Verification Tool for Hybrid Systems., and . ADHS, volume 42 of IFAC Proceedings Volumes, page 244-249. Elsevier, (2009)Comparison of Neural Network Algorithms for Face Recognition., , , , , and . Simulation, 65 (1): 37-51 (1995)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 14-40. EasyChair, (2019)Simultaneous Solving of Batched Linear Programs on a GPU., and . ICPE, page 59-66. ACM, (2019)ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics., , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 120-128. EasyChair, (2019)ASAC: automatic sensitivity analysis for approximate computing., , , and . LCTES, page 95-104. ACM, (2014)