Natallia Kokash

Presentations

2021

T. Gillespie, N. Kokash, M. Surles-Zeigler, M. E. Martone, B. de Bono, ApiNATOMY infrastructure for multiscale connectivity, SfN Global Connectome: A Virtual Event, January 2021, poster presentation [PDF].

2020

• Why am I seeing this ad? A look under the hood of data-driven marketing, 5th International School on Applied Probability Theory, Communications Technologies, and Data Science APTCT-2020, November 2020 [PDF].

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

  Due to the growing complexity of modern enterprise business processes and supporting information systems, IT companies continuously look for new architectures and technologies able to simplify their development. Among the best practices in this field currently are service-oriented computing and model-driven development. The adherence to both of these principles helps software engineers relatively easy reconfigure their systems to meet requirements coming from ever changing business needs, service-level agreements or legislative documents regulating specific business areas. In my talk, I will discuss our approach to the development of service-based systems that have to comply to such requirements. These requirements may affect different aspects of enterprise processes, including control flow, data flow or Quality of Service parameters. More specifically, we provide a framework for verification of business process models designed or imported to the Eclipse Coordination Tools (ECT) environment against a set of formally specified compliance rules.
• "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].