Rupak Majumdar

Rupak Majumdar

Max Planck Institut für Software Systeme - Kaiserslautern / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4431692
Max Planck Institute for Software Systems
person_outline Rupak Majumdar's MOST POPULAR ARTICLES
1-) Lazy abstractionTA Henzinger, R Jhala, R Majumdar, G SutreProceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 200215512002
2-) Automatic predicate abstraction of C programsT Ball, R Majumdar, T Millstein, SK RajamaniProceedings of the ACM SIGPLAN 2001 conference on Programming language …, 200111252001
3-) The software model checker Blast Applications to software engineeringD Beyer, TA Henzinger, R Jhala, R MajumdarInternational Journal on Software Tools for Technology Transfer 9, 505-525, 20078282007
4-) Software verification with BLASTTA Henzinger, R Jhala, R Majumdar, G SutreModel Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 20037222003
5-) Abstractions from proofsTA Henzinger, R Jhala, R Majumdar, KL McMillanProceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 20047162004