Rupak Majumdar

	2010
100		Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur: Shape Analysis with Reference Set Relations. VMCAI 2010: 247-262
	2009
99		Rupak Majumdar, Paulo Tabuada: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings Springer 2009
98		Rupak Majumdar, Ru-Gang Xu: Reducing Test Inputs Using Information Partitions. CAV 2009: 555-569
97		Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein: Fine-Grained Access Control with Object-Sensitive Roles. ECOOP 2009: 173-194
96		Pierre Ganty, Rupak Majumdar: Analyzing Real-Time Event-Driven Programs. FORMATS 2009: 164-178
95		Rupak Majumdar, Indranil Saha: Symbolic Robustness Analysis. IEEE Real-Time Systems Symposium 2009: 355-363
94		Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He: Simultaneous test pattern compaction, ordering and X-filling for testing power reduction. ISQED 2009: 702-707
93		Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko: Verifying liveness for asynchronous programs. POPL 2009: 102-113
92		Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko: From Tests to Proofs. TACAS 2009: 262-276
91		Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar: Verifying Reference Counting Implementations. TACAS 2009: 352-367
90		Ranjit Jhala, Rupak Majumdar: Software model checking. ACM Comput. Surv. 41(4): (2009)
	2008
89		Klaus Havelund, Rupak Majumdar, Jens Palsberg: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings Springer 2008
88		Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage. APLAS 2008: 91-106
87		Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino: The Consistency of Web Conversations. ASE 2008: 415-418
86		Dirk Beyer, Damien Zufferey, Rupak Majumdar: CSIsat: Interpolation for LA+EUF. CAV 2008: 304-308
85		Yu Hu, Victor Shih, Rupak Majumdar, Lei He: FPGA area reduction by multi-output function based sequential resynthesis. DAC 2008: 24-29
84		Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics. FSTTCS 2008: 107-118
83		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Controller Synthesis with Budget Constraints. HSCC 2008: 72-86
82		Yu Hu, Zhe Feng, Lei He, Rupak Majumdar: Robust FPGA resynthesis based on fault-tolerant Boolean matching. ICCAD 2008: 706-713
81		Jeffrey Fischer, Rupak Majumdar: A Theory of Role Composition. ICWS 2008: 320-328
80		Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar: Testing for buffer overflows with length abstraction. ISSTA 2008: 27-38
79		Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu: Proving non-termination. POPL 2008: 147-158
78		Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson: Frugal Routing on Wireless Ad-Hoc Networks. SAGT 2008: 133-144
77		Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage CoRR abs/0804.4525: (2008)
76		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Stochastic Limit-Average Games are in EXPTIME CoRR abs/0805.2622: (2008)
75		Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Refinement Relations and Metrics CoRR abs/0806.4956: (2008)
74		Pierre Ganty, Rupak Majumdar, Benjamin Monmege: Parikh-Equivalent Bounded Underapproximations CoRR abs/0809.1236: (2008)
73		Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics (Full Version) CoRR abs/0809.4326: (2008)
72		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 27(10): 1751-1760 (2008)
71		Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Refinement Relations and Metrics. Logical Methods in Computer Science 4(3): (2008)
	2007
70		Rupak Majumdar, Ru-Gang Xu: Directed test generation using symbolic grammars. ASE 2007: 134-143
69		Jeffrey Fischer, Rupak Majumdar: Ensuring consistency in long running transactions. ASE 2007: 54-63
68		Rupak Majumdar, Ru-Gang Xu: Directed test generation using symbolic grammars. ESEC/SIGSOFT FSE 2007: 553-556
67		Rupak Majumdar, Ru-Gang Xu: Directed test generation using symbolic grammars. ESEC/SIGSOFT FSE (Companion) 2007: 553-556
66		Yu Hu, Victor Shih, Rupak Majumdar, Lei He: Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping. ICCAD 2007: 350-353
65		Rupak Majumdar, Koushik Sen: Hybrid Concolic Testing. ICSE 2007: 416-426
64		Michael Emmi, Rupak Majumdar, Koushik Sen: Dynamic test input generation for database applications. ISSTA 2007: 151-162
63		Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Relations and Metrics. LICS 2007: 99-108
62		Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein: Tasks: language support for event-driven programming. PEPM 2007: 134-143
61		Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Path invariants. PLDI 2007: 300-309
60		Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar: Lock allocation. POPL 2007: 291-296
59		Ranjit Jhala, Rupak Majumdar: Interprocedural analysis of asynchronous programs. POPL 2007: 339-350
58		Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu: State of the Union: Type Inference Via Craig Interpolation. TACAS 2007: 553-567
57		Michael Emmi, Rupak Majumdar: Verifying Compensating Transactions. VMCAI 2007: 29-43
56		Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394
55		Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The software model checker Blast. STTT 9(5-6): 505-525 (2007)
	2006
54		Michael Emmi, Rupak Majumdar: Decision Problems for the Verification of Real-Time Software. HSCC 2006: 200-211
53		Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188
52		Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu: Structural Invariants. SAS 2006: 71-87
51		Deepak Kapur, Rupak Majumdar, Calogero G. Zarba: Interpolation for data structures. SIGSOFT FSE 2006: 105-116
50		Ranjit Jhala, Rupak Majumdar: Bit level types for high level reasoning. SIGSOFT FSE 2006: 128-140
49		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Markov Decision Processes with Multiple Objectives. STACS 2006: 325-336
48		Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: On the universal and existential fragments of the mu-calculus. Theor. Comput. Sci. 354(2): 173-186 (2006)
	2005
47		Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64
46		Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar: Code aware resource management. EMSOFT 2005: 191-202
45		Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar: Joining dataflow with predicates. ESEC/SIGSOFT FSE 2005: 227-236
44		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Permissive interfaces. ESEC/SIGSOFT FSE 2005: 31-40
43		Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Checking Memory Safety with Blast. FASE 2005: 2-18
42		Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu: Quantifying Similarities Between Timed Systems. FORMATS 2005: 226-241
41		Ranjit Jhala, Rupak Majumdar: Path slicing. PLDI 2005: 38-47
40		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The BLAST Software Verification System. SPIN 2005: 25-26
39		Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning. UAI 2005: 104-111
38		Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A classification of symbolic transition systems. ACM Trans. Comput. Log. 6(1): 1-32 (2005)
37		Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model checking discounted temporal properties. Theor. Comput. Sci. 345(1): 139-170 (2005)
	2004
36		Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski: On Nash Equilibria in Stochastic Games. CSL 2004: 26-40
35		Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Generating Tests from Counterexamples. ICSE 2004: 326-335
34		Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255
33		Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PEPM 2004: 201-202
32		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Race checking by context inference. PLDI 2004: 1-13
31		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan: Abstractions from proofs. POPL 2004: 232-244
30		Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PPDP 2004: 1-2
29		Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The Blast Query Language for Software Verification.. SAS 2004: 2-18
28		Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model Checking Discounted Temporal Properties. TACAS 2004: 77-92
27		Jennifer L. Wong, Rupak Majumdar, Miodrag Potkonjak: Fair watermarking using combinatorial isolation lemmas. IEEE Trans. on CAD of Integrated Circuits and Systems 23(11): 1566-1574 (2004)
26		Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack size analysis for interrupt-driven programs. Inf. Comput. 194(2): 144-174 (2004)
25		Luca de Alfaro, Rupak Majumdar: Quantitative solution of omega-regular games. J. Comput. Syst. Sci. 68(2): 374-397 (2004)
	2003
24		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer: Thread-Modular Abstraction Refinement. CAV 2003: 262-274
23		Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: The Element of Surprise in Timed Games. CONCUR 2003: 142-156
22		Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Discounting the Future in Systems Theory. ICALP 2003: 1022-1037
21		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-Guided Control. ICALP 2003: 886-902
20		Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack Size Analysis for Interrupt-Driven Programs. SAS 2003: 109-126
19		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Software Verification with BLAST. SPIN 2003: 235-239
18		Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: On the Universal and Existential Fragments of the µ-Calculus. TACAS 2003: 49-64
17		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido: Extreme Model Checking. Verification: Theory and Practice 2003: 332-358
	2002
16		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer: Temporal-Safety Proofs for Systems Code. CAV 2002: 526-538
15		Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic: Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92
14		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Lazy abstraction. POPL 2002: 58-70
	2001
13		Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Symbolic Algorithms for Infinite-State Games. CONCUR 2001: 536-550
12		Rupak Majumdar, Jennifer L. Wong: Watermarking of SAT using Combinatorial Isolation Lemmas. DAC 2001: 480-485
11		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. ICSE 2001: 835-836
10		Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: From Verification to Control: Dynamic Programs for Omega-Regular Objectives. LICS 2001: 279-290
9		Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani: Automatic Predicate Abstraction of C Programs. PLDI 2001: 203-213
8		Luca de Alfaro, Rupak Majumdar: Quantitative solution of omega-regular games. STOC 2001: 675-683
7		Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A Classification of Symbolic Transition Systems CoRR cs.LO/0101013: (2001)
	2000
6		Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi: Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. HSCC 2000: 130-144
5		Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin: Abstract Interpretation of Game Properties. SAS 2000: 220-239
4		Thomas A. Henzinger, Rupak Majumdar: A Classification of Symbolic Transition Systems. STACS 2000: 13-34
3		Thomas A. Henzinger, Rupak Majumdar: Symbolic Model Checking for Rectangular Hybrid Systems. TACAS 2000: 142-156
	1999
2		Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar: Rectangular Hybrid Games. CONCUR 1999: 320-335
	1996
1		Rupak Majumdar, R. K. Shyamasundar: Design of Controllers for Linear Hybrid Systems. ASIAN 1996: 309-320

Coauthor Index

1	Luca de Alfaro	[8] [10] [11] [13] [22] [23] [25] [28] [37] [46] [53] [63] [71] [73] [75] [77] [84] [88]
2	Rajeev Alur	[11]
3	Thomas Ball	[9]
4	Dirk Beyer	[29] [30] [33] [34] [35] [43] [55] [56] [61] [86]
5	Arindam Chakrabarti	[47]
6	Krishnendu Chatterjee	[20] [26] [36] [39] [47] [49] [53] [73] [76] [77] [83] [84] [88]
7	Adam J. Chlipala	[29] [30] [33] [35]
8	Michael Emmi	[54] [57] [60] [64] [91]
9	Gunes Ercal-Ozkaya (Gunes Ercal)	[78]
10	Marco Faella	[23] [28] [37] [46] [53]
11	Zhe Feng	[82]
12	Jeffrey Fischer	[45] [62] [69] [81] [87] [97]
13	Jeffrey S. Fischer	[60]
14	Pierre Ganty	[74] [93] [96]
15	Patrice Godefroid	[80]
16	Radu Grosu	[11]
17	Ashutosh Gupta	[79] [92]
18	Klaus Havelund	[89]
19	Lei He	[66] [72] [82] [85] [94]
20	Thomas A. Henzinger	[2] [3] [4] [5] [6] [7] [10] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [26] [28] [29] [30] [31] [32] [33] [34] [35] [37] [38] [39] [40] [42] [43] [44] [47] [48] [49] [53] [55] [56] [61] [76] [79] [83]
21	Benjamin Horowitz	[2] [6]
22	Yu Hu	[66] [72] [82] [85] [94]
23	Rafit Izhak-Ratzin	[78]
24	Ranjit Jhala	[14] [16] [17] [19] [21] [24] [29] [30] [31] [32] [33] [34] [35] [39] [40] [41] [43] [44] [45] [50] [52] [55] [58] [59] [60] [90] [91]
25	Marcin Jurdzinski	[36]
26	M. Kang	[11]
27	Deepak Kapur	[51] [100]
28	Christoph M. Kirsch (Christoph Meyer)	[11] [15]
29	Eddie Kohler	[91]
30	Orna Kupferman	[18] [47] [48]
31	Ju-Yueh Lee	[94]
32	Di Ma	[20] [26]
33	Freddy Y. C. Mang	[5] [11]
34	Daniel Marino	[97]
35	Mark Marron	[100]
36	Slobodan Matic	[15]
37	Kenneth L. McMillan	[31]
38	Adam Meyerson	[78]
39	Todd D. Millstein	[9] [62] [97]
40	Benjamin Monmege	[74]
41	George C. Necula	[16]
42	Jens Palsberg	[20] [26] [89]
43	Miodrag Potkonjak	[27]
44	Vinayak S. Prabhu	[42]
45	Shaz Qadeer	[24]
46	Sriram K. Rajamani	[9]
47	Vishwanath Raman	[46] [63] [71] [73] [75] [84]
48	Jean-François Raskin	[5] [7] [38]
49	Andrey Rybalchenko	[56] [61] [79] [92] [93]
50	Indranil Saha	[95]
51	Marco A. A. Sanvido	[17]
52	Koushik Sen	[64] [65]
53	Victor Shih	[66] [72] [85]
54	R. K. Shyamasundar	[1]
55	Francesco Sorrentino	[87]
56	Darko Stefanovic	[100]
57	Mariëlle Stoelinga	[23] [28] [37] [53] [63] [71] [75]
58	Grégoire Sutre	[14] [16] [19]
59	Paulo Tabuada	[99]
60	Bow-Yaw Wang	[11]
61	Westley Weimer	[16]
62	Jennifer L. Wong	[12] [27]
63	Howard Wong-Toi	[6]
64	Ru-Gang Xu	[52] [58] [67] [68] [70] [79] [80] [98]
65	Calogero G. Zarba	[51]
66	Tian Zhao	[20] [26]
67	Damien Zufferey	[86]

Colors in the list of coauthors