( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
High-level Hybrid Systems Analysis with Hypy.

, , и . ARCH@CPSWeek, том 43 из EPiC Series in Computing, стр. 80-90. 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.

Claudia Bak

Christopher Bak

Anna Bak

Friedhelm Bak

Kacper Bak

 

Другие публикации лиц с тем же именем

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)., , , , и . CoRR, (2023)Numerical Verification of 10000-dimensional Linear Systems 10000x Faster.. ARCH@ADHS, том 54 из EPiC Series in Computing, стр. 135-144. EasyChair, (2018)Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization., , , , и . ADHS, том 54 из IFAC-PapersOnLine, стр. 253-258. Elsevier, (2021)Numerical verification of affine systems with up to a billion dimensions., , и . HSCC, стр. 23-32. ACM, (2019)A Predictable Execution Model for COTS-Based Embedded Systems., , , , , , и . IEEE Real-Time and Embedded Technology and Applications Symposium, стр. 269-279. IEEE Computer Society, (2011)A generalized model for preventing information leakage in hard real-time systems., , , , , и . RTAS, стр. 271-282. IEEE Computer Society, (2015)Real-Time Reachability for Verified Simplex Design., , , и . RTSS, стр. 138-148. IEEE Computer Society, (2014)Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization., и . RTSS, стр. 195-205. IEEE Computer Society, (2015)Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems., , и . FORMATS, том 12860 из Lecture Notes in Computer Science, стр. 50-66. Springer, (2021)Improved Geometric Path Enumeration for Verifying ReLU Neural Networks., , , и . CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 66-96. Springer, (2020)