James Von Olnhausen

Statistics

Publications

Citations

H-Index

Active since

1995

Affiliations

The University of Texas at Austin(Current)

James Von Olnhausen is an author at The University of Texas at Austin specializing in state-based specification, specification languages, and computer science.

Publications per year

1995–1996

Publications

A framework for evaluating specification methods for reactive systems

Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan et al. · 1995 · 51 citations · Full text

Engineering, Computer Science, Systems Engineering +14

A framework for evaluating specification methods for reactive systems-experience report

Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan et al. · IEEE Transactions on Software Engineering · 1996 · 39 citations

Computing, Computer Science, Systems Engineering +9

1–2 of 2