Roberto Casadei

Dr. Roberto Casadei

Alma Mater Studiorum - Università di Bologna
orcid

Research Focus & Metrics

Academic Career Length

11Years (2016-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
1 February 2019 in Future Generation Computer Systems
Verified
Journal Article
Closed access
Roberto CasadeiRoberto Casadei
Roberto Casadei
Giancarlo FortinoGiancarlo Fortino
Giancarlo Fortino
Danilo PianiniDanilo Pianini
Danilo Pianini
WRWilma Russo
Wilma Russo
CSClaudio Savaglio
Claudio Savaglio
Mirko ViroliMirko Viroli
Mirko Viroli

1 December 2019 in Journal of Logical and Algebraic Methods in Programming
Verified
Journal Article
Closed access
MVMirko Viroli
Mirko Viroli
JBJacob Beal
Jacob Beal
FDFerruccio Damiani
Ferruccio Damiani
GAGiorgio Audrito
Giorgio Audrito
Roberto CasadeiRoberto Casadei
Roberto Casadei
DPDanilo Pianini
Danilo Pianini

1 September 2019 in Information Sciences
Verified
Journal Article
Closed access
Roberto CasadeiRoberto Casadei
Roberto Casadei
Giancarlo FortinoGiancarlo Fortino
Giancarlo Fortino
DPDanilo Pianini
Danilo Pianini
WRWilma Russo
Wilma Russo
CSClaudio Savaglio
Claudio Savaglio
MVMirko Viroli
Mirko Viroli

1 January 2021 in Future Generation Computer Systems
Verified
Journal Article
Closed access
DPDanilo Pianini
Danilo Pianini
Roberto CasadeiRoberto Casadei
Roberto Casadei
MVMirko Viroli
Mirko Viroli
ANAntonio Natali
Antonio Natali

13 July 2023 in ACM Computing Surveys
Verified
Journal Article
Open access
Roberto CasadeiRoberto Casadei
Roberto Casadei
Macroprogramming refers to the theory and practice of expressing the macro(scopic) behaviour of a collective system using a single program. Macroprogramming approaches are motivated by the need of effectively capturing global/system-level aspects and the collective behaviour of multiple computational components, while abstracting over low-level details. Previously, this programming style had been primarily adopted to describe the data-processing logic in sensor networks; recently, research forums on spatial computing, collective systems, and the Internet of Things have provided renewed interest in macro-approaches. However, related contributions are still fragmented and lack conceptual consistency. Therefore, to foster principled research, an integrated view of the field is provided, together with opportunities and challenges.

16 November 2022 in SoftwareX
Verified
Journal Article
Open access
Roberto CasadeiRoberto Casadei
Roberto Casadei
MVMirko Viroli
Mirko Viroli
GAGianluca Aguzzi
Gianluca Aguzzi
DPDanilo Pianini
Danilo Pianini