Travelled to:1 × Germany
1 × Italy
1 × The Netherlands
Collaborated with:J.B.Jørgensen L.M.Kristensen T.Mailund M.Beaudouin-Lafon W.E.Mackay M.Jensen P.Andersen P.Janecek H.M.Lassen K.Lund K.H.Mortensen S.Munck A.V.Ratzer K.Ravn K.Jensen
Talks about:tool (4) design (2) colour (2) petri (2) net (2) cpn (2) middlewar (1) healthcar (1) demonstr (1) system (1)
Person: Søren Christensen
DBLP: Christensen:S=oslash=ren
Contributed to:
2002
20011997Wrote 4 papers:
- UML-2002-JorgensenC #design #execution #middleware #modelling #pervasive
- Executable Design Models for a Pervasive Healthcare Middleware System (JBJ, SC), pp. 140–149.
- TACAS-2001-Beaudouin-LafonMJAJLLMMRRCJ #editing #named #petri net #simulation #tool support
- CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS (MBL, WEM, MJ, PA, PJ, HML, KL, KHM, SM, AVR, KR, SC, KJ), pp. 574–577.
- 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.