dblp.uni-trier.dewww.uni-trier.de

Rupak Majumdar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)