| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pierre Ganty, Rupak Majumdar |
Algorithmic verification of asynchronous programs.  |
ACM Trans. Program. Lang. Syst.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Indranil Saha, Majid Zamani |
Synthesis of Minimal Error Control Software |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar |
Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Pierre Ganty, Rupak Majumdar |
A Perfect Model for Bounded Verification |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Pierre Ganty, Rupak Majumdar, Benjamin Monmege |
Bounded underapproximations. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer |
Language-Theoretic Abstraction Refinement. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar |
The Marriage of Exploration and Deduction. |
VSTTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar |
Scalable testing of file system checkers. |
EuroSys |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang |
CLSE: Closed-Loop Symbolic Execution. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Elaine Render, Paulo Tabuada |
A theory of robust software synthesis |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Majid Zamani, Rupak Majumdar |
Coordinate-invariant incremental Lyapunov functions |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson |
VCG with Communities on Random Ad Hoc Networks. |
IJDSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Jose, Rupak Majumdar |
Cause clue clauses: error localization using maximum satisfiability. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Indranil Saha, Majid Zamani |
Performance-aware scheduler synthesis for control systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar |
End-to-End Guarantees in Embedded Control Systems - (Abstract). |
Ershov Memorial Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar |
Minimum Attention Controller Synthesis for Omega-Regular Objectives. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Majid Zamani, Rupak Majumdar |
A Lyapunov approach in incremental stability. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Jose, Rupak Majumdar |
Bug-Assist: Assisting Fault Localization in ANSI-C Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko |
HMC: Verifying Functional Programs Using Abstract Interpreters. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pritam Roy, Paulo Tabuada, Rupak Majumdar |
Pessoa 2.0: a controller synthesis tool for cyber-physical systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Elaine Render, Paulo Tabuada |
Robust discrete synthesis against unspecified disturbances. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Cong, Bin Liu 0006, Rupak Majumdar, Zhiru Zhang |
Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis. |
ACM Trans. Design Autom. Electr. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar |
Paul Ammann and Jeff OffuttIntroduction to Software Testing. Cambridge University Press(2008). ISBN: 978-0-521-88038-1, 322 pp. Hardcover. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Jose, Rupak Majumdar |
Cause Clue Clauses: Error Localization using Maximum Satisfiability |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar |
Discounting in Games across Time Scales |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Rupak Majumdar |
Algorithmic Verification of Asynchronous Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman |
Algorithms for Game Metrics (Full Version) |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pritam Roy, Paulo Tabuada, Rupak Majumdar |
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko |
Refinement type inference via abstract interpretation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Emmi, Rupak Majumdar, Roman Manevich |
Parameterized verification of transactional memories. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
parameterized verification, transactional memory |
| 1 | Rupak Majumdar, Indranil Saha, Zilong Wang |
Systematic testing for control applications. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada |
Automatic verification of control system implementations. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Rupak Majumdar (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Jose, Yu Hu, Rupak Majumdar, Lei He |
Rewiring for robustness. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
SPFD, FPGA, logic synthesis, soft errors, rewiring |
| 1 | Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He, Minming Li |
Fault-tolerant resynthesis with dual-output LUTs. |
ASP-DAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel B. Luckenbill, Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He |
RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pierre Ganty, Rupak Majumdar, Benjamin Monmege |
Bounded Underapproximations. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur |
Shape Analysis with Reference Set Relations. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Jose, Yu Hu, Rupak Majumdar |
On power and fault-tolerance optimization in FPGA physical synthesis. |
ICCAD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar |
Software model checking. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
counterexample-guided refinement, enumerative and symbolic model checking, abstraction, safety, liveness, Software model checking |
| 1 | Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He |
Simultaneous test pattern compaction, ordering and X-filling for testing power reduction. |
ISQED |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar |
Verifying Reference Counting Implementations. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko |
From Tests to Proofs. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Rupak Majumdar |
Analyzing Real-Time Event-Driven Programs. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko |
Verifying liveness for asynchronous programs. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
asynchronous (event-driven) programming, fair termination, petri nets, liveness |
| 1 | Rafit Izhak-Ratzin, Nikitas Liogkas, Rupak Majumdar |
Team Incentives in BitTorrent Systems. |
ICCCN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Indranil Saha |
Symbolic Robustness Analysis. |
IEEE Real-Time Systems Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Ru-Gang Xu |
Reducing Test Inputs Using Information Partitions. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Paulo Tabuada (eds.) |
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein |
Fine-Grained Access Control with Object-Sensitive Roles. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Feng 0002, Yu Hu, Lei He, Rupak Majumdar |
IPR: In-Place Reconfiguration for FPGA fault tolerance. |
ICCAD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger |
Stochastic limit-average games are in EXPTIME. |
Int. J. Game Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga |
Game Refinement Relations and Metrics. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Hu, Victor Shih, Rupak Majumdar, Lei He |
Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger |
Stochastic Limit-Average Games are in EXPTIME |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar |
The Complexity of Coverage |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga |
Game Refinement Relations and Metrics |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pierre Ganty, Rupak Majumdar, Benjamin Monmege |
Parikh-Equivalent Bounded Underapproximations |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar |
Testing for buffer overflows with length abstraction. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
length abstractions, underapproximation, buffer overflows, testing c programs, directed testing |
| 1 | Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino 0002 |
The Consistency of Web Conversations. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu |
Proving non-termination. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
non-termination, recurrent sets, model checking, testing, program verification |
| 1 | Yu Hu, Victor Shih, Rupak Majumdar, Lei He |
FPGA area reduction by multi-output function based sequential resynthesis. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
FPGA, logic synthesis, SAT, resynthesis |
| 1 | Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.) |
Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings |
SPIN |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson |
Frugal Routing on Wireless Ad-Hoc Networks. |
SAGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar |
The Complexity of Coverage. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Damien Zufferey, Rupak Majumdar |
CSIsat: Interpolation for LA+EUF. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger |
Controller Synthesis with Budget Constraints. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman |
Algorithms for Game Metrics. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Fischer, Rupak Majumdar |
A Theory of Role Composition. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Hu, Zhe Feng 0002, Lei He, Rupak Majumdar |
Robust FPGA resynthesis based on fault-tolerant Boolean matching. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
The software model checker Blast. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
Model checking, Software verification, Test-case generation, Software specification, Memory safety |
| 1 | Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
Path invariants. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement |
| 1 | Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |
State of the Union: Type Inference Via Craig Interpolation. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Emmi, Rupak Majumdar, Koushik Sen |
Dynamic test input generation for database applications. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
directed random testing, automatic test generation, database applications, concolic testing |
| 1 | Jeffrey Fischer, Rupak Majumdar |
Ensuring consistency in long running transactions. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
flow composition, set consistency, semantics, business process, transactions, compensation |
| 1 | Rupak Majumdar, Ru-Gang Xu |
Directed test generation using symbolic grammars. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
grammar based testing, symbolic grammars, random testing, testing C programs, concolic execution |
| 1 | Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein |
Tasks: language support for event-driven programming. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar |
Interprocedural analysis of asynchronous programs. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
asynchronous (event-driven) programming, dataflow analysis |
| 1 | Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar |
Lock allocation. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
lock inference, atomicity, ILP |
| 1 | Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga |
Game Relations and Metrics. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Emmi, Rupak Majumdar |
Verifying Compensating Transactions. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
Invariant Synthesis for Combined Theories. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Koushik Sen |
Hybrid Concolic Testing. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
directed random testing, concolic testing |
| 1 | Rupak Majumdar, Ru-Gang Xu |
Directed test generation using symbolic grammars. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
grammar based testing, symbolic grammars, random testing, testing C programs, concolic execution |
| 1 | Rupak Majumdar, Ru-Gang Xu |
Directed test generation using symbolic grammars. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
grammar based testing, symbolic grammars, random testing, testing C programs, concolic execution |
| 1 | Yu Hu, Victor Shih, Rupak Majumdar, Lei He |
Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping. |
ICCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar |
On the universal and existential fragments of the mu-calculus. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger |
Markov Decision Processes with Multiple Objectives. |
STACS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga |
Compositional Quantitative Reasoning. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Emmi, Rupak Majumdar |
Decision Problems for the Verification of Real-Time Software. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |
Structural Invariants. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Rupak Majumdar, Calogero G. Zarba |
Interpolation for data structures. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
CEGAR, data structure verification, interpolation |
| 1 | Ranjit Jhala, Rupak Majumdar |
Bit level types for high level reasoning. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
model checking, type inference, bit vectors |
| 1 | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga |
Model checking discounted temporal properties. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin |
A classification of symbolic transition systems. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
infinite-state model checking, state equivalences, Model checking, temporal logics, hybrid automata, symbolic algorithms |
| 1 | Ranjit Jhala, Rupak Majumdar |
Path slicing. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
counterexample analysis, program slicing |
| 1 | Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar |
Code aware resource management. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
scheduling, deadlock avoidance, code analysis |
| 1 | Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu |
Quantifying Similarities Between Timed Systems. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar |
Verifying Quantitative Properties Using Bound Functions. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
The BLAST Software Verification System. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")