Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Srinidhi Nagendra
Observed name:
Nagendra, Srinidhi
Institution:
Max Planck Institute for Software Systems
Observed institutions:
Centre National de la Recherche Scientifique,
Max Planck Society,
Chennai Mathematical Institute,
Université Paris Cité,
Institut de Recherche en Informatique Fondamentale,
Max Planck Institute for Software Systems
show all 6
ORCID:
0000-0002-7171-5543
Observed ORCID:
0000-0002-7171-5543
OpenAlex ID:
A5046025269
Model-Guided Fuzzing of Distributed Systems
2025
·
Ege Berkay Gulcan
, Burcu Kulahcioglu Ozkan
, et al.
·
Proceedings of the ACM on Programming Languages
·
7
PDF
A Domain Specific Language for Testing Distributed Protocol Implementations
2024
·
Cezara Dragoi
, Srinidhi Nagendra
, et al.
·
Lecture notes in computer science
·
5
Optimal Concolic Dynamic Partial Order Reduction
2025
·
Khoshechin Jorshari, Mohammad Hossein
, Kokologiannakis, Michalis
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
·
3
PDF
A Domain Specific Language for Testing Consensus Implementations
2023
·
Dragoi, Cezara
, Enea, Constantin
, et al.
·
arXiv (Cornell University)
·
3
PDF
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
2024
·
Andrea Borgarelli
, Constantin Enea
, et al.
·
Proceedings of the ACM on Programming Languages
·
2
LLM-Assisted Analysis of On-Chip Protocol Implementations
2026
·
Melisande Zonta-Roudes
, Nora Hinderling
, et al.
·
IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM)
Optimal Concolic Dynamic Partial Order Reduction
2025
·
Khoshechin Jorshari, Mohammad Hossein
, Kokologiannakis, Michalis
, et al.
·
Repository for Publications and Research Data (ETH Zurich)
Automated testing of distributed protocol implementations
2024
·
Srinidhi Nagendra
·
theses.fr (ABES)
Show more works
View as search
Works count:
10
Citation count:
22
H-index:
3
I10-index:
Year
Topic
Type
