2009 |
93 | EE | 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 |
92 | EE | 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 |
91 | EE | Pierre Ganty,
Rupak Majumdar,
Andrey Rybalchenko:
Verifying liveness for asynchronous programs.
POPL 2009: 102-113 |
90 | EE | Ashutosh Gupta,
Rupak Majumdar,
Andrey Rybalchenko:
From Tests to Proofs.
TACAS 2009: 262-276 |
89 | EE | Michael 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 |
87 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Rupak Majumdar:
The Complexity of Coverage.
APLAS 2008: 91-106 |
86 | EE | Jeffrey Fischer,
Rupak Majumdar,
Francesco Sorrentino:
The Consistency of Web Conversations.
ASE 2008: 415-418 |
85 | EE | Dirk Beyer,
Damien Zufferey,
Rupak Majumdar:
CSIsat: Interpolation for LA+EUF.
CAV 2008: 304-308 |
84 | EE | Yu Hu,
Victor Shih,
Rupak Majumdar,
Lei He:
FPGA area reduction by multi-output function based sequential resynthesis.
DAC 2008: 24-29 |
83 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman:
Algorithms for Game Metrics.
FSTTCS 2008 |
82 | EE | Krishnendu Chatterjee,
Rupak Majumdar,
Thomas A. Henzinger:
Controller Synthesis with Budget Constraints.
HSCC 2008: 72-86 |
81 | EE | Yu Hu,
Zhe Feng,
Lei He,
Rupak Majumdar:
Robust FPGA resynthesis based on fault-tolerant Boolean matching.
ICCAD 2008: 706-713 |
80 | EE | Jeffrey Fischer,
Rupak Majumdar:
A Theory of Role Composition.
ICWS 2008: 320-328 |
79 | EE | Ru-Gang Xu,
Patrice Godefroid,
Rupak Majumdar:
Testing for buffer overflows with length abstraction.
ISSTA 2008: 27-38 |
78 | EE | Ashutosh Gupta,
Thomas A. Henzinger,
Rupak Majumdar,
Andrey Rybalchenko,
Ru-Gang Xu:
Proving non-termination.
POPL 2008: 147-158 |
77 | EE | Gunes Ercal,
Rafit Izhak-Ratzin,
Rupak Majumdar,
Adam Meyerson:
Frugal Routing on Wireless Ad-Hoc Networks.
SAGT 2008: 133-144 |
76 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Rupak Majumdar:
The Complexity of Coverage
CoRR abs/0804.4525: (2008) |
75 | EE | Krishnendu Chatterjee,
Rupak Majumdar,
Thomas A. Henzinger:
Stochastic Limit-Average Games are in EXPTIME
CoRR abs/0805.2622: (2008) |
74 | EE | Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman,
Mariëlle Stoelinga:
Game Refinement Relations and Metrics
CoRR abs/0806.4956: (2008) |
73 | EE | Pierre Ganty,
Rupak Majumdar,
Benjamin Monmege:
Parikh-Equivalent Bounded Underapproximations
CoRR abs/0809.1236: (2008) |
72 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman:
Algorithms for Game Metrics (Full Version)
CoRR abs/0809.4326: (2008) |
71 | EE | 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) |
2007 |
70 | EE | Rupak Majumdar,
Ru-Gang Xu:
Directed test generation using symbolic grammars.
ASE 2007: 134-143 |
69 | EE | Jeffrey Fischer,
Rupak Majumdar:
Ensuring consistency in long running transactions.
ASE 2007: 54-63 |
68 | EE | Rupak Majumdar,
Ru-Gang Xu:
Directed test generation using symbolic grammars.
ESEC/SIGSOFT FSE 2007: 553-556 |
67 | EE | Rupak Majumdar,
Ru-Gang Xu:
Directed test generation using symbolic grammars.
ESEC/SIGSOFT FSE (Companion) 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 |