 | 2012 |
| 18 |  | Natallia Kokash,
Christian Krause,
Erik P. de Vink:
Reo + mCRL2: A framework for model-checking dataflow in service compositions.
Formal Asp. Comput. 24(2): 187-216 (2012) |
| 2011 |
| 17 |  | Natallia Kokash,
Farhad Arbab,
Behnaz Changizi,
Leonid Makhnist:
Input-output Conformance Testing for Channel-based Service Connectors
PACO 2011: 19-35 |
| 2010 |
| 16 |  | Natallia Kokash,
Behnaz Changizi,
Farhad Arbab:
A Semantic Model for Service Composition with Coordination Time Delays.
ICFEM 2010: 106-121 |
| 15 |  | David Schumm,
Oktay Türetken,
Natallia Kokash,
Amal Elgammal,
Frank Leymann,
Willem-Jan van den Heuvel:
Business Process Compliance through Reusable Units of Compliant Processes.
ICWE Workshops 2010: 325-337 |
| 14 |  | Natallia Kokash,
Christian Krause,
Erik P. de Vink:
Data-aware design and verification of service compositions with Reo and mCRL2.
SAC 2010: 2406-2413 |
| 13 |  | Natallia Kokash,
Christian Krause,
Erik P. de Vink:
Time and Data-Aware Analysis of Graphical Service Models in Reo.
SEFM 2010: 125-134 |
| 2009 |
| 12 |  | Natallia Kokash,
Christian Krause,
Erik P. de Vink:
Verification of Context-Dependent Channel-Based Service Models.
FMCO 2009: 21-40 |
| 11 |  | Natallia Kokash,
Farhad Arbab:
Applying Reo to service coordination in long-running business transactions.
SAC 2009: 1381-1382 |
| 10 |  | Natallia Kokash,
Roberto Speicys Cardoso,
Pierre-Guillaume Raverdy,
Valérie Issarny:
A flexible QoS-aware routing protocol for infrastructure-less B3G networks.
SAC 2009: 212-216 |
| 2008 |
| 9 |  | Natallia Kokash,
Farhad Arbab:
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems.
FMCO 2008: 21-41 |
| 8 |  | Farhad Arbab,
Natallia Kokash,
Sun Meng:
Towards Using Reo for Compliance-Aware Business Process Modeling.
ISoLA 2008: 108-123 |
| 2007 |
| 7 |  | Natallia Kokash,
Vincenzo D'Andrea:
Evaluating Quality of Web Services: A Risk-Driven Approach.
BIS 2007: 180-194 |
| 6 |  | Natallia Kokash,
Aliaksandr Birukou,
Vincenzo D'Andrea:
Web Service Discovery Based on Past User Experience.
BIS 2007: 95-107 |
| 5 |  | Natallia Kokash:
Risk Management for Service-Oriented Systems.
ICWE 2007: 563-568 |
| 4 |  | Aliaksandr Birukou,
Enrico Blanzieri,
Vincenzo D'Andrea,
Paolo Giorgini,
Natallia Kokash,
Alessio Modena:
IC-service: a service-oriented approach to the development of recommendation systems.
SAC 2007: 1683-1688 |
| 3 |  | Aliaksandr Birukou,
Enrico Blanzieri,
Vincenzo D'Andrea,
Paolo Giorgini,
Natallia Kokash:
Improving Web Service Discovery with Usage Data.
IEEE Software 24(6): 47-54 (2007) |
| 2006 |
| 2 |  | Natallia Kokash,
Willem-Jan van den Heuvel,
Vincenzo D'Andrea:
Leveraging Web Services Discovery with Customizable Hybrid Matching.
ICSOC 2006: 522-528 |
| 1 |  | Natallia Kokash:
A Comparison of Web Service Interface Similarity Measures.
STAIRS 2006: 220-231 |