Full name: Natallia Kokash
Formal name: Dr. N.K. Kokash
Function: Scientific Staff Member, employed by UL
Email: Natallia.Kokash@cwi.nl
Telephone: +31(0)20 592 4053
Room: L216
Research groups: Formal Methods
Formal name: Dr. N.K. Kokash
Function: Scientific Staff Member, employed by UL
Email: Natallia.Kokash@cwi.nl
Telephone: +31(0)20 592 4053
Room: L216
Research groups: Formal Methods
Career
| 2013 - | Gedetacheerde FM - Formal methods |
| 2012 - 2013 | Gedetacheerde SEN3 - Foundations of Software Engineering |
| 2011 | Scientific staff member/postdoc SEN3 - Foundations of Software Engineering |
| 2008 - 2011 | Scientific staff member SEN3 - Foundations of Software Engineering |
Recent Publications
| N. Kokash, Mahdi, F. Arbab. From timed Reo networks to networks of timed automata. Proceedings of European Joint Conferences on Theory and Practice of Software 2012, 2012. |
| Ch. Brandt, F. Santini, N. Kokash, F. Arbab. Modeling and simulation of operational risks in the finance industry. Proceedings of European Simulation and Modelling Conference 2012 (26), 2012. |
| N. Kokash, F. Arbab. Formal design and verification of long-running transactions with eclipse coordination tools. IEEE Transactions on Service Computing, 2012. |
| N. Kokash, C. Krause, E.P. de Vink. Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions. Formal Aspects of Computing 24, 187–216, 2012. |
| N. Kokash, F. Arbab, B. Changizi, L. Makhnist. Input-output Conformance Testing for Channel-based Service Connectors. International Workshop on Process Algebra and CoordinationElectronic Proceedings in Theoretical Computer Science 60, Reykjavik, Iceland, 19–35, 2011. |
