Rupak Majumdar

2008
73	EE	Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu: Proving non-termination. POPL 2008: 147-158
72	EE	Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson: Frugal Routing on Wireless Ad-Hoc Networks. SAGT 2008: 133-144
71	EE	Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage CoRR abs/0804.4525: (2008)
70	EE	Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Stochastic Limit-Average Games are in EXPTIME CoRR abs/0805.2622: (2008)
2007
69	EE	Rupak Majumdar, Ru-Gang Xu: Directed test generation using symbolic grammars. ASE 2007: 134-143
68	EE	Jeffrey Fischer, Rupak Majumdar: Ensuring consistency in long running transactions. ASE 2007: 54-63
67	EE	Rupak Majumdar, Ru-Gang Xu: Directed test generation using symbolic grammars. ESEC/SIGSOFT FSE 2007: 553-556
66	EE	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	EE	Rupak Majumdar, Koushik Sen: Hybrid Concolic Testing. ICSE 2007: 416-426
64	EE	Michael Emmi, Rupak Majumdar, Koushik Sen: Dynamic test input generation for database applications. ISSTA 2007: 151-162
63	EE	Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Relations and Metrics. LICS 2007: 99-108
62	EE	Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein: Tasks: language support for event-driven programming. PEPM 2007: 134-143
61	EE	Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Path invariants. PLDI 2007: 300-309
60	EE	Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar: Lock allocation. POPL 2007: 291-296
59	EE	Ranjit Jhala, Rupak Majumdar: Interprocedural analysis of asynchronous programs. POPL 2007: 339-350
58	EE	Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu: State of the Union: Type Inference Via Craig Interpolation. TACAS 2007: 553-567
57	EE	Michael Emmi, Rupak Majumdar: Verifying Compensating Transactions. VMCAI 2007: 29-43
56	EE	Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394
55	EE	Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The software model checker Blast. STTT 9(5-6): 505-525 (2007)
2006
54	EE	Michael Emmi, Rupak Majumdar: Decision Problems for the Verification of Real-Time Software. HSCC 2006: 200-211
53	EE	Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188
52	EE	Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu: Structural Invariants. SAS 2006: 71-87
51	EE	Deepak Kapur, Rupak Majumdar, Calogero G. Zarba: Interpolation for data structures. SIGSOFT FSE 2006: 105-116
50	EE	Ranjit Jhala, Rupak Majumdar: Bit level types for high level reasoning. SIGSOFT FSE 2006: 128-140
49	EE	Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Markov Decision Processes with Multiple Objectives. STACS 2006: 325-336
48	EE	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	EE	Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64
46	EE	Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar: Code aware resource management. EMSOFT 2005: 191-202
45	EE	Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar: Joining dataflow with predicates. ESEC/SIGSOFT FSE 2005: 227-236
44	EE	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Permissive interfaces. ESEC/SIGSOFT FSE 2005: 31-40
43	EE	Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Checking Memory Safety with Blast. FASE 2005: 2-18
42	EE	Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu: Quantifying Similarities Between Timed Systems. FORMATS 2005: 226-241
41	EE	Ranjit Jhala, Rupak Majumdar: Path slicing. PLDI 2005: 38-47
40	EE	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The BLAST Software Verification System. SPIN 2005: 25-26
39	EE	Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning. UAI 2005: 104-111
38	EE	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	EE	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	EE	Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski: On Nash Equilibria in Stochastic Games. CSL 2004: 26-40
35	EE	Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Generating Tests from Counterexamples. ICSE 2004: 326-335
34	EE	Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255
33	EE	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	EE	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Race checking by context inference. PLDI 2004: 1-13
31	EE	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan: Abstractions from proofs. POPL 2004: 232-244
30	EE	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	EE	Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The Blast Query Language for Software Verification.. SAS 2004: 2-18
28	EE	Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model Checking Discounted Temporal Properties. TACAS 2004: 77-92
27	EE	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	EE	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	EE	Luca de Alfaro, Rupak Majumdar: Quantitative solution of omega-regular games. J. Comput. Syst. Sci. 68(2): 374-397 (2004)
2003
24	EE	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer: Thread-Modular Abstraction Refinement. CAV 2003: 262-274
23	EE	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	EE	Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Discounting the Future in Systems Theory. ICALP 2003: 1022-1037
21	EE	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-Guided Control. ICALP 2003: 886-902
20	EE	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	EE	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Software Verification with BLAST. SPIN 2003: 235-239
18	EE	Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: On the Universal and Existential Fragments of the µ-Calculus. TACAS 2003: 49-64
17	EE	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido: Extreme Model Checking. Verification: Theory and Practice 2003: 332-358
2002
16	EE	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	EE	Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic: Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92
14	EE	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Lazy abstraction. POPL 2002: 58-70
2001
13	EE	Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Symbolic Algorithms for Infinite-State Games. CONCUR 2001: 536-550
12	EE	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	EE	Luca de Alfaro, Rupak Majumdar: Quantitative solution of omega-regular games. STOC 2001: 675-683
7	EE	Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A Classification of Symbolic Transition Systems CoRR cs.LO/0101013: (2001)
2000
6	EE	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	EE	Thomas A. Henzinger, Rupak Majumdar: A Classification of Symbolic Transition Systems. STACS 2000: 13-34
3	EE	Thomas A. Henzinger, Rupak Majumdar: Symbolic Model Checking for Rectangular Hybrid Systems. TACAS 2000: 142-156
1999
2	EE	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]
2	Rajeev Alur	[11]
3	Thomas Ball	[9]
4	Dirk Beyer	[29] [30] [33] [34] [35] [43] [55] [56] [61]
5	Arindam Chakrabarti	[47]
6	Krishnendu Chatterjee	[20] [26] [36] [39] [47] [49] [53] [70] [71]
7	Adam J. Chlipala	[29] [30] [33] [35]
8	Michael Emmi	[54] [57] [60] [64]
9	Gunes Ercal	[72]
10	Marco Faella	[23] [28] [37] [46] [53]
11	Jeffrey Fischer	[45] [62] [68]
12	Jeffrey S. Fischer	[60]
13	Radu Grosu	[11]
14	Ashutosh Gupta	[73]
15	Lei He	[66]
16	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] [70] [73]
17	Benjamin Horowitz	[2] [6]
18	Yu Hu	[66]
19	Rafit Izhak-Ratzin	[72]
20	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]
21	Marcin Jurdzinski	[36]
22	M. Kang	[11]
23	Deepak Kapur	[51]
24	Christoph M. Kirsch (Christoph Meyer)	[11] [15]
25	Orna Kupferman	[18] [47] [48]
26	Di Ma	[20] [26]
27	Freddy Y. C. Mang	[5] [11]
28	Slobodan Matic	[15]
29	Kenneth L. McMillan	[31]
30	Adam Meyerson	[72]
31	Todd D. Millstein	[9] [62]
32	George C. Necula	[16]
33	Jens Palsberg	[20] [26]
34	Miodrag Potkonjak	[27]
35	Vinayak S. Prabhu	[42]
36	Shaz Qadeer	[24]
37	Sriram K. Rajamani	[9]
38	Vishwanath Raman	[46] [63]
39	Jean-François Raskin	[5] [7] [38]
40	Andrey Rybalchenko	[56] [61] [73]
41	Marco A. A. Sanvido	[17]
42	Koushik Sen	[64] [65]
43	Victor Shih	[66]
44	R. K. Shyamasundar	[1]
45	Mariëlle Stoelinga	[23] [28] [37] [53] [63]
46	Grégoire Sutre	[14] [16] [19]
47	Bow-Yaw Wang	[11]
48	Westley Weimer	[16]
49	Jennifer L. Wong	[12] [27]
50	Howard Wong-Toi	[6]
51	Ru-Gang Xu	[52] [58] [67] [69] [73]
52	Calogero G. Zarba	[51]
53	Tian Zhao	[20] [26]

Colors in the list of coauthors