Search results for: Borzoo Bonakdarpour
Lecture Notes in Computer Science > Principles of Distributed Systems > Session 6: Security and Verification > 275-290
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Regular Papers > 122-136
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Contributed Papers > 4-18
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification and Analysis > 36-52
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > 21-36
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Brief Announcement > 566-567
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > 77-91
Journal of Parallel and Distributed Computing > 2016 > 87 > C > 26-42