E-LIB Suche - Ergebnisse für: Neykova, Rumyana

1

A Curated Solidity Smart Contracts Repository of Metrics an..:

, In: Proceedings of the 20th International Conference on Predictive Models and Data Analytics in Software Engineering,

Ibba, Giacomo ; Aufiero, Sabrina ; Neykova, Rumyana... - p. 32-41 , 2024

Link: https://dl.acm.org/doi/1..

2

Sustainability in Blockchain Development: A BERT-Based Anal..:

, In: Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering,

Vaccargiu, Matteo ; Aufiero, Sabrina ; Bartolucci, Silvia... - p. 381-386 , 2024

Link: https://dl.acm.org/doi/1..

3

A Working Week Simulation Approach to Forecast Personal Wel..:

, In: Computational Science – ICCS 2024; Lecture Notes in Computer Science,

Groen, Derek ; Khullar, Shivank ; Groen-Xu, Moqi. - p. 246-253 , 2024

Link: https://doi.org/10.1007/..

4

MindTheDApp: A Toolchain for Complex Network-Driven Structu..:

Ibba, Giacomo ; Aufiero, Sabrina ; Bartolucci, Silvia...
IEEE Access. 12 (2024) - p. 28382-28394 , 2024

Link: https://doi.org/10.1109/..

5

How to Verify Your Python Conversations:

, In: Behavioural Types,

Neykova, Rumyana ; Yoshida, Nobuko - p. 77-98 , 2022

Link: https://doi.org/10.1201/..

6

Kmclib: Automated Inference and Verification of Session Typ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Imai, Keigo ; Lange, Julien ; Neykova, Rumyana - p. 379-386 , 2022

Link: https://doi.org/10.1007/..

7

Implementing Multiparty Session Types in Rust:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Lagaillardie, Nicolas ; Neykova, Rumyana ; Yoshida, Nobuko - p. 127-136 , 2020

Link: https://doi.org/10.1007/..

8

Using the Lexicon from Source Code to Determine Application..:

, In: Proceedings of the Evaluation and Assessment in Software Engineering,

Capiluppi, Andrea ; Ajienka, Nemitari ; Ali, Nour... - p. 110-119 , 2020

Link: https://dl.acm.org/doi/1..

9

Statically verified refinements for multiparty protocols:

Zhou, Fangyi ; Ferreira, Francisco ; Hu, Raymond..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://dl.acm.org/doi/1..

10

Statically verified refinements for multiparty protocols:

Zhou, Fangyi ; Ferreira, Francisco ; Hu, Raymond..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://doi.org/10.1145/..

11

Featherweight Scribble:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Neykova, Rumyana ; Yoshida, Nobuko - p. 236-259 , 2019

Link: https://doi.org/10.1007/..

12

A session type provider: compile-time API generation of dis..:

, In: Proceedings of the 27th International Conference on Compiler Construction,

Neykova, Rumyana ; Hu, Raymond ; Yoshida, Nobuko. - p. 128-138 , 2018

Link: https://dl.acm.org/doi/1..

13

Let it recover: multiparty protocol-induced recovery:

, In: Proceedings of the 26th International Conference on Compiler Construction,

Neykova, Rumyana ; Yoshida, Nobuko - p. 98-108 , 2017

Link: https://dl.acm.org/doi/1..

14

Timed runtime monitoring for multiparty conversations:

Neykova, Rumyana ; Bocchi, Laura ; Yoshida, Nobuko
Formal Aspects of Computing. 29 (2017) 5 - p. 877-910 , 2017

Link: https://doi.org/10.1007/..

15

Practical interruptible conversations: distributed dynamic ..:

Demangeon, Romain ; Honda, Kohei ; Hu, Raymond..
Formal Methods in System Design. 46 (2014) 3 - p. 197-225 , 2014

Link: https://doi.org/10.1007/..