|
Search the dblp DataBase
Rupak Majumdar:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Rupak Majumdar, R. K. Shyamasundar
Design of Controllers for Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP] ASIAN, 1996, pp:309-320 [Conf]
- Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido
Extreme Model Checking. [Citation Graph (0, 0)][DBLP] Verification: Theory and Practice, 2003, pp:332-358 [Conf]
- Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer
Temporal-Safety Proofs for Systems Code. [Citation Graph (0, 0)][DBLP] CAV, 2002, pp:526-538 [Conf]
- Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
Thread-Modular Abstraction Refinement. [Citation Graph (0, 0)][DBLP] CAV, 2003, pp:262-274 [Conf]
- Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
Verifying Quantitative Properties Using Bound Functions. [Citation Graph (0, 0)][DBLP] CHARME, 2005, pp:50-64 [Conf]
- Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
The Element of Surprise in Timed Games. [Citation Graph (0, 0)][DBLP] CONCUR, 2003, pp:142-156 [Conf]
- Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
Symbolic Algorithms for Infinite-State Games. [Citation Graph (0, 0)][DBLP] CONCUR, 2001, pp:536-550 [Conf]
- Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar
Rectangular Hybrid Games. [Citation Graph (0, 0)][DBLP] CONCUR, 1999, pp:320-335 [Conf]
- Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski
On Nash Equilibria in Stochastic Games. [Citation Graph (0, 0)][DBLP] CSL, 2004, pp:26-40 [Conf]
- Rupak Majumdar, Jennifer L. Wong
Watermarking of SAT using Combinatorial Isolation Lemmas. [Citation Graph (0, 0)][DBLP] DAC, 2001, pp:480-485 [Conf]
- Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar
Code aware resource management. [Citation Graph (0, 0)][DBLP] EMSOFT, 2005, pp:191-202 [Conf]
- Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic
Time-Safety Checking for Embedded Programs. [Citation Graph (0, 0)][DBLP] EMSOFT, 2002, pp:76-92 [Conf]
- Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Checking Memory Safety with Blast. [Citation Graph (0, 0)][DBLP] FASE, 2005, pp:2-18 [Conf]
- Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu
Quantifying Similarities Between Timed Systems. [Citation Graph (0, 0)][DBLP] FORMATS, 2005, pp:226-241 [Conf]
- Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. [Citation Graph (0, 0)][DBLP] HSCC, 2000, pp:130-144 [Conf]
- Michael Emmi, Rupak Majumdar
Decision Problems for the Verification of Real-Time Software. [Citation Graph (0, 0)][DBLP] HSCC, 2006, pp:200-211 [Conf]
- Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
Discounting the Future in Systems Theory. [Citation Graph (0, 0)][DBLP] ICALP, 2003, pp:1022-1037 [Conf]
- Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Counterexample-Guided Control. [Citation Graph (0, 0)][DBLP] ICALP, 2003, pp:886-902 [Conf]
- Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang
JMOCHA: A Model Checking Tool that Exploits Design Structure. [Citation Graph (0, 0)][DBLP] ICSE, 2001, pp:835-836 [Conf]
- Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Generating Tests from Counterexamples. [Citation Graph (0, 0)][DBLP] ICSE, 2004, pp:326-335 [Conf]
- Rupak Majumdar, Koushik Sen
Hybrid Concolic Testing. [Citation Graph (0, 0)][DBLP] ICSE, 2007, pp:416-426 [Conf]
- Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
An Eclipse Plug-in for Model Checking. [Citation Graph (0, 0)][DBLP] IWPC, 2004, pp:251-255 [Conf]
- Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
From Verification to Control: Dynamic Programs for Omega-Regular Objectives. [Citation Graph (0, 0)][DBLP] LICS, 2001, pp:279-290 [Conf]
- Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Invited talk: the blast query language for software verification. [Citation Graph (0, 0)][DBLP] PEPM, 2004, pp:201-202 [Conf]
- Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein
Tasks: language support for event-driven programming. [Citation Graph (0, 0)][DBLP] PEPM, 2007, pp:134-143 [Conf]
- Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
Automatic Predicate Abstraction of C Programs. [Citation Graph (0, 0)][DBLP] PLDI, 2001, pp:203-213 [Conf]
- Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Race checking by context inference. [Citation Graph (0, 0)][DBLP] PLDI, 2004, pp:1-13 [Conf]
- Ranjit Jhala, Rupak Majumdar
Path slicing. [Citation Graph (0, 0)][DBLP] PLDI, 2005, pp:38-47 [Conf]
- Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan
Abstractions from proofs. [Citation Graph (0, 0)][DBLP] POPL, 2004, pp:232-244 [Conf]
- Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
Lazy abstraction. [Citation Graph (0, 0)][DBLP] POPL, 2002, pp:58-70 [Conf]
- Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar
Lock allocation. [Citation Graph (0, 0)][DBLP] POPL, 2007, pp:291-296 [Conf]
- Ranjit Jhala, Rupak Majumdar
Interprocedural analysis of asynchronous programs. [Citation Graph (0, 0)][DBLP] POPL, 2007, pp:339-350 [Conf]
- Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Invited talk: the blast query language for software verification. [Citation Graph (0, 0)][DBLP] PPDP, 2004, pp:1-2 [Conf]
- Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
Compositional Quantitative Reasoning. [Citation Graph (0, 0)][DBLP] QEST, 2006, pp:179-188 [Conf]
- Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
Stack Size Analysis for Interrupt-Driven Programs. [Citation Graph (0, 0)][DBLP] SAS, 2003, pp:109-126 [Conf]
- Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
The Blast Query Language for Software Verification.. [Citation Graph (0, 0)][DBLP] SAS, 2004, pp:2-18 [Conf]
- Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
Structural Invariants. [Citation Graph (0, 0)][DBLP] SAS, 2006, pp:71-87 [Conf]
- Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin
Abstract Interpretation of Game Properties. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:220-239 [Conf]
- Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar
Joining dataflow with predicates. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2005, pp:227-236 [Conf]
- Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Permissive interfaces. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2005, pp:31-40 [Conf]
- Ranjit Jhala, Rupak Majumdar
Bit level types for high level reasoning. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 2006, pp:128-140 [Conf]
- Deepak Kapur, Rupak Majumdar, Calogero G. Zarba
Interpolation for data structures. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 2006, pp:105-116 [Conf]
- Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
The BLAST Software Verification System. [Citation Graph (0, 0)][DBLP] SPIN, 2005, pp:25-26 [Conf]
- Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
Software Verification with BLAST. [Citation Graph (0, 0)][DBLP] SPIN, 2003, pp:235-239 [Conf]
- Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
Markov Decision Processes with Multiple Objectives. [Citation Graph (0, 0)][DBLP] STACS, 2006, pp:325-336 [Conf]
- Thomas A. Henzinger, Rupak Majumdar
A Classification of Symbolic Transition Systems. [Citation Graph (0, 0)][DBLP] STACS, 2000, pp:13-34 [Conf]
- Luca de Alfaro, Rupak Majumdar
Quantitative solution of omega-regular games. [Citation Graph (0, 0)][DBLP] STOC, 2001, pp:675-683 [Conf]
- Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
Model Checking Discounted Temporal Properties. [Citation Graph (0, 0)][DBLP] TACAS, 2004, pp:77-92 [Conf]
- Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
On the Universal and Existential Fragments of the µ-Calculus. [Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:49-64 [Conf]
- Thomas A. Henzinger, Rupak Majumdar
Symbolic Model Checking for Rectangular Hybrid Systems. [Citation Graph (0, 0)][DBLP] TACAS, 2000, pp:142-156 [Conf]
- Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin
A Classification of Symbolic Transition Systems [Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal]
- Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
Stack size analysis for interrupt-driven programs. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:194, n:2, pp:144-174 [Journal]
- Luca de Alfaro, Rupak Majumdar
Quantitative solution of omega-regular games. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 2004, v:68, n:2, pp:374-397 [Journal]
- Jennifer L. Wong, Rupak Majumdar, Miodrag Potkonjak
Fair watermarking using combinatorial isolation lemmas. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2004, v:23, n:11, pp:1566-1574 [Journal]
- Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
Model checking discounted temporal properties. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:345, n:1, pp:139-170 [Journal]
- Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
On the universal and existential fragments of the mu-calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:354, n:2, pp:173-186 [Journal]
- Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin
A classification of symbolic transition systems. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2005, v:6, n:1, pp:1-32 [Journal]
- Michael Emmi, Rupak Majumdar, Koushik Sen
Dynamic test input generation for database applications. [Citation Graph (0, 0)][DBLP] ISSTA, 2007, pp:151-162 [Conf]
- Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
Game Relations and Metrics. [Citation Graph (0, 0)][DBLP] LICS, 2007, pp:99-108 [Conf]
- Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
Path invariants. [Citation Graph (0, 0)][DBLP] PLDI, 2007, pp:300-309 [Conf]
- Rupak Majumdar, Ru-Gang Xu
Directed test generation using symbolic grammars. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2007, pp:553-556 [Conf]
- Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
State of the Union: Type Inference Via Craig Interpolation. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:553-567 [Conf]
- Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Counterexample-guided Planning. [Citation Graph (0, 0)][DBLP] UAI, 2005, pp:104-111 [Conf]
The Complexity of Coverage. [Citation Graph (, )][DBLP]
Reducing Test Inputs Using Information Partitions. [Citation Graph (, )][DBLP]
CSIsat: Interpolation for LA+EUF. [Citation Graph (, )][DBLP]
Bounded Underapproximations. [Citation Graph (, )][DBLP]
FPGA area reduction by multi-output function based sequential resynthesis. [Citation Graph (, )][DBLP]
Rewiring for robustness. [Citation Graph (, )][DBLP]
RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications. [Citation Graph (, )][DBLP]
Fine-Grained Access Control with Object-Sensitive Roles. [Citation Graph (, )][DBLP]
Analyzing Real-Time Event-Driven Programs. [Citation Graph (, )][DBLP]
Algorithms for Game Metrics. [Citation Graph (, )][DBLP]
Controller Synthesis with Budget Constraints. [Citation Graph (, )][DBLP]
Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping. [Citation Graph (, )][DBLP]
IPR: In-Place Reconfiguration for FPGA fault tolerance. [Citation Graph (, )][DBLP]
Robust FPGA resynthesis based on fault-tolerant Boolean matching. [Citation Graph (, )][DBLP]
A Theory of Role Composition. [Citation Graph (, )][DBLP]
Simultaneous test pattern compaction, ordering and X-filling for testing power reduction. [Citation Graph (, )][DBLP]
Testing for buffer overflows with length abstraction. [Citation Graph (, )][DBLP]
Directed test generation using symbolic grammars. [Citation Graph (, )][DBLP]
Ensuring consistency in long running transactions. [Citation Graph (, )][DBLP]
The Consistency of Web Conversations. [Citation Graph (, )][DBLP]
Parameterized verification of transactional memories. [Citation Graph (, )][DBLP]
Verifying liveness for asynchronous programs. [Citation Graph (, )][DBLP]
Proving non-termination. [Citation Graph (, )][DBLP]
Symbolic Robustness Analysis. [Citation Graph (, )][DBLP]
Directed test generation using symbolic grammars. [Citation Graph (, )][DBLP]
Verifying Reference Counting Implementations. [Citation Graph (, )][DBLP]
From Tests to Proofs. [Citation Graph (, )][DBLP]
Verifying Compensating Transactions. [Citation Graph (, )][DBLP]
Invariant Synthesis for Combined Theories. [Citation Graph (, )][DBLP]
Shape Analysis with Reference Set Relations. [Citation Graph (, )][DBLP]
Frugal Routing on Wireless Ad-Hoc Networks. [Citation Graph (, )][DBLP]
The Complexity of Coverage [Citation Graph (, )][DBLP]
Stochastic Limit-Average Games are in EXPTIME [Citation Graph (, )][DBLP]
Game Refinement Relations and Metrics [Citation Graph (, )][DBLP]
Parikh-Equivalent Bounded Underapproximations [Citation Graph (, )][DBLP]
Algorithms for Game Metrics (Full Version) [Citation Graph (, )][DBLP]
Refinement type inference via abstract interpretation [Citation Graph (, )][DBLP]
Discounting in Games across Time Scales [Citation Graph (, )][DBLP]
Software model checking. [Citation Graph (, )][DBLP]
Search in 0.016secs, Finished in 0.021secs
|