Bonakdarpour, Borzoo
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
2018/04/05 by Abraham, Erika, Bonakdarpour, Borzoo · 5 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Bounded Model Checking for Hyperproperties
2020/09/18 by Tzu-Han Hsu, César Sánchez, Hsu, Tzu-Han +3 · 5 citations
Computer Science · #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Real-Time Systems Scheduling #Software Testing and Debugging Techniques
- Statistical Verification of Hyperproperties for Cyber-Physical System
2019/06/17 by Yu Wang, Mojtaba Zarei, Wang, Yu +5 · 3 citations
Computer Science · Decision Sciences · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Simulation Techniques and Applications
- Efficient Loop Conditions for Bounded Model Checking Hyperproperties
2023/01/15 by Tzu-Han Hsu, César Sánchez, Hsu, Tzu-Han +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
- Bounded Model Checking for Asynchronous Hyperproperties
2023/01/17 by Tzu-Han Hsu, Hsu, Tzu-Han, Borzoo Bonakdarpour +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling #Security and Verification in Computing
- Probabilistic Hyperproperties with Nondeterminism
2020/05/13 by Abraham, Erika, Bartocci, Ezio, Bonakdarpour, Borzoo +1 · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
2022/04/20 by Ritam Ganguly, Ganguly, Ritam, Yingjie Xuey +11 · 1 citation
Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Parallel #and Cluster Computing (cs.DC)
- Decentralized Multi-UAV Routing in the Presence of Disturbances
2018/07/12 by Wei Zhao, Borzoo Bonakdarpour, Zhao, Wei +1 · 1 citation
Computer Science · #Distributed Control Multi-Agent Systems #Optimization and Search Problems #Robotic Path Planning Algorithms
- Efficient Discovery of Actual Causality using Abstraction-Refinement
2024/07/23 by Rafieioskouei, Arshia, Bonakdarpour, Borzoo · 2 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering