Rumyana Neykova
TitleCited byYear
The Scribble protocol language
N Yoshida, R Hu, R Neykova, N Ng
International Symposium on Trustworthy Global Computing, 22-41, 2013
742013
Multiparty session actors
R Neykova, N Yoshida
International Conference on Coordination Languages and Models, 131-146, 2014
582014
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016
572016
Practical interruptible conversations
R Hu, R Neykova, N Yoshida, R Demangeon, K Honda
International Conference on Runtime Verification, 130-148, 2013
532013
Timed runtime monitoring for multiparty conversations
R Neykova, L Bocchi, N Yoshida
Formal Aspects of Computing 29 (5), 877-910, 2017
422017
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
R Demangeon, K Honda, R Hu, R Neykova, N Yoshida
Formal Methods in System Design 46 (3), 197-225, 2015
412015
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
R Demangeon, K Honda, R Hu, R Neykova, N Yoshida
Formal Methods in System Design 46 (3), 197-225, 2015
412015
Structuring communication with session types
K Honda, R Hu, R Neykova, TC Chen, R Demangeon, PM Deniélou, ...
Concurrent Objects and Beyond, 105-127, 2014
322014
SPY: local verification of global protocols
R Neykova, N Yoshida, R Hu
International Conference on Runtime Verification, 358-363, 2013
322013
Let it recover: multiparty protocol-induced recovery
R Neykova, N Yoshida
Proceedings of the 26th International Conference on Compiler Construction …, 2017
262017
Session types go dynamic or how to verify your Python conversations
R Neykova
arXiv preprint arXiv:1312.2704, 2013
72013
A session type provider: compile-time API generation of distributed protocols with refinements in F
R Neykova, R Hu, N Yoshida, F Abdeljallal
Proceedings of the 27th International Conference on Compiler Construction …, 2018
52018
How to Verify Your Python Conversations
R Neykova, N Yoshida
Behavioural Types: from Theory to Tools, 77, 2017
12017
COST Action IC1405 Reversible Computation Extending Horizons of Computing
P Giannini, CA Mezzina, J Miszczak, JA Pérez, I Ulidowski, U Schultz, ...
2018
Multiparty Session Actors
N Yoshida, R Neykova
Logical Methods in Computer Science 13, 2017
2017
Multiparty session types for dynamic verification of distributed systems
R Neykova
Imperial College London, 2016
2016
Frontmatter, Table of Contents, Preface, Workshop Organization
R Neykova, N Ng
2014 Imperial College Computing Student Workshop, 2014
2014
OASIcs, Volume 43, ICCSW'14, Complete Volume
R Neykova, N Ng
2014 Imperial College Computing Student Workshop, 2014
2014
Refactoring-Overview
R Neykova
2011
Behavioral Types in Programming Languages
D Davide Ancona, M Bravetti, PM Deniélou, SJ Gay, N Gesbert, ...
The system can't perform the operation now. Try again later.
Articles 1–20