Travelled to:1 × Belgium
2 × USA
Collaborated with:L.J.Jagadeesan C.Puchol R.Alur J.J.Kott M.A.Ardis J.A.Chaves P.Mataga M.G.Staskauskas
Talks about:telecommun (2) system (2) applic (2) framework (1) properti (1) softwar (1) reactiv (1) program (1) esterel (1) specif (1)
Person: James Von Olnhausen
DBLP: Olnhausen:James_Von
Contributed to:
1997
19951995Wrote 3 papers:
- ICSE-1997-AlurJKO #model checking #realtime
- Model-Checking of Real-Time Systems: A Telecommunications Application (RA, LJJ, JJK, JVO), pp. 514–524.
- CAV-1995-JagadeesanPO #safety #source code #verification
- Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software (LJJ, CP, JVO), pp. 127–140.
- ICSE-1995-ArdisCJMPSO #case study #experience #framework #specification
- A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report (MAA, JAC, LJJ, PM, CP, MGS, JVO), pp. 159–168.