BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Olnhausen:James_Von

Contributed to:

ICSE 19971997
CAV 19951995
ICSE 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.