Rumyana Neykova
- Multiparty Session Actors
2016/09/30 by Rumyana Neykova, Nobuko Yoshida · 2 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Security and Verification in Computing #cs.PL
- Behavioral Types in Programming Languages
2016/01/01 by Nobuko Yoshida, Vasco T. Vasconcelos, Luca Padovani +18 · 2 citations
Computer Science · #Advanced Software Engineering Methodologies #Formal Methods in Verification #Logic, programming, and type systems #Teaching and Learning Programming
- Multiparty Session Programming with Global Protocol Combinators
2020/05/13 by Keigo Imai, Rumyana Neykova, Imai, Keigo +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- Multiparty Session Actors
2014/06/13 by Rumyana Neykova, Nobuko Yoshida · 1 citation
Computer Science · #cs.DC #cs.SE
- Timed Runtime Monitoring for Multiparty Conversations
2014/08/26 by Rumyana Neykova, Laura Bocchi, Nobuko Yoshida · 1 citation
Computer Science · #cs.DC #cs.SE
- Statically Verified Refinements for Multiparty Protocols
2020/09/14 by Fangyi Zhou, Francisco Ferreira, Zhou, Fangyi +7 · 1 citation
Computer Science · #Distributed #FOS: Computer and information sciences #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC) #cs.DC #cs.PL
- kmclib: Automated Inference and Verification of Session Types
2021/11/23 by Keigo Imai, Julien Lange, Imai, Keigo +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications
2023/10/03 by Giacomo Ibba, Sabrina Aufiero, Ibba, Giacomo +11 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Computation and Language (cs.CL) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Information Theory (cs.IT) #Peer-to-Peer Network Technologies
- Adjacency matrices for dApps contracts and functions network
2024/01/03 by Sabrina Aufiero, Giacomo Ibba, Aufiero, Sabrina +9 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Computers and Society (cs.CY) #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Information Theory (cs.IT) #Peer-to-Peer Network Technologies #Software Engineering (cs.SE)