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 × Italy
3 × USA
Collaborated with:
J.Dingel R.Deters
Talks about:
model (4) uml (3) composit (2) symbol (2) execut (2) analysi (1) servic (1) machin (1) state (1) sauml (1)

Person: Karolina Zurowska

DBLP DBLP: Zurowska:Karolina

Contributed to:

MoDELS 20132013
SAC 20122012
ASE 20112011
SAC 20092009

Wrote 4 papers:

MoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using
Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.
SAC-2012-ZurowskaD #execution #state machine #symbolic computation #uml
Symbolic execution of UML-RT State Machines (KZ, JD), pp. 1292–1299.
ASE-2011-ZurowskaD #analysis #modelling #named #uml
SAUML: A tool for symbolic analysis of UML-RT models (KZ, JD), pp. 604–607.
SAC-2009-ZurowskaD #execution #web #web service
Load management in model-aware execution of composite web services (KZ, RD), pp. 2134–2139.

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.