Skip to Content
Exit Menu
Dr Rumyana Neykova

Dr Rumyana Neykova
Lecturer in Computer Science

Filter

Zhou, F., Ferreira, F., Hu, R., Neykova, R. and Yoshida, N. (2020) 'Statically verified refinements for multiparty protocols'. Proceedings of the ACM on Programming Languages, 4 (OOPSLA). pp. 1 - 30. ISSN: 2475-1421 Open Access Link

Journal article

Neykova, R. and Yoshida, N. (2019) 'Featherweight Scribble', in Boreale, M., Corradini, F., Loreti, M. and Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming, Lecture Notes in Computer Science. CHAM : Springer. , 11665. pp. 236 - 259. ISBN 13: 978-3-030-21484-5. Open Access Link

Book chapter

Neykova, R., Hu, R., Yoshida, N. and Abdeljallal, F. (2018) 'A session type provider compile-time API generation of distributed protocols with refinements in F#'.Compiler Construction. Vienna, Austria. 24 - 25 February. ACM. pp. 128 - 138.Open Access Link

Conference paper

Neykova, R., Bocchi, L. and Yoshida, N. (2017) 'Timed runtime monitoring for multiparty conversations'. Formal Aspects of Computing, 29 (5). pp. 877 - 910. ISSN: 0934-5043 Open Access Link

Journal article

Neykova, R. and Yoshida, N. (2017) 'How to Verify Your Python Conversations', in Gay, S. and Ravara, A. (eds.) Behavioural Types: from Theory to Tools. Gistrup, Denmark : River Publishers. pp. 77 - 98. ISBN 10: 8793519826. ISBN 13: 9788793519824. Open Access Link

Book chapter

Neykova, R. and Yoshida, N. (2017) 'Let it recover: Multiparty protocol-induced recovery'.Compiler Construction. Austin, TX, USA. 5 - 6 February. ACM. pp. 98 - 108.Open Access Link

Conference paper

Neykova, R. and Yoshida, N. (2017) 'Multiparty session actors'. Logical Methods in Computer Science, 13 (1). pp. 2017. ISSN: 1860-5974 Open Access Link

Journal article

Neykova, R. (2016) 'The Scribble Programming Language', in Ancona, D. (ed.) Behavioral Types in Programming Languages. Boston, Mass. : Now Publishers. ISBN 10: 1680831348. ISBN 13: 9781680831344.

Book chapter

Demangeon, R., Honda, K., Hu, R., Neykova, R. and Yoshida, N. (2014) 'Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python'. Formal Methods in System Design, 46 (3). pp. 197 - 225. ISSN: 0925-9856

Journal article

Honda, K., Hu, R., Neykova, R., Chen, TC., Demangeon, R., DenĂ­elou, PM. and et al. (2014) 'Structuring communication with session types'. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8665. pp. 105 - 127. ISSN: 0302-9743

Journal article

Neykova, R. and Ng, N. (2014) 'Preface'. OpenAccess Series in Informatics. pp. vii. ISSN: 2190-6807

Conference paper

Neykova, R. and Yoshida, N. (2014) 'Multiparty session actors'. Electronic Proceedings in Theoretical Computer Science, EPTCS, 155. pp. 32 - 37. ISSN: 2075-2180

Journal article

Neykova, R., Bocchi, L. and Yoshida, N. (2014) 'Timed runtime monitoring for multiparty conversations'. Electronic Proceedings in Theoretical Computer Science, EPTCS, 162. pp. 19 - 26. ISSN: 2075-2180

Journal article

Yoshida, N., Hu, R., Neykova, R. and Ng, N. (2014) 'The scribble protocol language'. Springer International Publishing. pp. 22 - 41. ISSN: 0302-9743

Conference paper

Neykova, R. and Yoshida, N. (2014) 'Multiparty session actors'.16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION). Berlin, GERMANY. 1 - 5 June. Springer Berlin Heidelberg. pp. 131 - 146. ISSN: 0302-9743

Conference paper

Neykova, R. (2013) 'Session types go dynamic or how to verify your Python conversations'. Electronic Proceedings in Theoretical Computer Science, EPTCS, 137. pp. 95 - 102. ISSN: 2075-2180

Journal article

Hu, R., Neykova, R., Yoshida, N., Demangeon, R. and Honda, K. (2013) 'Practical interruptible conversations: Distributed dynamic verification with session types and Python'.4th International Conference on Runtime Verification (RV). Rennes, FRANCE. 18 - 27 September. Springer Berlin Heidelberg. pp. 130 - 148. ISSN: 0302-9743

Conference paper

Neykova, R., Yoshida, N. and Hu, R. (2013) 'SPY: Local verification of global protocols'.4th International Conference on Runtime Verification (RV). Rennes, FRANCE. 18 - 27 September. Springer Berlin Heidelberg. pp. 358 - 363. ISSN: 0302-9743

Conference paper