| 2003 |
|---|
| 7 | EE | 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: 11-21 |
| 6 | EE | Rahul Bhatt,
Dave LaFollette,
Arjun Kapur:
The Fallacy of Spec-Based Design.
SEFM 2003: 156- |
| 5 | | Luca de Alfaro,
Arjun Kapur:
Hybrid diagrams.
Theor. Comput. Sci. 290(1): 565-597 (2003) |
| 1997 |
|---|
| 4 | | Luca de Alfaro,
Arjun Kapur,
Zohar Manna:
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification.
STACS 1997: 153-164 |
| 1996 |
|---|
| 3 | | 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: 415-418 |
| 1995 |
|---|
| 2 | | 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: 793-794 |
| 1994 |
|---|
| 1 | | Arjun Kapur,
Thomas A. Henzinger,
Zohar Manna,
Amir Pnueli:
Prooving Safety Properties of Hybrid Systems.
FTRTFT 1994: 431-454 |
