Rupak Majumdar
Scholar

Rupak Majumdar

Google Scholar ID: COuXyKwAAAAJ
MPI for Software Systems
verificationmodel checkingautomated reasoningformal methods
Google Scholar↗
Citations & Impact
All-time
Citations
5,514
 
H-index
38
 
i10-index
145
 
Publications
20
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
9 items
Solving Qualitative Multi-Objective Stochastic Games
2026
Cited
0
General Decidability Results for Systems with Continuous Counters
2025
Cited
0
Formal Analysis of Metastable Failures in Software Systems
2025
Cited
0
MightyPPL: Verification of MITL with Past and Pnueli Modalities
2025
Cited
0
Value-Set Iteration: Computing Optimal Correlated Equilibria in Infinite-Horizon Multi-Player Stochastic Games
2025
Cited
0
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
IEEE Transactions on Software Engineering · 2025
Cited
0
Model Checking Linear Temporal Logic with Standpoint Modalities
2025
Cited
0
Model-guided Fuzzing of Distributed Systems
arXiv.org · 2024
Cited
1
Resume (English only)
Co-authors
9 total
Thomas Henzinger
Thomas Henzinger
IST Austria
Co-author 2
Co-author 2
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Todd Millstein
Todd Millstein
Professor of Computer Science, UCLA
Dirk Beyer
Dirk Beyer
Professor of Computer Science, LMU Munich, Germany
Pierre Ganty
Pierre Ganty
Associate Research Professor, IMDEA Software Institute
Co-author 7
Co-author 7
Co-author 8
Co-author 8