Analysis of structured use case models through model checking. - Ksenia Ryndina; Pieter S. Kritzinger (South Afr. Comput. J., 2005)

Improving Business Process Models with Reference Models in Business-Driven Development. - Jochen Malte Küster; Jana Koehler; Ksenia Ryndina (Business Process Management Workshops, 2006)

Consistency of Business Process Models and Object Life Cycles. - Ksenia Ryndina; Jochen Malte Küster; Harald C. Gall (MoDELS (Workshops), 2006)

The Role of Visual Modeling and Model Transformations in Business-driven Development. - Jana Koehler; Rainer Hauser; Jochen Malte Küster; Ksenia Ryndina; Jussi Vanhatalo; Michael Wahler (GT-VMT@ETAPS, 2006)

Combining Quality Assurance and Model Transformations in Business-Driven Development. - Jana Koehler; Thomas Gschwind; Jochen Malte Küster; Cesare Pautasso; Ksenia Ryndina; Jussi Vanhatalo; Hagen Völzer (AGTIVE, 2007)

Generation of Business Process Models for Object Life Cycle Compliance. - Jochen Malte Küster; Ksenia Ryndina; Harald C. Gall (BPM, 2007)

A Tool for Intergrating Object Life Cycle and Business Process Modeling. - Ksenia Ryndina; Jochen Malte Küster; Harald C. Gall (BPM (Demos), 2007)

Improving Inconsistency Resolution with Side-Effect Evaluation and Costs. - Jochen Malte Küster; Ksenia Ryndina (MoDELS, 2007)

Predicting Coupling of Object-Centric Business Process Implementations. - Ksenia Wahler; Jochen Malte Küster (BPM, 2008)