Rupak Majumdar

Max Planck Institute for Software Systems — Germany

Computer Science · Physical Sciences

59h-index14.4kcitations472works1.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(257), Logic, programming, and type systems(118), Software Testing and Debugging Techniques(92), Petri Nets in System Modeling(63), Distributed systems and fault tolerance(60)

Publications472 total

General Decidability Results for Systems with Continuous Counters
arXiv (Cornell University)·2025Open Access
Model Checking Linear Temporal Logic with Standpoint Modalities
2025Open Access
Early Hindu Colonisation in Java
Manohar Publishers & Distributors eBooks·2025
Political Theory and Public Administration in Java
Manohar Publishers & Distributors eBooks·2025
The Architecture of Eastern Java
Manohar Publishers & Distributors eBooks·2025
The Architecture of Central Java
Manohar Publishers & Distributors eBooks·2025
Model-Guided Fuzzing of Distributed Systems
Proceedings of the ACM on Programming Languages·2025Open Access
Formal Analysis of Metastable Failures in Software Systems
ArXiv.org·2025Open Access
MightyPPL: Verification of MITL with Past and Pnueli Modalities
arXiv (Cornell University)·2025Open Access
Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
arXiv (Cornell University)·2025Open Access
Pushdown Model Checking above the Cubic Bottleneck
2025
Value-Set Iteration: Computing Optimal Correlated Equilibria in Infinite-Horizon Multi-Player Stochastic Games
arXiv (Cornell University)·2025Open Access
Analyzing Metastable Failures
2025Open Access
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
IEEE Transactions on Software Engineering·2025· 1 citedOpen Access
Integrated Task and Path Planning for Collaborative Multi-Robot Systems
2025· 2 citedOpen Access
Model Checking Linear Temporal Logic with Standpoint Modalities
arXiv (Cornell University)·2025Open Access
Sound and Complete Proof Rules for Probabilistic Termination
Proceedings of the ACM on Programming Languages·2025· 9 citedOpen Access
Regret-Free Reinforcement Learning for LTL Specifications
arXiv (Cornell University)·2024Open Access
Sound and Complete Techniques for Reasoning About Termination
Lecture notes in computer science·2024
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
Proceedings of the ACM on Programming Languages·2024· 1 citedOpen Access
page 1 of 24Next →

Frequent Co-authors

Thomas A. Henzinger(26), Ranjit Jhala(19), Dirk Beyer(5), Luca de Alfaro(5), Grégoire Sutre(4), Todd Millstein(4), Thomas Ball(3), Sriram K. Rajamani(3), Kenneth L. McMillan(3), Andrey Rybalchenko(3), Ru-Gang Xu(3), Koushik Sen(2), Manu Jose(2), Krishnendu Chatterjee(2), Benjamin Horowitz(2), Marco Faella(2), Mariëlle Stoelinga(2), Adam Chlipala(2), Michael Emmi(1), George C. Necula(1)