Search the dblp DataBase

Publications of Author

1. Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe
   STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   CAV, 1996, pp:415-418 [Conf]
   
2. Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli
   Prooving Safety Properties of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1994, pp:431-454 [Conf]
   
3. Hong Wang, Shiri Manor, Dave LaFollette, Nadav Nesher, Ku-Jei King, Perry H. Wang, Shay Levy, Shai Satt, Gal Carmeli, Arjun Kapur, Ioannis Schoinas, Ed Rubinstein, Rahul Bhatt
   Inferno: a functional simulation infrastructure for modeling microarchitectural data speculations. [Citation Graph (0, 0)][DBLP]
   ISPASS, 2003, pp:11-21 [Conf]
   
4. Rahul Bhatt, Dave LaFollette, Arjun Kapur
   The Fallacy of Spec-Based Design. [Citation Graph (0, 0)][DBLP]
   SEFM, 2003, pp:156-0 [Conf]
   
5. Luca de Alfaro, Arjun Kapur, Zohar Manna
   Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. [Citation Graph (0, 0)][DBLP]
   STACS, 1997, pp:153-164 [Conf]
   
6. Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe
   STeP: The Stanford Temporal Prover. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, 1995, pp:793-794 [Conf]
   
7. Luca de Alfaro, Arjun Kapur
   Hybrid diagrams. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:290, n:1, pp:565-597 [Journal]