dblp.uni-trier.dewww.uni-trier.de

Arjun Kapur Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
7EEHong 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
6EERahul 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
4EELuca de Alfaro, Arjun Kapur, Zohar Manna: Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. STACS 1997: 153-164
1996
3EENikolaj 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
2EEZohar 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

Coauthor Index

1Luca de Alfaro [2] [4] [5]
2Rahul Bhatt [6] [7]
3Nikolaj Bjørner [2] [3]
4Anca Browne (I. A. Draghicescu) [2] [3]
5Gal Carmeli [7]
6Edward Y. Chang [2] [3]
7Michael Colón [2] [3]
8Harish Devarajan [2]
9Thomas A. Henzinger [1]
10Ku-jei King [7]
11Dave LaFollette [6] [7]
12Jaejin Lee [2]
13Shay Levy [7]
14Zohar Manna [1] [2] [3] [4]
15Shiri Manor [7]
16Nadav Nesher [7]
17Amir Pnueli [1]
18Ed Rubinstein [7]
19Shai Satt [7]
20Ioannis Schoinas [7]
21Henny B. Sipma (Henny Sipma) [2] [3]
22Tomás E. Uribe [2] [3]
23Perry H. Wang [7]
24Hong Wang [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)