Skip to Content
Skip to main content
What do you want to do?
Foundation Undergraduate Postgraduate International
}
Find your course
}
Campus life Study support Student Services Professional Development Centre
}
Research Research degrees
}
Global Engagement
}
Business services
}
News and Events
Brunel Alumni Giving back to Brunel Contact us
}
About Colleges
}
e

Dr Rumyana Neykova
Senior Lecturer in Computer Science

Filter

Ibba, G., Aufiero, S., Bartolucci, S., Neykova, R., Ortu, M., Tonelli, R. and et al. (2024) 'MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications'. IEEE Access, 12. pp. 28382 - 28394.Open Access Link

Journal article

Ibba, G., Khullar, S., Tesfai, E., Neykova, R., Aufiero, S., Ortu, M., et al. (2023) 'A Preliminary Analysis of Software Metrics in Decentralised Applications'.Fifth ACM International Workshop on Blockchain-enabled Networked Sensor Systems. Istanbul Turkiye. 12 - 12 November. ACM. pp. 27 - 33.Open Access Link

Conference paper

Nazir, A., Singh, M., Destefanis, G., Kassab, M., Memon, J., Neykova, R. and et al. (2023) 'Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols'.2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C). L'Aquila, Italy. 13 - 17 March. IEEE. pp. 224 - 230. ISSN: 2768-427X Open Access Link

Conference paper

Nazir, A., Singh, M., Destefanis, G., Memon, J., Neykova, R., Kassab, M. and et al. (2023) 'An Optimized Concurrent Proof of Authority Consensus Protocol'.2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE. pp. 874 - 877. ISSN: 1534-5351

Conference paper

Lagaillardie, N., Neykova, R. and Yoshida, N. (2022) 'Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types'.36th European Conference on Object-Oriented Programming (ECOOP 2022). Berlin, Germany (virtual). 23 - 7 July. Leibniz International Proceedings in Informatics, LIPIcs. pp. 4:1 - 4:29. ISSN: 1868-8969 Open Access Link

Conference paper

Imai, K., Lange, J. and Neykova, R. (2022) 'Kmclib: Automated Inference and Verification of Session Types from OCaml Programs', in Fisman, D. and Rosu, G. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022. Cham, Switzerland : Springer, Cham. , 13243 LNCS. pp. 379 - 386. ISBN 10: 3-030-99524-0. ISBN 13: 978-3-030-99523-2. Open Access Link

Book chapter

Carbone, M. and Neykova, R. (2022) 'Preface'. Electronic Proceedings in Theoretical Computer Science, EPTCS. ISSN: 2075-2180

Conference paper

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.Open Access Link

Journal article

Imai, K., Neykova, R., Yoshida, N. and Yuen, S. (2020) 'Multiparty session programming with global protocol combinators'. Leibniz International Proceedings in Informatics, LIPIcs. pp. 12 - 12. ISSN: 1868-8969

Conference paper

Lagaillardie, N., Neykova, R. and Yoshida, N. (2020) 'Implementing multiparty session types in rust'.22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. Valletta, Malta. 10 - 19 June. Springer Nature. pp. 127 - 136. ISSN: 0302-9743 Open Access Link

Conference paper

Imai, K., Neykova, R., Yoshida, N. and Yuen, S. (2020) 'Multiparty Session Programming with Global Protocol Combinators'. European Conference on Object-Oriented Programming, 322. pp. 1 - 45. ISSN: 2331-8422 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

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

Conference paper

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

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

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

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