← Back to directory
Rupak Majumdar
Researcher Next ID · RN-000161
Professor · Computer Science
Max Planck Institute for Software Systems
Saarbrücken, Germany
Not currently recruitingFunding unknown
- Works count
- 477
- Citation count
- 14,901
- H-index
- 61
- i10-index
- 212
About
478 publications and 14,901 citations recorded on OpenAlex.
Research interests
Computer Science
Formal Methods in Verification
Logic, programming, and type systems
Software Testing and Debugging Techniques
Petri Nets in System Modeling
Distributed systems and fault tolerance
Publications
Abstractions from proofs
ACM SIGPLAN Notices · 2014 · 10.1145/2641638.2641655
Automatic predicate abstraction of C programs
ACM SIGPLAN Notices · 2012 · 10.1145/2442776.2442783
The software model checker Blast
International Journal on Software Tools for Technology Transfer · 2007 · 10.1007/s10009-007-0044-z
Lazy abstraction
Journal · 2002 · 10.1145/503272.503279
Automatic predicate abstraction of C programs
Journal · 2001 · 10.1145/378795.378846
Current projects
No projects listed.