2025
ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures.
IEEE Open J. Comput. Soc., 2025
2022
Exploring Diversity in Neural Architectures for Safety.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022
Zhuyi: perception processing rate estimation for safety in autonomous vehicles.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
Comparing Vision Transformers and Convolutional Nets for Safety Critical Systems.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022
2021
Impact of Automotive System Safety Design on Machine Learning Based Perception Systems.
Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021
Simulation Driven Design and Test for Safety of AI Based Autonomous Vehicles.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2021
2020
Practical Solutions for Machine Learning Safety in Autonomous Vehicles.
Proceedings of the Workshop on Artificial Intelligence Safety, 2020
2011
Verification of STM on relaxed memory models.
Formal Methods Syst. Des., 2011
Quantitative Evaluation of BFT Protocols.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
Static Scheduling in Clouds.
Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011
Scheduling large jobs by abstraction refinement.
Proceedings of the European Conference on Computer Systems, 2011
2010
Formalizing and verifying transactional memories.
PhD thesis, 2010
Model checking transactional memories.
Distributed Comput., 2010
Transactions in the jungle.
Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010
Runtime Verification for Software Transactional Memories.
Proceedings of the Runtime Verification - First International Conference, 2010
A marketplace for cloud resources.
Proceedings of the 10th International conference on Embedded software, 2010
Verifying Local Transformations on Relaxed Memory Models.
Proceedings of the Compiler Construction, 19th International Conference, 2010
FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment.
Proceedings of the IEEE International Conference on Cloud Computing, 2010
2009
Preventing versus curing: avoiding conflicts in transactional memories.
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009
Software Transactional Memory on Relaxed Memory Models.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Permissiveness in Transactional Memories.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008
Model checking transactional memories.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008
Completeness and Nondeterminism in Model Checking Transactional Memories.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
2007
Algorithms for Interface Synthesis.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007