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: Kristoffersen:K=aring=re_J=
Contributed to:
1998
1996
1995
1997Wrote 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.