Search the dblp DataBase
James Von Olnhausen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. [Citation Graph (0, 0)][DBLP]
CAV, 1995, pp:127-140 [Conf] - Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen
Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report). [Citation Graph (0, 0)][DBLP]
ICSE, 1997, pp:514-524 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
ICSE, 1995, pp:159-168 [Conf] - Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen
A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 1996, v:8, n:2, pp:123-151 [Journal] - 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. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1996, v:22, n:6, pp:378-389 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002