James Von Olnhausen

Publication Activity (10 Years)

Years Active: 1995-1997
Publications (10 Years): 0

Publications

Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen
Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report). ICSE (1997)
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen
A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL. Formal Methods Syst. Des. 8 (2) (1996)
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. IEEE Trans. Software Eng. 22 (6) (1996)
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen
A formal approach to reactive systems software: a telecommunications application in ESTEREL. WIFT (1995)
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. CAV (1995)
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. ICSE (1995)