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: Zurowska:Karolina
Contributed to:
2013
2012
20112009Wrote 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.