Prooving Safety Properties of Hybrid Systems. - Arjun Kapur; Thomas A. Henzinger; Zohar Manna; Amir Pnueli (FTRTFT, 1994)

STeP: The Stanford Temporal Prover. - Zohar Manna; Nikolaj S. 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 (TAPSOFT, 1995)

STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. - Nikolaj S. Bjørner; Anca Browne; Edward Y. Chang; Michael Colón; Arjun Kapur; Zohar Manna; Henny Sipma; Tomás E. Uribe (CAV, 1996)

Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. - Luca de Alfaro; Arjun Kapur; Zohar Manna (STACS, 1997)

Interval and point-based approaches to hybrid system verification. - Arjun Kapur (1997)

Inferno: a functional simulation infrastructure for modeling microarchitectural data speculations. - Hong Wang 003; Shiri Manor; Dave LaFollette; Nadav Nesher; Ku-jei King; Perry H. Wang; Shay Levy; Shai Satt; Gal Carmeli; Arjun Kapur; Ioannis Schoinas; Ed Rubinstein; et al. (ISPASS, 2003)

The Fallacy of Spec-Based Design. - Rahul Bhatt; Dave LaFollette; Arjun Kapur (SEFM, 2003)

Hybrid diagrams. - Luca de Alfaro; Arjun Kapur (Theor. Comput. Sci., 2003)