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

Rupak Majumdar Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar: Scalable testing of file system checkers. EuroSys 2012: 239-252
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer: Language-Theoretic Abstraction Refinement. FASE 2012: 362-376
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang: CLSE: Closed-Loop Symbolic Execution. NASA Formal Methods 2012: 356-370
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar: The Marriage of Exploration and Deduction. VSTTE 2012: 162
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Rupak Majumdar: Algorithmic verification of asynchronous programs. ACM Trans. Program. Lang. Syst. 34(1): 6 (2012)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Pierre Ganty, Rupak Majumdar: A Perfect Model for Bounded Verification CoRR abs/1201.3194: (2012)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Martin Chmelik, Rupak Majumdar: Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games CoRR abs/1202.4140: (2012)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Indranil Saha, Majid Zamani: Synthesis of Minimal Error Control Software CoRR abs/1204.2857: (2012)
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Rupak Majumdar, Benjamin Monmege: Bounded underapproximations. Formal Methods in System Design 40(2): 206-231 (2012)
2011
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanjit Jhala, Rupak Majumdar, Andrey Rybalchenko: HMC: Verifying Functional Programs Using Abstract Interpreters. CAV 2011: 470-485
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManu Jose, Rupak Majumdar: Bug-Assist: Assisting Fault Localization in ANSI-C Programs. CAV 2011: 504-509
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMajid Zamani, Rupak Majumdar: A Lyapunov approach in incremental stability. CDC-ECE 2011: 302-307
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Indranil Saha, Majid Zamani: Performance-aware scheduler synthesis for control systems. EMSOFT 2011: 299-308
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar: End-to-End Guarantees in Embedded Control Systems - (Abstract). Ershov Memorial Conference 2011: 40
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Rupak Majumdar: Minimum Attention Controller Synthesis for Omega-Regular Objectives. FORMATS 2011: 145-159
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Elaine Render, Paulo Tabuada: Robust discrete synthesis against unspecified disturbances. HSCC 2011: 211-220
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPritam Roy, Paulo Tabuada, Rupak Majumdar: Pessoa 2.0: a controller synthesis tool for cyber-physical systems. HSCC 2011: 315-316
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManu Jose, Rupak Majumdar: Cause clue clauses: error localization using maximum satisfiability. PLDI 2011: 437-446
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMajid Zamani, Rupak Majumdar: Coordinate-invariant incremental Lyapunov functions CoRR abs/1107.2681: (2011)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Elaine Render, Paulo Tabuada: A theory of robust software synthesis CoRR abs/1108.3540: (2011)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson: VCG with Communities on Random Ad Hoc Networks. IJDSN 2011: (2011)
2010
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Esparza, Rupak Majumdar: 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 Springer 2010
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJu-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He, Minming Li: Fault-tolerant resynthesis with dual-output LUTs. ASP-DAC 2010: 325-330
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Rupak Majumdar, Benjamin Monmege: Bounded Underapproximations. CAV 2010: 600-614
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManu Jose, Yu Hu, Rupak Majumdar, Lei He: Rewiring for robustness. DAC 2010: 469-474
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamuel 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: 783-788
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada: Automatic verification of control system implementations. EMSOFT 2010: 9-18
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Rupak Majumdar: Discounting in Games across Time Scales GANDALF 2010: 22-29
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManu Jose, Yu Hu, Rupak Majumdar: On power and fault-tolerance optimization in FPGA physical synthesis. ICCAD 2010: 224-229
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Indranil Saha, Zilong Wang: Systematic testing for control applications. MEMOCODE 2010: 1-10
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Emmi, Rupak Majumdar, Roman Manevich: Parameterized verification of transactional memories. PLDI 2010: 134-145
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur: Shape Analysis with Reference Set Relations. VMCAI 2010: 247-262
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason Cong, Bin Liu, Rupak Majumdar, Zhiru Zhang: Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis. ACM Trans. Design Autom. Electr. Syst. 16(1): 4 (2010)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanjit Jhala, Rupak Majumdar, Andrey Rybalchenko: Refinement type inference via abstract interpretation CoRR abs/1004.2884: (2010)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPritam Roy, Paulo Tabuada, Rupak Majumdar: Safety-Guarantee Controller Synthesis for Cyber-Physical Systems CoRR abs/1010.5665: (2010)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Rupak Majumdar: Algorithmic Verification of Asynchronous Programs CoRR abs/1011.0551: (2010)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManu Jose, Rupak Majumdar: Cause Clue Clauses: Error Localization using Maximum Satisfiability CoRR abs/1011.1589: (2010)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar: Paul Ammann and Jeff OffuttIntroduction to Software Testing. Cambridge University Press(2008). ISBN: 978-0-521-88038-1, 322 pp. Hardcover. Comput. J. 53(5): 615 (2010)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics (Full Version) Logical Methods in Computer Science 6(3): (2010)
2009
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Paulo Tabuada: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings Springer 2009
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Ru-Gang Xu: Reducing Test Inputs Using Information Partitions. CAV 2009: 555-569
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein: Fine-Grained Access Control with Object-Sensitive Roles. ECOOP 2009: 173-194
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Rupak Majumdar: Analyzing Real-Time Event-Driven Programs. FORMATS 2009: 164-178
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe Feng, Yu Hu, Lei He, Rupak Majumdar: IPR: In-Place Reconfiguration for FPGA fault tolerance. ICCAD 2009: 105-108
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafit Izhak-Ratzin, Nikitas Liogkas, Rupak Majumdar: Team Incentives in BitTorrent Systems. ICCCN 2009: 1-8
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Indranil Saha: Symbolic Robustness Analysis. IEEE Real-Time Systems Symposium 2009: 355-363
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJu-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He: Simultaneous test pattern compaction, ordering and X-filling for testing power reduction. ISQED 2009: 702-707
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Rupak Majumdar, Andrey Rybalchenko: Verifying liveness for asynchronous programs. POPL 2009: 102-113
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Gupta, Rupak Majumdar, Andrey Rybalchenko: From Tests to Proofs. TACAS 2009: 262-276
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar: Verifying Reference Counting Implementations. TACAS 2009: 352-367
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanjit Jhala, Rupak Majumdar: Software model checking. ACM Comput. Surv. 41(4): (2009)
2008
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Havelund, Rupak Majumdar, Jens Palsberg: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings Springer 2008
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage. APLAS 2008: 91-106
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Fischer, Rupak Majumdar, Francesco Sorrentino: The Consistency of Web Conversations. ASE 2008: 415-418
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Damien Zufferey, Rupak Majumdar: CSIsat: Interpolation for LA+EUF. CAV 2008: 304-308
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Hu, Victor Shih, Rupak Majumdar, Lei He: FPGA area reduction by multi-output function based sequential resynthesis. DAC 2008: 24-29
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics. FSTTCS 2008: 107-118
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Controller Synthesis with Budget Constraints. HSCC 2008: 72-86
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Hu, Zhe Feng, Lei He, Rupak Majumdar: Robust FPGA resynthesis based on fault-tolerant Boolean matching. ICCAD 2008: 706-713
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Fischer, Rupak Majumdar: A Theory of Role Composition. ICWS 2008: 320-328
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRu-Gang Xu, Patrice Godefroid, Rupak Majumdar: Testing for buffer overflows with length abstraction. ISSTA 2008: 27-38
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu: Proving non-termination. POPL 2008: 147-158
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson: Frugal Routing on Wireless Ad-Hoc Networks. SAGT 2008: 133-144
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage CoRR abs/0804.4525: (2008)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Stochastic Limit-Average Games are in EXPTIME CoRR abs/0805.2622: (2008)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Refinement Relations and Metrics CoRR abs/0806.4956: (2008)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Rupak Majumdar, Benjamin Monmege: Parikh-Equivalent Bounded Underapproximations CoRR abs/0809.1236: (2008)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu 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)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Stochastic limit-average games are in EXPTIME. Int. J. Game Theory 37(2): 219-234 (2008)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Refinement Relations and Metrics. Logical Methods in Computer Science 4(3): (2008)
2007
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Ru-Gang Xu: Directed test generation using symbolic grammars. ASE 2007: 134-143
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Fischer, Rupak Majumdar: Ensuring consistency in long running transactions. ASE 2007: 54-63
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Ru-Gang Xu: Directed test generation using symbolic grammars. ESEC/SIGSOFT FSE 2007: 553-556
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Ru-Gang Xu: Directed test generation using symbolic grammars. ESEC/SIGSOFT FSE (Companion) 2007: 553-556
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Hu, Victor Shih, Rupak Majumdar, Lei He: Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping. ICCAD 2007: 350-353
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Koushik Sen: Hybrid Concolic Testing. ICSE 2007: 416-426
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Emmi, Rupak Majumdar, Koushik Sen: Dynamic test input generation for database applications. ISSTA 2007: 151-162
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Relations and Metrics. LICS 2007: 99-108
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Fischer, Rupak Majumdar, Todd D. Millstein: Tasks: language support for event-driven programming. PEPM 2007: 134-143
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Path invariants. PLDI 2007: 300-309
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar: Lock allocation. POPL 2007: 291-296
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanjit Jhala, Rupak Majumdar: Interprocedural analysis of asynchronous programs. POPL 2007: 339-350
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanjit Jhala, Rupak Majumdar, Ru-Gang Xu: State of the Union: Type Inference Via Craig Interpolation. TACAS 2007: 553-567
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Emmi, Rupak Majumdar: Verifying Compensating Transactions. VMCAI 2007: 29-43
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The software model checker Blast. STTT 9(5-6): 505-525 (2007)
2006
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Emmi, Rupak Majumdar: Decision Problems for the Verification of Real-Time Software. HSCC 2006: 200-211
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanjit Jhala, Rupak Majumdar, Ru-Gang Xu: Structural Invariants. SAS 2006: 71-87
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Kapur, Rupak Majumdar, Calogero G. Zarba: Interpolation for data structures. SIGSOFT FSE 2006: 105-116
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanjit Jhala, Rupak Majumdar: Bit level types for high level reasoning. SIGSOFT FSE 2006: 128-140
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Markov Decision Processes with Multiple Objectives. STACS 2006: 325-336
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar: Code aware resource management. EMSOFT 2005: 191-202
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Fischer, Ranjit Jhala, Rupak Majumdar: Joining dataflow with predicates. ESEC/SIGSOFT FSE 2005: 227-236
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Permissive interfaces. ESEC/SIGSOFT FSE 2005: 31-40
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Checking Memory Safety with Blast. FASE 2005: 2-18
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu: Quantifying Similarities Between Timed Systems. FORMATS 2005: 226-241
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanjit Jhala, Rupak Majumdar: Path slicing. PLDI 2005: 38-47
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The BLAST Software Verification System. SPIN 2005: 25-26
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning. UAI 2005: 104-111
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A classification of symbolic transition systems. ACM Trans. Comput. Log. 6(1): 1-32 (2005)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski: On Nash Equilibria in Stochastic Games. CSL 2004: 26-40
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Generating Tests from Counterexamples. ICSE 2004: 326-335
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PEPM 2004: 201-202
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Race checking by context inference. PLDI 2004: 1-13
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan: Abstractions from proofs. POPL 2004: 232-244
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PPDP 2004: 1-2
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The Blast Query Language for Software Verification.. SAS 2004: 2-18
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model Checking Discounted Temporal Properties. TACAS 2004: 77-92
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJennifer 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)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu 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)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Rupak Majumdar: Quantitative solution of omega-regular games. J. Comput. Syst. Sci. 68(2): 374-397 (2004)
2003
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer: Thread-Modular Abstraction Refinement. CAV 2003: 262-274
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: The Element of Surprise in Timed Games. CONCUR 2003: 142-156
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Discounting the Future in Systems Theory. ICALP 2003: 1022-1037
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-Guided Control. ICALP 2003: 886-902
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack Size Analysis for Interrupt-Driven Programs. SAS 2003: 109-126
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Software Verification with BLAST. SPIN 2003: 235-239
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Orna Kupferman, Rupak Majumdar: On the Universal and Existential Fragments of the µ-Calculus. TACAS 2003: 49-64
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido: Extreme Model Checking. Verification: Theory and Practice 2003: 332-358
2002
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer: Temporal-Safety Proofs for Systems Code. CAV 2002: 526-538
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic: Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Lazy abstraction. POPL 2002: 58-70
2001
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Symbolic Algorithms for Infinite-State Games. CONCUR 2001: 536-550
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak Majumdar, Jennifer L. Wong: Watermarking of SAT using Combinatorial Isolation Lemmas. DAC 2001: 480-485
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: From Verification to Control: Dynamic Programs for Omega-Regular Objectives. LICS 2001: 279-290
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani: Automatic Predicate Abstraction of C Programs. PLDI 2001: 203-213
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Rupak Majumdar: Quantitative solution of omega-regular games. STOC 2001: 675-683
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A Classification of Symbolic Transition Systems CoRR cs.LO/0101013: (2001)
2000
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi: Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. HSCC 2000: 130-144
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin: Abstract Interpretation of Game Properties. SAS 2000: 220-239
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Rupak Majumdar: A Classification of Symbolic Transition Systems. STACS 2000: 13-34
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Rupak Majumdar: Symbolic Model Checking for Rectangular Hybrid Systems. TACAS 2000: 142-156
1999
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar: Rectangular Hybrid Games. CONCUR 1999: 320-335
1996
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupak 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] [71] [75] [77] [84] [88] [102]
2Rajeev Alur [11]
3Thomas Ball [9]
4Dirk Beyer [29] [30] [33] [34] [35] [43] [55] [56] [61] [86]
5Georgel Calin [139]
6George Candea [140]
7João Carlos Menezes Carreira [140]
8Arindam Chakrabarti [47]
9Krishnendu Chatterjee [20] [26] [36] [39] [47] [49] [53] [72] [76] [77] [83] [84] [88] [102] [113] [126] [134]
10Adam Chlipala [29] [30] [33] [35]
11Martin Chmelik [134]
12Jason Cong [108]
13Michael Emmi [54] [57] [60] [64] [91] [110]
14Gunes Ercal-Ozkaya (Gunes Ercal) [78] [120]
15Javier Esparza [119] [135]
16Marco Faella [23] [28] [37] [46] [53]
17Zhe Feng [82] [97]
18Jeffrey Fischer [45] [62] [69] [81] [87] [99]
19Jeffrey S. Fischer [60]
20Pierre Ganty [74] [93] [98] [105] [117] [132] [135] [136]
21Patrice Godefroid [80]
22Radu Grosu [11]
23Ashutosh Gupta [79] [92]
24Klaus Havelund [89]
25Lei He [66] [73] [82] [85] [94] [97] [115] [116] [118]
26Thomas 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] [72] [76] [79] [83]
27Benjamin Horowitz [2] [6]
28Yu Hu [66] [73] [82] [85] [94] [97] [112] [115] [116] [118]
29Rafit Izhak-Ratzin [78] [96] [120]
30Ranjit 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] [107] [131]
31Manu Jose [104] [112] [116] [123] [130]
32Marcin Jurdzinski [36]
33M. Kang [11]
34Deepak Kapur [51] [109]
35Christoph M. Kirsch (Christoph Meyer) [11] [15]
36Eddie Kohler [91]
37Orna Kupferman [18] [47] [48]
38Ju-Yueh Lee [94] [115] [118]
39Minming Li [118]
40Nikitas Liogkas [96]
41Bin Liu [108]
42Zhenyue Long [139]
43Samuel B. Luckenbill [115]
44Di Ma [20] [26]
45Roman Manevich [110]
46Freddy Y. C. Mang [5] [11]
47Daniel Marino [99]
48Mark Marron [109]
49Adolfo Anta Martinez [114]
50Slobodan Matic [15]
51Kenneth L. McMillan [31]
52Roland Meyer [139]
53Adam Meyerson [78] [120]
54Todd D. Millstein [9] [62] [99]
55Benjamin Monmege [74] [117] [132]
56George C. Necula [16]
57Jens Palsberg [20] [26] [89]
58Miodrag Potkonjak [27]
59Vinayak S. Prabhu [42]
60Shaz Qadeer [24]
61Sriram K. Rajamani [9]
62Vishwanath Raman [46] [63] [71] [75] [84] [102]
63Jean-François Raskin [5] [7] [38]
64Elaine Render [121] [125]
65Rodrigo Rodrigues [140]
66Pritam Roy [106] [124]
67Andrey Rybalchenko [56] [61] [79] [92] [93] [107] [131]
68Indranil Saha [95] [111] [114] [128] [133] [138]
69Marco A. A. Sanvido [17]
70Koushik Sen [64] [65]
71K. C. Shashidhar [138]
72Victor Shih [66] [73] [85]
73R. K. Shyamasundar (Rudrapatna K. Shyamasundar) [1]
74Francesco Sorrentino [87]
75Darko Stefanovic [109]
76Mariëlle Stoelinga [23] [28] [37] [53] [63] [71] [75]
77Grégoire Sutre [14] [16] [19]
78Paulo Tabuada [101] [106] [114] [121] [124] [125]
79Bow-Yaw Wang [11]
80Zilong Wang [111] [138]
81Westley Weimer [16]
82Jennifer L. Wong [12] [27]
83Howard Wong-Toi [6]
84Ru-Gang Xu [52] [58] [67] [68] [70] [79] [80] [100]
85Majid Zamani [122] [128] [129] [133]
86Calogero G. Zarba [51]
87Zhiru Zhang [108]
88Tian Zhao [20] [26]
89Damien Zufferey [86]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page