Karolina Zurowska

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Topics

Reactive Systems

Symbolic Execution

Top Venues

MoDELS (Demos/Posters/StudentResearch)

Softw. Syst. Model.

Queen's University at Kingston, Ontario, Canada (PHD)

Education History

Queen's University at Kingston, Ontario, Canada

PHD

Publications

Karolina Zurowska, Juergen Dingel
Language-specific model checking of UML-RT models. Softw. Syst. Model. 16 (2) (2017)
Karolina Zurowska, Jürgen Dingel
A Customizable Execution Engine for Models of Embedded Systems. BM-FA (Revised Selected Papers) (2014)
Karolina Zurowska
Domain Specific Analysis of Statemachine Models of Reactive Systems. MoDELS (Demos/Posters/StudentResearch) (2013)
Karolina Zurowska, Jürgen Dingel
Model Checking of UML-RT Models Using Lazy Composition. MoDELS (2013)
Karolina Zurowska, Jürgen Dingel
Symbolic execution of UML-RT State Machines. SAC (2012)
Karolina Zurowska, Jürgen Dingel
Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines. NASA Formal Methods (2012)
Karolina Zurowska, Jürgen Dingel
SAUML: A tool for symbolic analysis of UML-RT models. ASE (2011)
Jürgen Dingel, Eyrak Paen, Ernesto Posse, Rezoanoor (Ruben) Rahman, Karolina Zurowska
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus. BM-FA (2010)
Karolina Zurowska, Ralph Deters
Model Aware Execution of Composite Web Services. IEEE SCC (2009)
Karolina Zurowska, Ralph Deters
Load management in model-aware execution of composite web services. SAC (2009)