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

1995

A formal approach to reactive systems software: a telecommunications application in ESTEREL.

Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

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

Proceedings of the 17th International Conference on Software Engineering, 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