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 × 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 DBLP: Christensen:S=oslash=ren

Contributed to:

UML 20022002
TACAS 20012001
TACAS 19971997

Wrote 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.
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.

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.