Travelled to:1 × Turkey
1 × USA
2 × Germany
Collaborated with:P.Pettersson W.Yi J.Bengtsson K.G.Larsen M.Felsberg W.Han A.Ynnerman T.B.Schön W.O.D.Griffioen K.J.Kristoffersen
Talks about:uppaal (2) torchlight (1) protocol (1) travers (1) problem (1) system (1) memori (1) collis (1) verif (1) navig (1)
Person: Fredrik Larsson
DBLP: Larsson:Fredrik
Contributed to:
2010
2000
19961996Wrote 4 papers:
- ICPR-2010-FelsbergLHYS #navigation
- Torchlight Navigation (MF, FL, WH, AY, TBS), pp. 302–306.
- TACAS-2000-LarssonPY #model checking #on the #problem #traversal
- On Memory-Block Traversal Problems in Model-Checking Timed-Systems (FL, PP, WY), pp. 127–141.
- 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.
- TACAS-1996-BengtssonLLPY
- UPPAAL in 1995 (JB, KGL, FL, PP, WY), pp. 431–434.