Arjun Kapur

Publication Activity (10 Years)

Years Active: 1994-2003
Publications (10 Years): 0

Publications

Luca de Alfaro, Arjun Kapur
Hybrid diagrams. Theor. Comput. Sci. 290 (1) (2003)
Rahul Bhatt, Dave LaFollette, Arjun Kapur
The Fallacy of Spec-Based Design. SEFM (2003)
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. ISPASS (2003)
Luca de Alfaro, Arjun Kapur, Zohar Manna
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. STACS (1997)
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. CAV (1996)
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. TAPSOFT (1995)
Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli
Prooving Safety Properties of Hybrid Systems. FTRTFT (1994)