Karolina Zurowska
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2009–2013
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | MODELS | Domain Specific Analysis of Statemachine Models of Reactive Systems. | Karolina Zurowska |
| 2013 | MODELS | Model Checking of UML-RT Models Using Lazy Composition. | Karolina Zurowska, Jrgen Dingel |
| 2012 | SAC | Symbolic execution of UML-RT State Machines. | Karolina Zurowska, Jrgen Dingel |
| 2009 | SAC | Load management in model-aware execution of composite web services. | Karolina Zurowska, Ralph Deters |