Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Natallia Kokash
2010 – today
- 2013
[j4]Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab: From Timed Reo Networks to Networks of Timed Automata. Electr. Notes Theor. Comput. Sci. 295: 11-29 (2013)- [j3]Natallia Kokash, Farhad Arbab: Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools. IEEE T. Services Computing 6(2): 186-200 (2013)
- 2012
- [j2]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)
- [e1]Natallia Kokash, António Ravara (Eds.): Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation. EPTCS 91, 2012
- 2011
- [c16]Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist: Input-output Conformance Testing for Channel-based Service Connectors. PACO 2011: 19-35
- 2010
- [c15]Natallia Kokash, Behnaz Changizi, Farhad Arbab: A Semantic Model for Service Composition with Coordination Time Delays. ICFEM 2010: 106-121
- [c14]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
- [c13]Natallia Kokash, Christian Krause, Erik P. de Vink: Data-aware design and verification of service compositions with Reo and mCRL2. SAC 2010: 2406-2413
- [c12]Natallia Kokash, Christian Krause, Erik P. de Vink: Time and Data-Aware Analysis of Graphical Service Models in Reo. SEFM 2010: 125-134
2000 – 2009
- 2009
- [c11]Natallia Kokash, Christian Krause, Erik P. de Vink: Verification of Context-Dependent Channel-Based Service Models. FMCO 2009: 21-40
- [c10]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
- [c9]Natallia Kokash, Farhad Arbab: Applying Reo to service coordination in long-running business transactions. SAC 2009: 1381-1382
- 2008
- [c8]Natallia Kokash, Farhad Arbab: Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. FMCO 2008: 21-41
- [c7]Farhad Arbab, Natallia Kokash, Sun Meng: Towards Using Reo for Compliance-Aware Business Process Modeling. ISoLA 2008: 108-123
- 2007
- [j1]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)
- [c6]Natallia Kokash, Aliaksandr Birukou, Vincenzo D'Andrea: Web Service Discovery Based on Past User Experience. BIS 2007: 95-107
- [c5]Natallia Kokash, Vincenzo D'Andrea: Evaluating Quality of Web Services: A Risk-Driven Approach. BIS 2007: 180-194
- [c4]
- [c3]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
- 2006
- [c2]Natallia Kokash, Willem-Jan van den Heuvel, Vincenzo D'Andrea: Leveraging Web Services Discovery with Customizable Hybrid Matching. ICSOC 2006: 522-528
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:24 CEST by the dblp team