Natallia Kokash

Researcher at Leiden University

Main menu: Home | Publications | Presentations | Reviews | Gallery

sample header image

Publications

2017

  • M. K. Smith, S. L. Moodie, R. Bizzotto, E. Blaudez, E. Borella, L. Carrara, P. Chan, M. Chenel, E. Comets, R. Gieschke, K. Harling, L. Harnisch, N. Hartung, A. Hooker, M. O. Karlsson, R. Kaye, C. Kloft, N. Kokash, M. Lavielle, P. Magni, A. Mari, F. Mentre, C. Muselle, R. Nordgren, H. B. Nyberg, Z. P. Parra-Guilleen, L. Pasotti, N. Rode-Kristensen, M.L. Sardu, G. R. Smith, M. J. Swat, N. Terranova, G. Yngman, F. Yvon, N. Holford: "Model Description Language (MDL): A Standard for Modelling and Simulation", CPT: Pharmacometrics and Systems Pharmacology, 2017, DOI: 10.1002/psp4.12222 [link].

2016

  • N. Kokash, J. Camara (Editors): Special section on Foundations of Coordination Languages and Software Architectures, Science of Computer Programming, 115:C, Elsevier, 2016, pp. 147-148 [link].
  • B. de Bono, M. Helvensteijn, N. Kokash, I. Martorelli, D. Sarwar, S. Islam, P. Grenon, P. Hunter: "Requirements for the Formal Representation of Pathophysiology Mechanisms by Clinicians", Journal of the Royal Society Interface Focus, 6: 2, 2016, DOI: 10.1098/rsfs.2015.0099 [link]

2015

  • N. Kokash, S. L. Moodie, M. K. Smith, N. Holford: "Implementing a Domain-specific Language for Model-based Drug Development", Proceedings of the 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), 2015 [PDF, link].
  • B. de Bono, S. Safaei, P. Grenon, D. Nickerson, S. Alexander, M. Helvensteijn, J. Kok, J., N. Kokash, A. Wu, T. Yu, P. Hunter, R.A. Baldock: "The Open Physiology Workflow: Building Physiology Circuitboards from Interoperable Tissue Knowledge", Frontiers in Physiology, 6:24, 2015 [link].
  • M. J. Swat, S. Moodie, S. M. Wimalaratne, N. R. Kristensen, M. Lavielle, A. Mari, P. Magni, R. Bizzotto, M. K. Smith, E. Comets, Celine Sarr, N. Terranova, E. Blaudez, P. Chan, J. Chard, M. Chenel, D. Edwards, C. Franklin, T. Giorgino, M. Glont, P. Girard, P. Grenon, K. Harling, A. C. Hooker, R. Kaye, R. Keizer, C. Kloft, N. Kokash, C. Laibe, C. Laveille, F. Mentre, E. Mezzalana, A. Munafo, R. Nordgren, H. B. Nyberg, Z. P. Para-Guillen, L. Pasotti, E. Plan, B. Ribba, G. Smith, I. F. Troconiz, F. Yvon, L. Harnisch, M. Karlsson, H. Hermjakob, N. Le Novere: "Pharmacometrics Markup Language (PharmML): Opening New Perspectives for Model Exchange in Drug Development", CPT: Pharmacometrics and Systems Pharmacology, issue 4, pp. 316-319, 2015 [link].
  • M. Bonsangue, M. Helvensteijn, J. Kok, N. Kokash: "Action Systems for Pharmacokinetic Modeling", book chapter, L. Petre and E. Sekerinski (Editors): "From Action System to Distributed Systems: The Refinement Approach", Taylor and Francis, 2015 [PDF].

2014

  • B. de Bono, P. Grenon, M. Helvenstijn, J. Kok, N. Kokash: "ApiNATOMY: The Generation of Interactive Circuitboard Views of Complex Physiology Knowledge" (extended abstract), Virtual Physiological Human Conference, Trondheim, September, 2014.
  • B. de Bono, P. Grenon, M. Helvenstijn, J. Kok, and N. Kokash: "ApiNATOMY: Towards Multiscale Views of Human Anatomy", The 13th International Symposium on Intelligent Data Analysis (IDA), vol. 8819, LNCS, Springer, pp. 72-83, 2014 [PDF].
  • N. Kokash: "Handshaking Protocol for Distributed Implementation of Reo", 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA), 2014 [PDF].
  • N. Kokash: "Handshaking Protocol for Distributed Implementation of Reo", LIACS TR 2014-01, Leiden University, 2014 [PDF].
  • N. Kokash, B. de Bono, J. Kok: "Template-based Treemaps to Preserve Spatial Constraints", International Conference on Information Visualization Theory and Applications (IVAPP), January 2014, Lisbon, Portugal [PDF].
  • N. Kokash, "Compliance Managment in Service-Oriented Systems", book chapter, Emerging Architectural Trends in Service-driven Computing, IGI Global, 2014 [link].

2013

  • N. Kokash, J. Camara Moreno (editors): Pre-proceedings of the 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems (FOCLASA 2013), Technical Report, LIACS TR 2013-04, Leiden University, 2013 [PDF].
  • Brandt, C., Santini, F., Kokash, N., and Arbab, F.: "Modeling and Simulation of Selected Operational IT Risks in the Banking Sector (Extended Version)", CWI Technical Report, FM-1301, [PDF].

2012

  • Changizi, B., Kokash, N. and Arbab, F.: "A Constraint-based Method to Compute Semantics of Channel-based Coordination Models", International Conference on Software Engineering Advances (ICSEA), November 2012, Lisbon, Portugal [PDF].
  • Brandt, C., Santini, F., Kokash, N., and Arbab, F.: "Modeling and Simulation of Operational Risks in the Finance Industry", The European Simulation and Modelling Conference (ESM 2012), October 2012, Essen, Germany [PDF].
  • de Bono, B., Kasteleyn, P., Potikanond, D., Kokash, N., Verbeek, F. and Grenon, P: "Tissue Motifs and Multi-scale Transport Physiology", Workshop of Ontologies in Biomedicine and Life Sciences, September 2012, Dresden, Germany [PDF].
  • Ravara, A. and Kokash, N. (editors): 11th International Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA 2012), ENTCS 91, September 2012, Newcastle upon Tyne, United Kingdom [PDF].
  • Kokash, N., Jaghoori, M. M., Arbab, F.: "From Timed Reo Networks to Networks of Timed Automata", International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012), ENTCS 18322, March 2012, Tallinn, Estonia [PDF].

2011

  • Kokash, N., Arbab, F., Changizi, B., Makhnist L.: "Input-output Conformance Testing for Channel-based Service Connectors", International Workshop on Process Algebra and Coordination (PACO 2011), L. Aceto and M.R. Mousavi (Eds.), EPTCS 60, 2011, pp. 19-35, doi:10.4204/EPTCS.60.2 [PDF].
  • Kokash, N., Krause, C., de Vink, E.P.: "Reo + mCRL2: A Framework for Model-checking Dataflow in Service Compositions", Formal Aspects of Computing, 2011, DOI:10.1007/s00165-011-0191-6 [PDF].
  • Kokash, N., Arbab, F.: "Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools", IEEE Transactions on Service Computing, 2011, DOI:10.1109/TSC.2011.46 [PDF].

2010

  • Kokash, N., Changizi, B., and Arbab, F.: "A Semantic Model for Service Composition with Coordination Time Delays", International Conference on Formal Engineering Methods (ICFEM), November 2010, Shanghai, China, Springer, Vol. 6447 of LNCS, pp. 106-121 [PDF].
  • Schumm, D., Turetken, O., Kokash, N., Elgammal, A., Leymann, F., Heuvel, W.-J.: "Business Process Compliance through Reusable Units of Compliant Processes", Current Trends in Web Engineering, Vol. 6385 of LNCS, Springer, July 2010, pp. 325-337 [PDF].
  • Kokash, N., Krause, C., de Vink, E.P.: "Time and Data Aware Analysis of Graphical Service Models in Reo", IEEE International Conference on Software Engineering and Formal Methods (SEFM'10), September 2010, Pisa, Italy, IEEE Computer Society, pp. 125-134 [PDF].
  • Kokash, N., Krause, C., de Vink, E.P.: "Verification of Context-Dependent Channel-Based Service Models" International Symposium on Formal Methods for Components and Objects (FMCO'09), Eindhoven, Netherlands, Vol. 6286 of LNCS, Springer, November 2009, pp. 21-40 [PDF].
  • Changizi, B., Kokash, N., Arbab, F.: "A Unified Toolset for Business Process Model Formalization", International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10), ENTCS, March 2010, Paphos, Cyprus, pp. 147-156 [PDF].
  • Kokash, N., Krause C., de Vink, E.P.: "Data-Aware Design and Verification of Service Compositions with Reo and mCRL2", Proceedings of the ACM Symposium on Applied Computing, Technical track on Service Oriented Architectures and Programming, March 2010, Sierre, Switzerland, pp. 2406-2413 [PDF].

2009

  • Kokash, N., Arbab, F.: "Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems", International Symposium on Formal Methods for Components and Objects (FMCO'08), Revised Papers, Sophia Antipolis, France, October 2008, Vol. 5751 of LNCS, Springer, pp. 21-41 [PDF].
  • Kokash, N., Arbab, F.: "Applying Reo to Service Coordination in Long-Running Business Transactions", Proceedings of the ACM Symposium on Applied Computing, Technical track on Coordination Models, Languages and Applications, Honolulu, Hawaii, March 2009, pp. 318-319 [PDF].
  • Kokash, N., Speicys_Cardoso, R., Raverdy, P.-G., Issarny, V.: "A Flexible QoS-aware Routing Protocol for Infrastructure-less B3G Networks", Proceedings of the ACM Symposium on Applied Computing, Technical track on Mobile Computing and Applications, Honolulu, Hawaii, March 2009, pp.1080-1084 [PDF].

2008

  • Arbab, F., Kokash, N., Sun, M.: "Towards Using Reo for Compliance-aware Business Process Modelling", Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Kassandra, Greece, October 2008, Springer, Vol. 17 of CCIS, pp. 108-123 [PDF].

2007

  • Longo, F., Kokash, N., D'Andrea, V., Bernardo, A.: "A User-Centered Approach for Conceptual Modelling of Service Oriented Systems", Secondo Summit Italiano di Architettura dell'Informazione, Trento, Italy, November, 2007.
  • Birukou, A., Blanzieri, E., D'Andrea, V., Giorgini, P., Kokash, N.: "Improving Web Service Discovery with Usage Data", IEEE Software, 2007, 24(6): 47-54, [link].
  • Bochicchio, M.A., D'Andrea, V., Kokash, N., Longo, F. Conceptual Modelling of Service-Oriented Systems, Proceedings of the International Conference on Web Engineering (ICWE) Workshops, Como, Italy, July 2007, pp. 122-131 [PDF].
  • Kokash, N.: "Risk Management for Service-Oriented Systems", Doctoral Consortium, Proceedings of the International Conference on Web Engineering (ICWE), Como, Italy, July 2007, Vol. 4607 of LNCS, Springer, pp. 563-568 [PDF] Best Presentation Award!
  • Kokash, N., D'Andrea, V.: "Evaluating Quality of Web Services: A Risk-driven Approach", International Conference on Business Information Systems (BIS), Poznan, Poland, April 2007, Vol. 4439 of LNCS, Springer, pp. 180-194 [PDF].
  • Kokash, N., Birukou, A., D'Andrea, V.: "Web Service Discovery Based on Past User Experience", International Conference on Business Information Systems (BIS), Poznan, Poland, April 2007, Vol. 4439 of LNCS, Springer, pp. 95-107 [PDF].
  • Birukou, A., Blanzieri, E., D'Andrea, V., Giorgini, P., Kokash, N., Modena, A.: "IC-Service: A Service-Oriented Approach to the Development of Recommendation Systems", Proceedings of the ACM Symposium on Applied Computing, Special Track on Web Technologies (WT), Seoul, Korea, March 2007, 1683-1688 [PDF].

2006

  • Kokash, N., Van den Heuvel, W.-J., D'Andrea, V.: "Leveraging Web Services Discovery with Customizable Hybrid Matching", Proceedings of the International Conference on Service-Oriented Computing (ICSOC), Chicago, December 2006, Vol. 4294 of LNCS, Springer, pp. 522-528.
  • Kokash, N.: "A Comparison of Web Service Interface Similarity Measures", Proceedings of the European Starting AI Researcher Symposium (STAIRS), Riva del Garda, Italy, August 2006, pp. 220-231 [PDF].
  • Kokash, N.: "A Service Selection Model to Improve Composition Reliability", International Workshop on Artificial Intelligence for Service Composition (AISC), in conjunction with the ECAI, Riva del Garda, Italy, August 2006, pp. 9-14 [PDF].

2002-2005

  • Kokash, N.: "Web Service Discovery with Implicit QoS Filtering", Proceedings of the IBM PhD Student Symposium, in conjunction with the ICSOC, Amsterdam, Netherlands, December 2005, pp. 61-66 [PDF].
  • Kokash, N., D'Andrea, V.: "Service Oriented Computing and Coordination Models", Proceedings of the Challenges in Collaborative Engineering (CCE) Workshop, Sopron, Hungary, April 2005, pp. 95-103.
  • Kokash, N.: "An Efficient Heuristic for Online Scheduling in a System with One Fast Machine", translated summary of my M.S. thesis, Belorussian State University, 2004 [PDF].
  • Kokash, N.: "A Neural Network Training Algorithm with the Use of the Conjugate Gradient Method", Proceedings of the III Republican Scientific Conference "Modern problems of mathematics and computer facilities", 2003, Brest, Vol. 5, pp. 6-10 (in Russian).
  • Kokash, N., Makhnist, L.: "About a System of Difference-Differential Equations and its Application", Proceedings of International Mathematical Conference "Erugin`s readings VIII", 2002, Brest, pp. 88-89 (in Russian).