Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Neykova, Rumyana"'
Autor:
Neykova, Rumyana, Groen, Derek
Reliable simulations are critical for analyzing and understanding complex systems, but their accuracy depends on correct input data. Incorrect inputs such as invalid or out-of-range values, missing data, and format inconsistencies can cause simulatio
Externí odkaz:
http://arxiv.org/abs/2409.05768
Autor:
Aufiero, Sabrina, Ibba, Giacomo, Bartolucci, Silvia, Destefanis, Giuseppe, Neykova, Rumyana, Ortu, Marco
In recent years, decentralized applications (dApps) built on blockchain platforms such as Ethereum and coded in languages such as Solidity, have gained attention for their potential to disrupt traditional centralized systems. Despite their rapid adop
Externí odkaz:
http://arxiv.org/abs/2401.01991
Autor:
Ibba, Giacomo, Aufiero, Sabrina, Bartolucci, Silvia, Neykova, Rumyana, Ortu, Marco, Tonelli, Roberto, Destefanis, Giuseppe
This paper presents MindTheDApp, a toolchain designed specifically for the structural analysis of Ethereum-based Decentralized Applications (DApps), with a distinct focus on a complex network-driven approach. Unlike existing tools, our toolchain comb
Externí odkaz:
http://arxiv.org/abs/2310.02408
Communicating systems comprise diverse software components across networks. To ensure their robustness, modern programming languages such as Rust provide both strongly typed channels, whose usage is guaranteed to be affine (at most once), and cancell
Externí odkaz:
http://arxiv.org/abs/2204.13464
Autor:
Carbone, Marco, Neykova, Rumyana
Publikováno v:
EPTCS 356, 2022
The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practical ideas. The International Workshop on Programming Language Approaches
Externí odkaz:
http://arxiv.org/abs/2203.12142
Theories and tools based on multiparty session types offer correctness guarantees for concurrent programs that communicate using message-passing. These guarantees usually come at the cost of an intrinsically top-down approach, which requires the comm
Externí odkaz:
http://arxiv.org/abs/2111.12147
With distributed computing becoming ubiquitous in the modern era, safe distributed programming is an open challenge. To address this, multiparty session types (MPST) provide a typing discipline for message-passing concurrency, guaranteeing communicat
Externí odkaz:
http://arxiv.org/abs/2009.06541
Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well-typed communicating processes. The state-of-the-art implementations of the MPST theory rely on (
Externí odkaz:
http://arxiv.org/abs/2005.06333
Autor:
Neykova, Rumyana
In large-scale distributed systems, each application is realised through interactions among distributed components. To guarantee safe communication (no deadlocks and communication mismatches) we need programming languages and tools that structure, ma
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.713130
Autor:
Neykova, Rumyana, Yoshida, Nobuko
Publikováno v:
Logical Methods in Computer Science, Volume 13, Issue 1 (March 29, 2017) lmcs:3227
Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs. We incorporate s
Externí odkaz:
http://arxiv.org/abs/1609.05687