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

Completeness and Nondeterminism in Model Checking Transactional Memories., , and . CONCUR, volume 5201 of Lecture Notes in Computer Science, page 21-35. Springer, (2008)Model checking transactional memories., , and . Distributed Comput., 22 (3): 129-145 (2010)Comparing Vision Transformers and Convolutional Nets for Safety Critical Systems., and . SafeAI@AAAI, volume 3087 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures., , , and . CoRR, (2023)Quantitative Evaluation of BFT Protocols., , and . QEST, page 255-264. IEEE Computer Society, (2011)Zhuyi: perception processing rate estimation for safety in autonomous vehicles., , , , , , , and . DAC, page 289-294. ACM, (2022)Exploring Diversity in Neural Architectures for Safety., and . AISafety@IJCAI, volume 3215 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Practical Solutions for Machine Learning Safety in Autonomous Vehicles., , , and . CoRR, (2019)Formalizing and verifying transactional memories.. EPFL, Switzerland, (2010)Permissiveness in Transactional Memories., , and . DISC, volume 5218 of Lecture Notes in Computer Science, page 305-319. Springer, (2008)