The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rupak Majumdar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rupak Majumdar, R. K. Shyamasundar
    Design of Controllers for Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:309-320 [Conf]
  2. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido
    Extreme Model Checking. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:332-358 [Conf]
  3. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer
    Temporal-Safety Proofs for Systems Code. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:526-538 [Conf]
  4. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
    Thread-Modular Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:262-274 [Conf]
  5. Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
    Verifying Quantitative Properties Using Bound Functions. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:50-64 [Conf]
  6. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
    The Element of Surprise in Timed Games. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:142-156 [Conf]
  7. Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
    Symbolic Algorithms for Infinite-State Games. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:536-550 [Conf]
  8. Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar
    Rectangular Hybrid Games. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:320-335 [Conf]
  9. Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski
    On Nash Equilibria in Stochastic Games. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:26-40 [Conf]
  10. Rupak Majumdar, Jennifer L. Wong
    Watermarking of SAT using Combinatorial Isolation Lemmas. [Citation Graph (0, 0)][DBLP]
    DAC, 2001, pp:480-485 [Conf]
  11. Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar
    Code aware resource management. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:191-202 [Conf]
  12. Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic
    Time-Safety Checking for Embedded Programs. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:76-92 [Conf]
  13. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Checking Memory Safety with Blast. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:2-18 [Conf]
  14. Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu
    Quantifying Similarities Between Timed Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:226-241 [Conf]
  15. Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi
    Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:130-144 [Conf]
  16. Michael Emmi, Rupak Majumdar
    Decision Problems for the Verification of Real-Time Software. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:200-211 [Conf]
  17. Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
    Discounting the Future in Systems Theory. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:1022-1037 [Conf]
  18. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Counterexample-Guided Control. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:886-902 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:835-836 [Conf]
  20. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Generating Tests from Counterexamples. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:326-335 [Conf]
  21. Rupak Majumdar, Koushik Sen
    Hybrid Concolic Testing. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:416-426 [Conf]
  22. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    An Eclipse Plug-in for Model Checking. [Citation Graph (0, 0)][DBLP]
    IWPC, 2004, pp:251-255 [Conf]
  23. Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
    From Verification to Control: Dynamic Programs for Omega-Regular Objectives. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:279-290 [Conf]
  24. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Invited talk: the blast query language for software verification. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:201-202 [Conf]
  25. Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein
    Tasks: language support for event-driven programming. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:134-143 [Conf]
  26. Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
    Automatic Predicate Abstraction of C Programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:203-213 [Conf]
  27. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Race checking by context inference. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:1-13 [Conf]
  28. Ranjit Jhala, Rupak Majumdar
    Path slicing. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:38-47 [Conf]
  29. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan
    Abstractions from proofs. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:232-244 [Conf]
  30. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    Lazy abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:58-70 [Conf]
  31. Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar
    Lock allocation. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:291-296 [Conf]
  32. Ranjit Jhala, Rupak Majumdar
    Interprocedural analysis of asynchronous programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:339-350 [Conf]
  33. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Invited talk: the blast query language for software verification. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:1-2 [Conf]
  34. Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
    Compositional Quantitative Reasoning. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:179-188 [Conf]
  35. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
    Stack Size Analysis for Interrupt-Driven Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:109-126 [Conf]
  36. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    The Blast Query Language for Software Verification.. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:2-18 [Conf]
  37. Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
    Structural Invariants. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:71-87 [Conf]
  38. Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin
    Abstract Interpretation of Game Properties. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:220-239 [Conf]
  39. Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar
    Joining dataflow with predicates. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:227-236 [Conf]
  40. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Permissive interfaces. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:31-40 [Conf]
  41. Ranjit Jhala, Rupak Majumdar
    Bit level types for high level reasoning. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:128-140 [Conf]
  42. Deepak Kapur, Rupak Majumdar, Calogero G. Zarba
    Interpolation for data structures. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:105-116 [Conf]
  43. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    The BLAST Software Verification System. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:25-26 [Conf]
  44. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    Software Verification with BLAST. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:235-239 [Conf]
  45. Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
    Markov Decision Processes with Multiple Objectives. [Citation Graph (0, 0)][DBLP]
    STACS, 2006, pp:325-336 [Conf]
  46. Thomas A. Henzinger, Rupak Majumdar
    A Classification of Symbolic Transition Systems. [Citation Graph (0, 0)][DBLP]
    STACS, 2000, pp:13-34 [Conf]
  47. Luca de Alfaro, Rupak Majumdar
    Quantitative solution of omega-regular games. [Citation Graph (0, 0)][DBLP]
    STOC, 2001, pp:675-683 [Conf]
  48. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
    Model Checking Discounted Temporal Properties. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:77-92 [Conf]
  49. Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
    On the Universal and Existential Fragments of the µ-Calculus. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:49-64 [Conf]
  50. Thomas A. Henzinger, Rupak Majumdar
    Symbolic Model Checking for Rectangular Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:142-156 [Conf]
  51. Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin
    A Classification of Symbolic Transition Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  52. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
    Stack size analysis for interrupt-driven programs. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:194, n:2, pp:144-174 [Journal]
  53. Luca de Alfaro, Rupak Majumdar
    Quantitative solution of omega-regular games. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2004, v:68, n:2, pp:374-397 [Journal]
  54. Jennifer L. Wong, Rupak Majumdar, Miodrag Potkonjak
    Fair watermarking using combinatorial isolation lemmas. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2004, v:23, n:11, pp:1566-1574 [Journal]
  55. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
    Model checking discounted temporal properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:345, n:1, pp:139-170 [Journal]
  56. Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
    On the universal and existential fragments of the mu-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:173-186 [Journal]
  57. Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin
    A classification of symbolic transition systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:1, pp:1-32 [Journal]
  58. Michael Emmi, Rupak Majumdar, Koushik Sen
    Dynamic test input generation for database applications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2007, pp:151-162 [Conf]
  59. Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
    Game Relations and Metrics. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:99-108 [Conf]
  60. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
    Path invariants. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:300-309 [Conf]
  61. Rupak Majumdar, Ru-Gang Xu
    Directed test generation using symbolic grammars. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:553-556 [Conf]
  62. Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
    State of the Union: Type Inference Via Craig Interpolation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:553-567 [Conf]
  63. Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Counterexample-guided Planning. [Citation Graph (0, 0)][DBLP]
    UAI, 2005, pp:104-111 [Conf]

  64. The Complexity of Coverage. [Citation Graph (, )][DBLP]


  65. Reducing Test Inputs Using Information Partitions. [Citation Graph (, )][DBLP]


  66. CSIsat: Interpolation for LA+EUF. [Citation Graph (, )][DBLP]


  67. Bounded Underapproximations. [Citation Graph (, )][DBLP]


  68. FPGA area reduction by multi-output function based sequential resynthesis. [Citation Graph (, )][DBLP]


  69. Rewiring for robustness. [Citation Graph (, )][DBLP]


  70. RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications. [Citation Graph (, )][DBLP]


  71. Fine-Grained Access Control with Object-Sensitive Roles. [Citation Graph (, )][DBLP]


  72. Analyzing Real-Time Event-Driven Programs. [Citation Graph (, )][DBLP]


  73. Algorithms for Game Metrics. [Citation Graph (, )][DBLP]


  74. Controller Synthesis with Budget Constraints. [Citation Graph (, )][DBLP]


  75. Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping. [Citation Graph (, )][DBLP]


  76. IPR: In-Place Reconfiguration for FPGA fault tolerance. [Citation Graph (, )][DBLP]


  77. Robust FPGA resynthesis based on fault-tolerant Boolean matching. [Citation Graph (, )][DBLP]


  78. A Theory of Role Composition. [Citation Graph (, )][DBLP]


  79. Simultaneous test pattern compaction, ordering and X-filling for testing power reduction. [Citation Graph (, )][DBLP]


  80. Testing for buffer overflows with length abstraction. [Citation Graph (, )][DBLP]


  81. Directed test generation using symbolic grammars. [Citation Graph (, )][DBLP]


  82. Ensuring consistency in long running transactions. [Citation Graph (, )][DBLP]


  83. The Consistency of Web Conversations. [Citation Graph (, )][DBLP]


  84. Parameterized verification of transactional memories. [Citation Graph (, )][DBLP]


  85. Verifying liveness for asynchronous programs. [Citation Graph (, )][DBLP]


  86. Proving non-termination. [Citation Graph (, )][DBLP]


  87. Symbolic Robustness Analysis. [Citation Graph (, )][DBLP]


  88. Directed test generation using symbolic grammars. [Citation Graph (, )][DBLP]


  89. Verifying Reference Counting Implementations. [Citation Graph (, )][DBLP]


  90. From Tests to Proofs. [Citation Graph (, )][DBLP]


  91. Verifying Compensating Transactions. [Citation Graph (, )][DBLP]


  92. Invariant Synthesis for Combined Theories. [Citation Graph (, )][DBLP]


  93. Shape Analysis with Reference Set Relations. [Citation Graph (, )][DBLP]


  94. Frugal Routing on Wireless Ad-Hoc Networks. [Citation Graph (, )][DBLP]


  95. The Complexity of Coverage [Citation Graph (, )][DBLP]


  96. Stochastic Limit-Average Games are in EXPTIME [Citation Graph (, )][DBLP]


  97. Game Refinement Relations and Metrics [Citation Graph (, )][DBLP]


  98. Parikh-Equivalent Bounded Underapproximations [Citation Graph (, )][DBLP]


  99. Algorithms for Game Metrics (Full Version) [Citation Graph (, )][DBLP]


  100. Refinement type inference via abstract interpretation [Citation Graph (, )][DBLP]


  101. Discounting in Games across Time Scales [Citation Graph (, )][DBLP]


  102. Software model checking. [Citation Graph (, )][DBLP]


Search in 0.069secs, Finished in 0.074secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002