- Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods \Lambda
- Counterexample Refinement for Functional Programs
- A Theory of Role Composition Jeffrey Fischer Rupak Majumdar
- Design of Controllers for Linear Hybrid Systems Rupak Majumdar 1 and R.K. Shyamasundar 2
- Fine-Grained Access Control with Object-Sensitive Roles
- Hybrid Concolic Testing Rupak Majumdar
- The Element of Surprise in Timed Games ? Luca de Alfaro 1 , Marco Faella 1;2 , Thomas A. Henzinger 3 , Rupak Majumdar 3 ,
- Reducing Test Inputs using Information Partitions #
- Dynamic Test Input Generation for Database Applications # Michael Emmi
- Temporal-Safety Proofs for Systems Code ? Thomas A. Henzinger 1 Ranjit Jhala 1 Rupak Majumdar 1
- Decision Problems for the Verification of RealTime Software #
- Game Equivalences and Metrics Luca de Alfaro
- University of California Los Angeles
- Symbolic Robustness Analysis Rupak Majumdar
- Efficient SATBased Boolean Matching for Heterogeneous FPGA Technology Mapping
- Proving NonTermination Ashutosh K. Gupta
- Quantitative Solution of Omega-Regular Games 1 Luca de Alfaro
- Testing for Buffer Overflows with Length Abstraction RuGang Xu 1 Patrice Godefroid 2 Rupak Majumdar 1
- Quantifying Similarities Between Timed Thomas A. Henzinger 1 , Rupak Majumdar 2 , and Vinayak S. Prabhu 3
- Interpolation for Data Structures # Deepak Kapur
- Race Checking by Context Inference # Thomas A. Henzinger Ranjit Jhala
- Permissive Interfaces # Thomas A. Henzinger
- Structural Invariants ? Ranjit Jhala 1 Rupak Majumdar 2 Ru-Gang Xu 2
- From Tests To Proofs Ashutosh Gupta 1 , Rupak Majumdar 2 , and Andrey Rybalchenko 1
- Interprocedural Analysis of Asynchronous Programs Ranjit Jhala
- Code Aware Resource Management # Luca de Alfaro
- Watermarking of SAT using Combinatorial Isolation Lemmas
- Path Slicing # Ranjit Jhala
- Lock Allocation Michael Emmi Jeffrey S. Fischer
- Stochastic Limit-Average Games are in EXPTIME Krishnendu Chatterjee y Rupak Majumdar x Thomas A. Henzinger y;z
- Ensuring Consistency in Long Running Transactions # Jeffrey Fischer and Rupak Majumdar
- The Consistency of Web Conversations Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino
- Software Model Checking RANJIT JHALA
- Safety Verification for Real-time Event-driven Pierre Ganty and Rupak Majumdar
- ERRATA TO THE POPL'09 PAPER "VERIFYING LIVENESS OF ASYNCHRONOUS PROGRAMS"
- The Complexity of Coverage Krishnendu Chatterjee1
- CSIsat: Interpolation for LA+EUF (Tool Paper)
- Biographical Sketch and Scientific Achievements Rupak Majumdar
- Algorithms for Game Metrics (Full Version) # Krishnendu Chatterjee 1 Luca de Alfaro 1 Rupak Majumdar 2 Vishwanath Raman 1
- Tasks: Language Support for Eventdriven Programming Jeffrey Fischer Rupak Majumdar Todd Millstein
- Model Checking Discounted Temporal Properties #
- FPGA Area Reduction by MultiOutput Function Based Sequential Resynthesis
- Invariant Synthesis for Combined Theories # Dirk Beyer 1 , Thomas A. Henzinger 2 ,
- Rectangular Hybrid Games ? Thomas A. Henzinger Benjamin Horowitz Rupak Majumdar
- Extreme Model Checking ? Thomas A. Henzinger, Ranjit Jhala,
- MOCHA: A Model Checking Tool that Exploits Design Structure L. de Alfaro R. Grosu
- Noname manuscript No. (will be inserted by the editor)
- University of California Los Angeles
- Verifying Reference Counting Implementations Michael Emmi1
- On Nash Equilibria in Stochastic Games ? Krishnendu Chatterjee 1 , Rupak Majumdar 2 , and Marcin Jurdzi nski 3
- Verifying Compensating Transactions ? Michael Emmi and Rupak Majumdar
- Stack Size Analysis for Interrupt-driven Krishnendu Chatterjee a Di Ma b Rupak Majumdar a
- Symbolic Algorithms for InfiniteState Games ? Luca de Alfaro Thomas A. Henzinger Rupak Majumdar
- State of the Union: Type Inference via Craig Interpolation ?
- Robust FPGA Resynthesis Based on Fault-Tolerant Boolean Matching
- On the Universal and Existential Fragments of the -Calculus ?
