Karolina Zurowska

According to our database, Karolina Zurowska authored at least 11 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Language-specific model checking of UML-RT models.

Karolina Zurowska, Juergen Dingel

Softw. Syst. Model., 2017

2014

Language Specific Analysis of State Machine Models of Reactive Systems.

Karolina Zurowska

PhD thesis, 2014

A Customizable Execution Engine for Models of Embedded Systems.

Karolina Zurowska, Jürgen Dingel

Proceedings of the Behavior Modeling, 2014

2013

Model Checking of UML-RT Models Using Lazy Composition.

Karolina Zurowska, Jürgen Dingel

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Domain Specific Analysis of Statemachine Models of Reactive Systems.

Karolina Zurowska

Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013

2012

Symbolic execution of UML-RT State Machines.

Karolina Zurowska, Jürgen Dingel

Proceedings of the ACM Symposium on Applied Computing, 2012

Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines.

Karolina Zurowska, Jürgen Dingel

Proceedings of the NASA Formal Methods, 2012

2011

SAUML: A tool for symbolic analysis of UML-RT models.

Karolina Zurowska, Jürgen Dingel

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

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

Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, 2010

2009

Load management in model-aware execution of composite web services.

Karolina Zurowska, Ralph Deters

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Model Aware Execution of Composite Web Services.

Karolina Zurowska, Ralph Deters

Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009