Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Rupak Majumdar
2010 – today
- 2013
[j19]Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman: Code aware resource management. Formal Methods in System Design 42(2): 146-174 (2013)- [c117]
- [c116]Rupak Majumdar, Roland Meyer, Zilong Wang: Static Provenance Verification for Message Passing Programs. SAS 2013: 366-387
- [c115]
- [i19]Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac: Incremental, Inductive Coverability. CoRR abs/1301.7321 (2013)
- [i18]Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros: Symbolic control of stochastic systems via approximately bisimilar finite abstractions. CoRR abs/1302.3868 (2013)
- [i17]Javier Esparza, Pierre Ganty, Rupak Majumdar: Parameterized Verification of Asynchronous Shared-Memory Systems. CoRR abs/1304.1185 (2013)
- 2012
- [j18]Pierre Ganty, Rupak Majumdar, Benjamin Monmege: Bounded underapproximations. Formal Methods in System Design 40(2): 206-231 (2012)
- [j17]Krishnendu Chatterjee, Rupak Majumdar: Discounting and Averaging in Games across Time scales. Int. J. Found. Comput. Sci. 23(3): 609-625 (2012)
- [j16]Pierre Ganty, Rupak Majumdar: Algorithmic verification of asynchronous programs. ACM Trans. Program. Lang. Syst. 34(1): 6 (2012)
- [c114]Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar: Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. ATVA 2012: 385-399
- [c113]Rupak Majumdar, Majid Zamani: Approximately Bisimilar Symbolic Models for Digital Control Systems. CAV 2012: 362-377
- [c112]
- [c111]Rupak Majumdar, Indranil Saha, Majid Zamani: Synthesis of minimal-error control software. EMSOFT 2012: 123-132
- [c110]Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar: Input-output robustness for discrete systems. EMSOFT 2012: 217-226
- [c109]João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar: Scalable testing of file system checkers. EuroSys 2012: 239-252
- [c108]Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer: Language-Theoretic Abstraction Refinement. FASE 2012: 362-376
- [c107]Javier Esparza, Pierre Ganty, Rupak Majumdar: A Perfect Model for Bounded Verification. LICS 2012: 285-294
- [c106]Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang: CLSE: Closed-Loop Symbolic Execution. NASA Formal Methods 2012: 356-370
- [c105]Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali: Engage: a deployment management system. PLDI 2012: 263-274
- [c104]Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong: Efficient May Happen in Parallel Analysis for Async-Finish Parallelism. SAS 2012: 5-23
- [c103]
- [i16]Javier Esparza, Pierre Ganty, Rupak Majumdar: A Perfect Model for Bounded Verification. CoRR abs/1201.3194 (2012)
- [i15]Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar: Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games. CoRR abs/1202.4140 (2012)
- [i14]Rupak Majumdar, Indranil Saha, Majid Zamani: Synthesis of Minimal Error Control Software. CoRR abs/1204.2857 (2012)
- [i13]Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning. CoRR abs/1207.1373 (2012)
- [i12]Nikolaj Bjørner, Krishnendu Chatterjee, Laura Kovács, Rupak Majumdar: Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461). Dagstuhl Reports 2(11): 45-65 (2012)
- 2011
- [j15]Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson: VCG with Communities on Random Ad Hoc Networks. IJDSN 2011 (2011)
- [c102]Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko: HMC: Verifying Functional Programs Using Abstract Interpreters. CAV 2011: 470-485
- [c101]
- [c100]
- [c99]Rupak Majumdar, Indranil Saha, Majid Zamani: Performance-aware scheduler synthesis for control systems. EMSOFT 2011: 299-308
- [c98]Rupak Majumdar: End-to-End Guarantees in Embedded Control Systems - (Abstract). Ershov Memorial Conference 2011: 40
- [c97]Krishnendu Chatterjee, Rupak Majumdar: Minimum Attention Controller Synthesis for Omega-Regular Objectives. FORMATS 2011: 145-159
- [c96]Rupak Majumdar, Elaine Render, Paulo Tabuada: Robust discrete synthesis against unspecified disturbances. HSCC 2011: 211-220
- [c95]Pritam Roy, Paulo Tabuada, Rupak Majumdar: Pessoa 2.0: a controller synthesis tool for cyber-physical systems. HSCC 2011: 315-316
- [c94]
- [i11]Majid Zamani, Rupak Majumdar: Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011)
- [i10]Rupak Majumdar, Elaine Render, Paulo Tabuada: A theory of robust software synthesis. CoRR abs/1108.3540 (2011)
- 2010
- [j14]Rupak 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)
- [j13]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics (Full Version). Logical Methods in Computer Science 6(3) (2010)
- [j12]Jason 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)
- [c93]Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He, Minming Li: Fault-tolerant resynthesis with dual-output LUTs. ASP-DAC 2010: 325-330
- [c92]
- [c91]
- [c90]Samuel 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
- [c89]Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada: Automatic verification of control system implementations. EMSOFT 2010: 9-18
- [c88]Manu Jose, Yu Hu, Rupak Majumdar: On power and fault-tolerance optimization in FPGA physical synthesis. ICCAD 2010: 224-229
- [c87]Rupak Majumdar, Indranil Saha, Zilong Wang: Systematic testing for control applications. MEMOCODE 2010: 1-10
- [c86]Michael Emmi, Rupak Majumdar, Roman Manevich: Parameterized verification of transactional memories. PLDI 2010: 134-145
- [c85]Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur: Shape Analysis with Reference Set Relations. VMCAI 2010: 247-262
- [c84]
- [e3]Javier Esparza, Rupak Majumdar (Eds.): 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. Lecture Notes in Computer Science 6015, Springer 2010, ISBN 978-3-642-12001-5
- [i9]Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko: Refinement type inference via abstract interpretation. CoRR abs/1004.2884 (2010)
- [i8]Pritam Roy, Paulo Tabuada, Rupak Majumdar: Safety-Guarantee Controller Synthesis for Cyber-Physical Systems. CoRR abs/1010.5665 (2010)
- [i7]Pierre Ganty, Rupak Majumdar: Algorithmic Verification of Asynchronous Programs. CoRR abs/1011.0551 (2010)
- [i6]Manu Jose, Rupak Majumdar: Cause Clue Clauses: Error Localization using Maximum Satisfiability. CoRR abs/1011.1589 (2010)
2000 – 2009
- 2009
- [j11]
- [c83]
- [c82]Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein: Fine-Grained Access Control with Object-Sensitive Roles. ECOOP 2009: 173-194
- [c81]
- [c80]Zhe Feng, Yu Hu, Lei He, Rupak Majumdar: IPR: In-Place Reconfiguration for FPGA fault tolerance. ICCAD 2009: 105-108
- [c79]Rafit Izhak-Ratzin, Nikitas Liogkas, Rupak Majumdar: Team Incentives in BitTorrent Systems. ICCCN 2009: 1-8
- [c78]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
- [c77]Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko: Verifying liveness for asynchronous programs. POPL 2009: 102-113
- [c76]
- [c75]
- [c74]Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar: Verifying Reference Counting Implementations. TACAS 2009: 352-367
- [e2]Rupak Majumdar, Paulo Tabuada (Eds.): Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings. Lecture Notes in Computer Science 5469, Springer 2009, ISBN 978-3-642-00601-2
- 2008
- [j10]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Stochastic limit-average games are in EXPTIME. Int. J. Game Theory 37(2): 219-234 (2008)
- [j9]Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Refinement Relations and Metrics. Logical Methods in Computer Science 4(3) (2008)
- [j8]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)
- [c73]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage. APLAS 2008: 91-106
- [c72]
- [c71]Yu Hu, Victor Shih, Rupak Majumdar, Lei He: FPGA area reduction by multi-output function based sequential resynthesis. DAC 2008: 24-29
- [c70]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics. FSTTCS 2008: 107-118
- [c69]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Controller Synthesis with Budget Constraints. HSCC 2008: 72-86
- [c68]Yu Hu, Zhe Feng, Lei He, Rupak Majumdar: Robust FPGA resynthesis based on fault-tolerant Boolean matching. ICCAD 2008: 706-713
- [c67]
- [c66]Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar: Testing for buffer overflows with length abstraction. ISSTA 2008: 27-38
- [c65]Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino: The Consistency of Web Conversations. ASE 2008: 415-418
- [c64]Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu: Proving non-termination. POPL 2008: 147-158
- [c63]Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson: Frugal Routing on Wireless Ad-Hoc Networks. SAGT 2008: 133-144
- [e1]Klaus Havelund, Rupak Majumdar, Jens Palsberg (Eds.): Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Lecture Notes in Computer Science 5156, Springer 2008, ISBN 978-3-540-85113-4
- [i5]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage. CoRR abs/0804.4525 (2008)
- [i4]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Stochastic Limit-Average Games are in EXPTIME. CoRR abs/0805.2622 (2008)
- [i3]Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Refinement Relations and Metrics. CoRR abs/0806.4956 (2008)
- [i2]Pierre Ganty, Rupak Majumdar, Benjamin Monmege: Parikh-Equivalent Bounded Underapproximations. CoRR abs/0809.1236 (2008)
- 2007
- [j7]Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The software model checker Blast. STTT 9(5-6): 505-525 (2007)
- [c62]Yu Hu, Victor Shih, Rupak Majumdar, Lei He: Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping. ICCAD 2007: 350-353
- [c61]
- [c60]Michael Emmi, Rupak Majumdar, Koushik Sen: Dynamic test input generation for database applications. ISSTA 2007: 151-162
- [c59]
- [c58]
- [c57]Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Relations and Metrics. LICS 2007: 99-108
- [c56]Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein: Tasks: language support for event-driven programming. PEPM 2007: 134-143
- [c55]Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Path invariants. PLDI 2007: 300-309
- [c54]
- [c53]
- [c52]Rupak Majumdar, Ru-Gang Xu: Directed test generation using symbolic grammars. ESEC/SIGSOFT FSE 2007: 553-556
- [c51]Rupak Majumdar, Ru-Gang Xu: Directed test generation using symbolic grammars. ESEC/SIGSOFT FSE (Companion) 2007: 553-556
- [c50]Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu: State of the Union: Type Inference Via Craig Interpolation. TACAS 2007: 553-567
- [c49]
- [c48]Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394
- 2006
- [j6]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)
- [c47]Michael Emmi, Rupak Majumdar: Decision Problems for the Verification of Real-Time Software. HSCC 2006: 200-211
- [c46]Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188
- [c45]
- [c44]Deepak Kapur, Rupak Majumdar, Calogero G. Zarba: Interpolation for data structures. SIGSOFT FSE 2006: 105-116
- [c43]
- [c42]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Markov Decision Processes with Multiple Objectives. STACS 2006: 325-336
- 2005
- [j5]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)
- [j4]Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A classification of symbolic transition systems. ACM Trans. Comput. Log. 6(1): 1-32 (2005)
- [c41]Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64
- [c40]Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar: Code aware resource management. EMSOFT 2005: 191-202
- [c39]Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Checking Memory Safety with Blast. FASE 2005: 2-18
- [c38]Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu: Quantifying Similarities Between Timed Systems. FORMATS 2005: 226-241
- [c37]
- [c36]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Permissive interfaces. ESEC/SIGSOFT FSE 2005: 31-40
- [c35]Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar: Joining dataflow with predicates. ESEC/SIGSOFT FSE 2005: 227-236
- [c34]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The BLAST Software Verification System. SPIN 2005: 25-26
- [c33]Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning. UAI 2005: 104-111
- 2004
- [j3]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)
- [j2]Luca de Alfaro, Rupak Majumdar: Quantitative solution of omega-regular games. J. Comput. Syst. Sci. 68(2): 374-397 (2004)
- [j1]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)
- [c32]Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski: On Nash Equilibria in Stochastic Games. CSL 2004: 26-40
- [c31]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Generating Tests from Counterexamples. ICSE 2004: 326-335
- [c30]Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255
- [c29]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PEPM 2004: 201-202
- [c28]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Race checking by context inference. PLDI 2004: 1-13
- [c27]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan: Abstractions from proofs. POPL 2004: 232-244
- [c26]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PPDP 2004: 1-2
- [c25]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The Blast Query Language for Software Verification.. SAS 2004: 2-18
- [c24]Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model Checking Discounted Temporal Properties. TACAS 2004: 77-92
- 2003
- [c23]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido: Extreme Model Checking. Verification: Theory and Practice 2003: 332-358
- [c22]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer: Thread-Modular Abstraction Refinement. CAV 2003: 262-274
- [c21]Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: The Element of Surprise in Timed Games. CONCUR 2003: 142-156
- [c20]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-Guided Control. ICALP 2003: 886-902
- [c19]Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Discounting the Future in Systems Theory. ICALP 2003: 1022-1037
- [c18]Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack Size Analysis for Interrupt-Driven Programs. SAS 2003: 109-126
- [c17]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Software Verification with BLAST. SPIN 2003: 235-239
- [c16]Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: On the Universal and Existential Fragments of the µ-Calculus. TACAS 2003: 49-64
- 2002
- [c15]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
- [c14]Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic: Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92
- [c13]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Lazy abstraction. POPL 2002: 58-70
- 2001
- [c12]Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Symbolic Algorithms for Infinite-State Games. CONCUR 2001: 536-550
- [c11]Rupak Majumdar, Jennifer L. Wong: Watermarking of SAT using Combinatorial Isolation Lemmas. DAC 2001: 480-485
- [c10]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
- [c9]Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: From Verification to Control: Dynamic Programs for Omega-Regular Objectives. LICS 2001: 279-290
- [c8]Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani: Automatic Predicate Abstraction of C Programs. PLDI 2001: 203-213
- [c7]
- [i1]Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A Classification of Symbolic Transition Systems. CoRR cs.LO/0101013 (2001)
- 2000
- [c6]Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi: Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. HSCC 2000: 130-144
- [c5]Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin: Abstract Interpretation of Game Properties. SAS 2000: 220-239
- [c4]Thomas A. Henzinger, Rupak Majumdar: A Classification of Symbolic Transition Systems. STACS 2000: 13-34
- [c3]Thomas A. Henzinger, Rupak Majumdar: Symbolic Model Checking for Rectangular Hybrid Systems. TACAS 2000: 142-156
1990 – 1999
- 1999
- [c2]Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar: Rectangular Hybrid Games. CONCUR 1999: 320-335
- 1996
- [c1]Rupak Majumdar, R. K. Shyamasundar: Design of Controllers for Linear Hybrid Systems. ASIAN 1996: 309-320
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18 22:45 CEST by the dblp team