Search results for: Sandeep S. Kulkarni
Journal of the Brazilian Computer Society > 2019 > 25 > 1 > 1-25
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Regular Papers > 50-64
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 > 314-323
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Regular Papers > 122-136
Lecture Notes in Computer Science > Component-Based Software Engineering > Generation and Adaptation of Component-Based Systems > 48-58
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Contributed Papers > 206-220
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Communication and Coverage in Wireless Networks > 69-81
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 > Principles of Distributed Systems > Verification, Models, Performance of Distributed Systems > 184-197
Lecture Notes in Computer Science > Computer Security - ESORICS 2008 > Session 2: Network Security > 82-96
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Regular Papers > 47-61