Natallia Kokash

Researcher at Leiden University

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

sample header image

Presentations

2015

  • Implementing a domain-specific language for model-based drug development, ICTH 2015, Berlin, Germany, September 2015 [PDF].

2014

  • Drug Disease Model Resources (DDMoRe) Workshop, Noordwijkerhout, Netherlands, April 2014 [PDF].

2013

  • "The visual navigation of multiscale tissue knowledge using treemaps", Tissue KM Workshop, Brussels, Belgium, October 2013 [PDF].
  • "Applications of Reo: process modeling and SOC", East China Normal University (ECNU), China, Shanghai, September 2013.

2012

  • "From Timed Reo Networks to Networks of Timed Automata", FESCA 2012, Tallinn, Estonia, March 2012.

2011

  • "Extensible Coordination Tools: Connecting Services", Internet of Services 2011 Collaboration meeting, Formal Methods for SOA and Future Internet, Brussels, Belgium, September 2011.
  • "Input-output conformance testing for channel-based connectors", PACO workshop, Reykjavik, Iceland, June 2011 [PPT].
  • "Input-output conformance testing for channel-based connectors", ACG Meeting, Amsterdam, Netherlands, May 2011.
  • "Reo: Semantics and Tools", ACG Meeting, Amsterdam, Netherlands, April 2011.

2010

  • "A Semantic Model for Service Composition with Coordination Time Delays", ICFEM 2010, Shanghai, China, November 2010.
  • "Timed data-centric analysis of graphical business process models in Reo", SEFM 2010, Pisa, Italy, September 2010 [PPT].
  • "Designing Compliant Service-based Business Processes with ECT", SYANCO Winter School, Berlin, Germany, February 2010 [PDF].

    Show/hide abstract

  • "Translating Reo to mCRL2, ProSe Meeting at TU Eindhoven", Netherlands, January 2010 [PPT].

2009

  • "Specifying Behavior of Reo in mCRL2", ACG Meeting, Amsterdam, Netherlands, December 2009.
  • "Service-based Process Development: from Verifiable Design to Implementation", Collaboration meeting "Model driven development for Complex Service Oriented Architectures", ServiceWave/ICSOC'09, Stockholm, Sweden, November 2009.
  • "Model Checking Reo Connector using mCRL2", FMCO'09, Eindhoven, Netherlands, November 2009 [PDF].
  • "Experience with Vereofy", SYANCO meeting, Dresden, Germany, August 2009.
  • "A Flexible QoS-aware Routing Protocol for Infrastructure-less B3G Networks", ACM SAC, Honolulu, Hawaii, USA, March 2009 [PDF].
  • "From Compliant Business Process Specifications to Code", FMSOA workshop, Dusseldorf, Germany, February 2009 [PDF].

2008

  • "Formal Behavioral Models and Compliance Analysis for Service-Oriented Systems", FMCO'08, Sophia-Antipolis, France, October 2008 [PDF].
  • "Towards Using Reo for Compliance-aware Business Process Modeling", ISOLA'08, Porto Sani, Kassandra, Greece, October 2008 [PDF].
  • "QoS-aware Routing in Infrastructure-less B3G Networks", ACG Meeting, CWI, Amsterdam, Netherlands, June 2008 [PDF].
  • "Using Reo for Compliance-driven Design of Service-Oriented Applications", ACG Meeting, CWI, Amsterdam, Netherlands, June 2008 [PDF].
  • "Reo for Building Mash-Ups", CWI-TNO Meeting, Delft, Netherlands, June 2008.

2007

  • "Engineering Service-Oriented Systems: Modelling, Discovery and Quality", ARLES project-team, INRIA-Rocquencourt, France, September 2007.
  • "Risk Management for Service-Oriented Architecture", Doctoral Consortium, ICWE, Como, Italy, July 2007 [PPT].
  • "Evaluating Quality of Web Services: A Risk-driven Approach", BIS, Poznan, Poland, April 2007 [PPT].
  • "IC-Service: A Service-Oriented Approach to the Development of Recommendation Systems", ACM SAC, Seoul, Korea, March 2007 [PPT].

2006

  • "Leveraging Web Services Discovery with Customizable Hybrid Matching", University of Trento, Italy, December 2006.
  • "Web Service Discovery and Selection: Pragmatic Approaches", University of Lecce, Italy, November 2006.
  • "QoS-aware Web Service Discovery with IC-Service", ISSSE, University of Salerno, Italy, September 2006.
  • "A Comparison of Web Service Interface Similarity Measures", STAIRS, Riva del Garda, Italy, August 2006.
  • "A Service Selection Model to Improve Composition Reliability", International Workshop on AI for Service Composition, in conjunction with ECAI, Riva del Garda, Italy, August 2006.
  • "Towards Efficient Discovery of Web Services", Tilburg University, Netherlands, June 2006.

2005

  • "Web Service Discovery with Implicit QoS Filtering", IBM PhD Symposium, Amsterdam, Netherlands, December 2005.
  • "An introduction to heuristic algorithms", Research Methodology course, Trento, June 2005.
  • "Intellectual Property in Peer-to-Peer Networks", Intellectual Property course, Trento, October 2005 [PPT].