Searching for authors named "Rupak Majumdar" – sorted by Relevance.
63 documents found, showing 1 through 10.
Next 10 →
-
Design of Controllers for Linear Hybrid Systems
- …Design of Controllers for Linear Hybrid Systems Rupak Majumdar 1 and R.K. Shyamasundar 2 1…
- Add To MetaCart
-
Decision Problems for the Verification of Real-Time Software
- … Decision Problems for the Verification of Real-Time Software? Michael Emmi and Rupak Majumdar…
- Cited by 3 (0 self) – Add To MetaCart
-
Directed Test Generation using Symbolic Grammars
- …, USA. Copyright 2007 ACM 978-1-59593-882-4/07/0011 ...$5.00. Rupak Majumdar Ru-Gang Xu CS Department…
- Cited by 3 (0 self) – Add To MetaCart
-
Verifying compensating transactions
- … Verifying Compensating Transactions ? Michael Emmi and Rupak Majumdar UC Los Angeles mje,rupak…
- Cited by 2 (1 self) – Add To MetaCart
-
Frugal Routing on Wireless Ad-Hoc Networks
- …Frugal Routing on Wireless Ad-Hoc Networks Gunes Ercal Rafit Izhak-Ratzin Rupak Majumdar Adam…
- Add To MetaCart
-
Watermarking of SAT using Combinatorial Isolation Lemmas
- …ABSTRACT Watermarking of SAT using Combinatorial Isolation Lemmas Rupak Majumdar Electrical…
- Cited by 1 (1 self) – Add To MetaCart
-
Preventing lost messages in event-driven programming
- …, 2006, revised July 3, 2006 Jeffrey Fischer Rupak Majumdar Todd Millstein Department of Computer Science…
- Cited by 1 (1 self) – Add To MetaCart
-
Structural invariants
- …Structural Invariants ⋆ Ranjit Jhala 1 Rupak Majumdar 2 Ru-Gang Xu 2 1 UC San Diego 2 UC Los…
- Cited by 1 (0 self) – Add To MetaCart
-
Static checking for dynamic resource management in sensor network systems
- … Markstrum Todd Millstein and Rupak Majumdar Computer Science Department University of California, Los…
- Cited by 2 (1 self) – Add To MetaCart
-
The Complexity of Coverage ∗
- …The Complexity of Coverage ∗ Krishnendu Chatterjee § Luca de Alfaro § Rupak Majumdar † § CE…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
