James Von Olnhausen

According to our database, James Von Olnhausen authored at least 4 papers between 1995 and 1997.

Collaborative distances:

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

1997

Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report).

Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen

Proceedings of the Pulling Together, 1997

1996

A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.

Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen

IEEE Trans. Software Eng., 1996

A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL.

Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen

Formal Methods Syst. Des., 1996

1995

Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software.

Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen

Proceedings of the Computer Aided Verification, 1995