Arjun Kapur

According to our database, Arjun Kapur authored at least 8 papers between 1994 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2003

Hybrid diagrams.

Luca de Alfaro, Arjun Kapur

Theor. Comput. Sci., 2003

The Fallacy of Spec-Based Design.

Rahul Bhatt, Dave LaFollette, Arjun Kapur

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Inferno: a functional simulation infrastructure for modeling microarchitectural data speculations.

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

Proceedings of the 2003 IEEE International Symposium on Performance Analysis of Systems and Software, 2003

1997

Interval and point-based approaches to hybrid system verification.

Arjun Kapur

PhD thesis, 1997

Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification.

Luca de Alfaro, Arjun Kapur, Zohar Manna

Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

1996

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

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

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

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1994

Prooving Safety Properties of Hybrid Systems.

Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994