Model Aware Execution of Composite Web Services. - Karolina Zurowska; Ralph Deters (IEEE SCC, 2009)

Load management in model-aware execution of composite web services. - Karolina Zurowska; Ralph Deters (SAC, 2009)

Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus. - Jürgen Dingel; Eyrak Paen; Ernesto Posse; Rezoanoor (Ruben) Rahman; Karolina Zurowska (BM-FA, 2010)

SAUML: A tool for symbolic analysis of UML-RT models. - Karolina Zurowska; Jürgen Dingel (ASE, 2011)

Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines. - Karolina Zurowska; Jürgen Dingel (NASA Formal Methods, 2012)

Symbolic execution of UML-RT State Machines. - Karolina Zurowska; Jürgen Dingel (SAC, 2012)

Domain Specific Analysis of Statemachine Models of Reactive Systems. - Karolina Zurowska (MoDELS (Demos/Posters/StudentResearch), 2013)

Model Checking of UML-RT Models Using Lazy Composition. - Karolina Zurowska; Jürgen Dingel (MoDELS, 2013)

A Customizable Execution Engine for Models of Embedded Systems. - Karolina Zurowska; Jürgen Dingel (BM-FA (Revised Selected Papers), 2014)

Language Specific Analysis of State Machine Models of Reactive Systems. - Karolina Zurowska (2014)

Language-specific model checking of UML-RT models. - Karolina Zurowska; Juergen Dingel (Softw. Syst. Model., 2017)