Travelled to:1 × Denmark
1 × Italy
2 × The Netherlands
Collaborated with:T.Mailund S.Christensen M.Westergaard P.C.Nørgaard J.B.Jørgensen
Talks about:method (2) sweep (2) line (2) interoper (1) generalis (1) prototyp (1) protocol (1) properti (1) network (1) safeti (1)
Person: Lars Michael Kristensen
DBLP: Kristensen:Lars_Michael
Contributed to:
2005
2002
20011997Wrote 4 papers:
- IFM-2005-KristensenWN #ad hoc #mobile #modelling #network #protocol #prototype
- Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks (LMK, MW, PCN), pp. 266–286.
- FME-2002-KristensenM #safety
- A Generalised Sweep-Line Method for Safety Properties (LMK, TM), pp. 549–567.
- TACAS-2001-ChristensenKM
- A Sweep-Line Method for State Space Exploration (SC, LMK, TM), pp. 450–464.
- TACAS-1997-ChristensenJK #design #named #petri net
- Design/CPN — A Computer Tool for Coloured Petri Nets (SC, JBJ, LMK), pp. 209–223.