Concepedia

Rupak Majumdar

RM

142

Publications

10.1K

Citations

50

H-Index

2000

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

University of California, Los Angeles

University of California, Berkeley

UtopiaCompression (United States)

Max Planck Society

Rupak Majumdar is an author at Max Planck Institute for Software Systems specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationProgram AnalysisSoftware AnalysisComputer EngineeringSystems EngineeringAutomated Reasoning

Publications per year

2000–2024

142

Publications

142

Lazy abstraction

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · 2002 · 1.1K citations

Program Checking, Engineering, Verification +18

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein et al. · ACM SIGPLAN Notices · 2012 · 696 citations

Program Checking, Engineering, Verification +22

The software model checker Blast

Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala et al. · International Journal on Software Tools for Technology Transfer · 2007 · 591 citations

Software Maintenance, Program Checking, Engineering +11

Abstractions from proofs

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · ACM SIGPLAN Notices · 2014 · 480 citations

Program Checking, Engineering, Verification +17

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein et al. · 2001 · 432 citations

Engineering, Verification, Computer-aided Verification +20

Rows per page

1–5 of 142