Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. - Raymond Hu; Rumyana Neykova; Nobuko Yoshida; Romain Demangeon; Kohei Honda 001 (RV, 2013)

SPY: Local Verification of Global Protocols. - Rumyana Neykova; Nobuko Yoshida; Raymond Hu (RV, 2013)

The Scribble Protocol Language. - Nobuko Yoshida; Raymond Hu; Rumyana Neykova; Nicholas Ng (TGC, 2013)

Session Types Go Dynamic or How to Verify Your Python Conversations. - Rumyana Neykova (PLACES, 2013)

Structuring Communication with Session Types. - Kohei Honda 001; Raymond Hu; Rumyana Neykova; Tzu-Chun Chen; Romain Demangeon; Pierre-Malo Deniélou; Nobuko Yoshida (Concurrent Objects and Beyond, 2014)

Frontmatter, Table of Contents, Preface, Workshop Organization. - Rumyana Neykova; Nicholas Ng (ICCSW, 2014)

Multiparty Session Actors. - Rumyana Neykova; Nobuko Yoshida (PLACES, 2014)

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. - Romain Demangeon; Kohei Honda 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Formal Methods Syst. Des., 2015)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

Multiparty session types for dynamic verification of distributed systems. - Rumyana Neykova (2016)

Let it recover: multiparty protocol-induced recovery. - Rumyana Neykova; Nobuko Yoshida (CC, 2017)

Timed runtime monitoring for multiparty conversations. - Rumyana Neykova; Laura Bocchi; Nobuko Yoshida (Formal Aspects Comput., 2017)

A session type provider: compile-time API generation of distributed protocols with refinements in F#. - Rumyana Neykova; Raymond Hu; Nobuko Yoshida; Fahd Abdeljallal (CC, 2018)

Featherweight Scribble. - Rumyana Neykova; Nobuko Yoshida (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Implementing Multiparty Session Types in Rust. - Nicolas Lagaillardie; Rumyana Neykova; Nobuko Yoshida (COORDINATION, 2020)

Using the Lexicon from Source Code to Determine Application Domain. - Andrea Capiluppi; Nemitari Ajienka; Nour Ali; Mahir Arzoky; Steve Counsell; Giuseppe Destefanis; Alina Dana Miron; Bhaveet Nagaria; Rumyana Neykova; Martin J. Shepperd; Stephen Swift; Allan Tucker (EASE, 2020)

Multiparty Session Programming With Global Protocol Combinators. - Keigo Imai; Rumyana Neykova; Nobuko Yoshida; Shoji Yuen (ECOOP, 2020)

Multiparty Session Programming with Global Protocol Combinators (Artifact). - Keigo Imai; Rumyana Neykova; Nobuko Yoshida; Shoji Yuen (Dagstuhl Artifacts Ser., 2020)

Statically verified refinements for multiparty protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Proc. ACM Program. Lang., 2020)

Statically Verified Refinements for Multiparty Protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Zenodo, 2020)

Statically Verified Refinements for Multiparty Protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Zenodo, 2020)

kmclib: Automated Inference and Verification of Session Types. - Keigo Imai; Julien Lange; Rumyana Neykova (CoRR, 2021)

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. - Nicolas Lagaillardie; Rumyana Neykova; Nobuko Yoshida (ECOOP, 2022)

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. - Keigo Imai; Julien Lange; Rumyana Neykova (TACAS (1), 2022)

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact). - Nicolas Lagaillardie; Rumyana Neykova; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2022)

A Preliminary Analysis of Software Metrics in Decentralised Applications. - Giacomo Ibba; Shivank Khullar; E. Tesfai; Rumyana Neykova; Sabrina Aufiero; Marco Ortu; Silvia Bartolucci; Giuseppe Destefanis (BlockSys, 2023)

Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols. - Anjum Nazir; Michael Singh; Giuseppe Destefanis; Mohamad Kassab; Jamsheed Memon; Rumyana Neykova; Roberto Tonelli (ICSA-C, 2023)

An Optimized Concurrent Proof of Authority Consensus Protocol. - Anjum Nazir; Michael Singh; Giuseppe Destefanis; Jamsheed Memon; Rumyana Neykova; Mohamad Kassab; Roberto Tonelli (SANER, 2023)

MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications. - Giacomo Ibba; Sabrina Aufiero; Silvia Bartolucci; Rumyana Neykova; Marco Ortu; Roberto Tonelli; Giuseppe Destefanis (CoRR, 2023)

Sustainability in Blockchain Development: A BERT-Based Analysis of Ethereum Developer Discussions. - Matteo Vaccargiu; Sabrina Aufiero; Silvia Bartolucci; Rumyana Neykova; Roberto Tonelli; Giuseppe Destefanis (EASE, 2024)

A Working Week Simulation Approach to Forecast Personal Well-Being. - Derek Groen; Shivank Khullar; Moqi Groen-Xu; Rumyana Neykova (ICCS (3), 2024)

A Curated Solidity Smart Contracts Repository of Metrics and Vulnerability. - Giacomo Ibba; Sabrina Aufiero; Rumyana Neykova; Silvia Bartolucci; Marco Ortu; Roberto Tonelli; Giuseppe Destefanis (PROMISE, 2024)

DAI: A Dependencies Analyzer and Installer for Solidity Smart Contracts. - Giacomo Ibba; Giuseppe Destefanis; Rumyana Neykova; Marco Ortu; Sabrina Aufiero; Silvia Bartolucci (SANER (Companion), 2024)

MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-Based Decentralized Applications. - Giacomo Ibba; Sabrina Aufiero; Silvia Bartolucci; Rumyana Neykova; Marco Ortu; Roberto Tonelli; Giuseppe Destefanis (IEEE Access, 2024)

Model Input Verification of Large Scale Simulations. - Rumyana Neykova; Derek Groen (CoRR, 2024)

Software engineering education in the era of conversational AI: current trends and future directions. - Cigdem Sengul; Rumyana Neykova; Giuseppe Destefanis (Frontiers Artif. Intell., 2024)

DApps ecosystems: mapping the network structure of smart contract interactions. - Sabrina Aufiero; Giacomo Ibba; Silvia Bartolucci; Giuseppe Destefanis; Rumyana Neykova; Marco Ortu (EPJ Data Sci., 2024)

Reversed Model Verification by Inferring Conceptual Models from Simulation Code. - Rumyana Neykova; Derek Groen (ICCS (4), 2025)

Blockchain Developer Experience: A Multivocal Literature Review. - Pamella Soares; Allysson Allex Araújo; Giuseppe Destefanis; Rumyana Neykova; Raphael Saraiva; Jerffeson Souza (CHASE@ICSE, 2025)

More Than Code: Technical and Emotional Dynamics in Solidity's Development. - Matteo Vaccargiu; Rumyana Neykova; Nicole Novielli; Marco Ortu; Giuseppe Destefanis (CHASE@ICSE, 2025)

There's Nothing to See Here: A Study of Deaf and Hearing Developer Use of Stack Overflow. - Steve Counsell; Giuseppe Destefanis; Rumyana Neykova; Alina Dana Miron; Nadine Aburumman; Thomas Shippey (ICSE-SEIS, 2025)

Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study. - Matteo Vaccargiu; Sabrina Aufiero; C. Ba; Silvia Bartolucci; Richard G. Clegg; Daniel Graziotin; Rumyana Neykova; Roberto Tonelli; Giuseppe Destefanis (MSR, 2025)

Introducing Repository Stability. - Giuseppe Destefanis; Silvia Bartolucci; Daniel Graziotin; Rumyana Neykova; Marco Ortu (SIGSOFT FSE Companion, 2025)

Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study. - Matteo Vaccargiu; Sabrina Aufiero; Cheick Tidiane Ba; Silvia Bartolucci; Richard G. Clegg; Daniel Graziotin; Rumyana Neykova; Roberto Tonelli; Giuseppe Destefanis (CoRR, 2025)

Micro-Patterns in Solidity Code. - Luca Ruschioni; Robert Shuttleworth; Rumyana Neykova; Barbara Re 001; Giuseppe Destefanis (CoRR, 2025)