Artigos com autorizações de acesso público - Rocco De NicolaSaiba mais
2 artigos não disponíveis publicamente
SLAC: A formal service-level-agreement language for cloud computing
RB Uriarte, F Tiezzi, R De Nicola
2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing …, 2014
Autorizações: European Commission, Government of Italy
Verifying AbC specifications via emulation
R De Nicola, T Duong, O Inverso
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
Autorizações: Government of Italy
43 artigos disponíveis publicamente
A formal approach to autonomic systems programming: the SCEL language
RD Nicola, M Loreti, R Pugliese, F Tiezzi
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 9 (2), 1-29, 2014
Autorizações: European Commission, Government of Italy
The role of bot squads in the political propaganda on Twitter
G Caldarelli, R De Nicola, F Del Vigna, M Petrocchi, F Saracco
Communications Physics 3 (1), 81, 2020
Autorizações: European Commission
A calculus for collective-adaptive systems and its behavioural theory
Y Abd Alrahman, R De Nicola, M Loreti
Information and Computation 268, 104457, 2019
Autorizações: European Commission, Government of Italy
The SCEL language: design, implementation, verification
R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ...
Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015
Autorizações: European Commission, Government of Italy
Distributed service‐level agreement management with smart contracts and blockchain
RB Uriarte, H Zhou, K Kritikos, Z Shi, Z Zhao, R De Nicola
Concurrency and Computation: Practice and Experience 33 (14), e5800, 2021
Autorizações: European Commission, Government of Italy
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy
G Caldarelli, R De Nicola, M Petrocchi, M Pratelli, F Saracco
EPJ data science 10 (1), 34, 2021
Autorizações: European Commission, Government of Italy
Scheduling latency-sensitive applications in edge computing
V Scoca, A Aral, I Brandic, R De Nicola, RB Uriarte
Autorizações: Austrian Science Fund
A calculus for attribute-based communication
YA Alrahman, R De Nicola, M Loreti, F Tiezzi, R Vigo
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1840-1845, 2015
Autorizações: Government of Italy
Addressing application latency requirements through edge scheduling
A Aral, I Brandic, RB Uriarte, R De Nicola, V Scoca
Journal of Grid Computing 17 (4), 677-698, 2019
Autorizações: Austrian Science Fund, European Commission
Programming interactions in collective adaptive systems by relying on attribute-based communication
Y Abd Alrahman, R De Nicola, M Loreti
Science of Computer Programming 192, 102428, 2020
Autorizações: European Commission, Government of Italy
Reasoning (on) service component ensembles in rewriting logic
L Belzner, R De Nicola, A Vandin, M Wirsing
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014
Autorizações: Government of Italy
Framework, tools and good practices for cybersecurity curricula
J Hajny, S Ricci, E Piesarskas, O Levillain, L Galletta, R De Nicola
IEEE Access 9, 94723-94747, 2021
Autorizações: European Commission
6G networks physical layer security using RGB visible light communications
S Soderi, R De Nicola
IEEE Access 10, 5482-5496, 2021
Autorizações: European Commission
Programming of CAS systems by relying on attribute-based communication
Y Abd Alrahman, R De Nicola, M Loreti
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
Autorizações: Government of Italy
Defining and guaranteeing dynamic service levels in clouds
RB Uriarte, R De Nicola, V Scoca, F Tiezzi
Future Generation Computer Systems 99, 27-40, 2019
Autorizações: European Commission
Multi-agent systems with virtual stigmergy
R De Nicola, L Di Stefano, O Inverso
Science of Computer Programming 187, 102345, 2020
Autorizações: Government of Italy
Relating strong behavioral equivalences for processes with nondeterminism and probabilities
M Bernardo, R De Nicola, M Loreti
Theoretical Computer Science 546, 63-92, 2014
Autorizações: Government of Italy
Sensoria Process Calculi for Service-Oriented Computing
M Wirsing, R De Nicola, S Gilmore, M Hölzl, R Lucchi, M Tribastone, ...
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy …, 2007
Autorizações: German Research Foundation
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador