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 × Hungary
1 × Portugal
1 × USA
Collaborated with:
K.G.Larsen P.Pettersson J.H.Andersen J.Niedermann F.Laroussinie W.Y.0001 J.Lind-Nielsen H.R.Andersen G.Behrmann H.Hulgaard J.Bengtsson W.O.D.Griffioen F.Larsson W.Yi
Talks about:
protocol (2) composit (2) system (2) verif (2) time (2) real (2) use (2) synthesi (1) automat (1) analysi (1)

Person: Kåre J. Kristoffersen

DBLP DBLP: Kristoffersen:K=aring=re_J=

Contributed to:

TACAS 19981998
CAV 19961996
ICALP 19951995

Wrote 4 papers:

TACAS-1998-Lind-NielsenABHKL #analysis #composition #dependence #scalability #using #verification
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis (JLN, HRA, GB, HH, KJK, KGL), pp. 201–216.
CAV-1996-BengtssonGKLLPY #protocol #using #verification
Verification of an Audio Protocol with Bus Collision Using UPPAAL (JB, WODG, KJK, KGL, FL, PP, WY), pp. 244–256.
ICALP-1995-AndersenKLN #automation #realtime #synthesis
Automatic Synthesis of Real Time Systems (JHA, KJK, KGL, JN), pp. 535–546.
TAPSOFT-1997-KristoffersenLLPY #composition #protocol #proving #realtime
A Compositional Proof of a Real-Time Mutual Exclusion Protocol (KJK, FL, KGL, PP, WY0), pp. 565–579.

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.