Pubblicazioni

Orlando S.; Pasquale V.D.; Barbanera F.; Lanese I.; Tuosto E., Corinne, a Tool for Choreography Automata, in: Formal Aspects of Component Software. FACS 2021, Cham, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 13077, pp. 82 - 92 (atti di: 17th International Conference on Formal Aspects of Component Software, FACS 2021, Grenoble, France (online due to covid), 2021) [Contributo in Atti di convegno] Open Access

Garofalo A.; Ottavi G.; Di Mauro A.; Conti F.; Tagliavini G.; Benini L.; Rossi D., A 1.15 TOPS/W, 16-Cores Parallel Ultra-Low Power Cluster with 2b-to-32b Fully Flexible Bit-Precision and Vector Lockstep Execution Mode, in: ESSCIRC 2021 - IEEE 47th European Solid State Circuits Conference, Proceedings, New York, Institute of Electrical and Electronics Engineers Inc., 2021, pp. 267 - 270 (atti di: 47th IEEE European Solid State Circuits Conference, ESSCIRC 2021, Grenoble/ France, 6 September - 9 September 2021) [Contributo in Atti di convegno] Open Access

Bruschi, Nazareno; Haugou, Germain; Tagliavini, Giuseppe; Conti, Francesco; Benini, Luca; Rossi, Davide, GVSoC: A Highly Configurable, Fast and Accurate Full-Platform Simulator for RISC-V based IoT Processors, in: 2021 IEEE 39th International Conference on Computer Design (ICCD), New York, IEEE, 2021, pp. 409 - 416 (atti di: IEEE International Conference on Computer Design (ICCD), Storrs, CT, USA, 24-27 Oct. 2021) [Contributo in Atti di convegno] Open Access

Fabbretti G.; Lanese I.; Stefani J.-B., Causal-Consistent Debugging of Distributed Erlang Programs, in: Reversible Computation, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 12805, pp. 79 - 95 (atti di: 13th International Conference on Reversible Computation, RC 2021, Nagoya, Japan (online due to covid), July 7 - July 8, 2021) [Contributo in Atti di convegno] Open Access

Lanese I.; Phillips I., Forward-Reverse Observational Equivalences in CCSK, in: Reversible Computation, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 12805, pp. 126 - 143 (atti di: 13th International Conference on Reversible Computation, RC 2021, Nagoya, Japan (online due to covid), July 7 - July 8, 2021) [Contributo in Atti di convegno] Open Access

Ceccarini C., HCI methodologies and data visualization to foster user awareness, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2021, 2892, pp. 28 - 35 (atti di: 2021 Joint Interactive Experiences and Doctoral Consortium at CHItaly, CHItaly-JP 2021, ita, 2021) [Contributo in Atti di convegno]

Costantini, Alessandro; Duma, Doina Cristina; Martelli, Barbara; Antonacci, Marica; Galletti, Matteo; Tisbeni, Simone Rossi; Bellavista, Paolo; Di Modica, Giuseppe; Nehls, Daniel; Ahouangonou, Jean-Christian; Delamarre, Cedric; Cesini, Daniele, A Cloud-Edge Orchestration Platform for the Innovative Industrial Scenarios of the IoTwins Project, in: Computational Science and Its Applications – ICCSA 2021. ICCSA 2021, Cham, SPRINGER INTERNATIONAL PUBLISHING AG, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 12950, pp. 533 - 543 (atti di: ICCSA: International Conference on Computational Science and Its Applications, Cagliari, Italy, September 13–16, 2021) [Contributo in Atti di convegno] Open Access

Boschi M.; Di Stefano L.; Alessandrini M., SAFFIRE: System for Autonomous Feature Filtering and Intelligent ROI Estimation, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12664, pp. 552 - 565 (atti di: 25th International Conference on Pattern Recognition Workshops, ICPR 2020, Milano (Online), 2021) [Contributo in Atti di convegno]

Cesco A.; Gorrieri R., Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets, in: ICTCS 2021 - 22nd Italian Conference on Theoretical Computer Science 2021, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2021, 3072, pp. 135 - 149 (atti di: 22nd Italian Conference on Theoretical Computer Science, ICTCS 2021, Bologna, Italy, September 13-15, 2021) [Contributo in Atti di convegno] Open Access

Pianini, Danilo; Neri, Alessandro, Breaking down monoliths with Microservices and DevOps: an industrial experience report, in: 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME), IEEE CS, 2021, pp. 505 - 514 (atti di: IEEE International Conference on Software Maintenance and Evolution, Luxembourg, September 27 - October 1, 2021) [Contributo in Atti di convegno] Open Access

Pianini, Danilo, Simulation of Large Scale Computational Ecosystems with Alchemist: A Tutorial, in: Distributed Applications and Interoperable Systems. DAIS 2021., Cham, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12718, pp. 145 - 161 (atti di: Distributed Applications and Interoperable Systems - 21st IFIP WG 6.1 International Conference, DAIS 2021, Valletta, Malta, June 14-18) [Contributo in Atti di convegno] Open Access

Hirschkoff D.; Prebet E.; Sangiorgi D., On sequentiality and well-bracketing in the π-calculus, in: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '21), N.Y., Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2021, 2021-, pp. 1 - 13 (atti di: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Roma, 2021) [Contributo in Atti di convegno] Open Access

Garbugli A.; Bujari A.; Bellavista P., End-to-end QoS Management in Self-Configuring TSN Networks, in: 2021 17th IEEE International Conference on Factory Communication Systems (WFCS), Institute of Electrical and Electronics Engineers Inc., 2021, 2021, pp. 131 - 134 (atti di: 17th IEEE International Workshop on Factory Communication Systems 2021: Communication in Automation, WFCS 2021, Linz, Austria, 9 June - 11 June 2021) [Contributo in Atti di convegno] Open Access

Hassani A.; Montori F.; Liao K.; Haghighi P.D.; Jayaraman P.P.; Georgakopoulos D.; Giosa M.D.; Zaslavsky A., INFORM: A Tool for Classification and Semantic Annotation of IoT Datastreams, in: 7th IEEE World Forum on Internet of Things, WF-IoT 2021, Institute of Electrical and Electronics Engineers Inc., 2021, pp. 223 - 228 (atti di: 7th IEEE World Forum on Internet of Things, WF-IoT 2021, usa, 2021) [Contributo in Atti di convegno]

Ivan Dimitry Ribeiro Zyrianoff; Gigli L.; Montori F.; Kamienski C.; Di Felice M., Two-way Integration of Service-Oriented Systems-of-Systems with the Web of Things, in: IECON 2021 – 47th Annual Conference of the IEEE Industrial Electronics Society, New York, IEEE, 2021, 2021-, pp. 1 - 6 (atti di: 47th Annual Conference of the IEEE Industrial Electronics Society, IECON 2021, Toronto, ON, Canada, 2021) [Contributo in Atti di convegno] Open Access

Montori F.; Armandi V.; Bedogni L., IoT End-User Service Composition via a Visual Programming Interface, in: Proceedings - 2021 IEEE International Conference on Smart Computing, SMARTCOMP 2021, Institute of Electrical and Electronics Engineers Inc., 2021, pp. 401 - 403 (atti di: 7th IEEE International Conference on Smart Computing, SMARTCOMP 2021, usa, 2021) [Contributo in Atti di convegno]

Russi L.; Guidorzi P.; Pulvirenti B.; Semprini G.; Aguiari D.; Pau G., Air quality and comfort characterisation within an electric vehicle cabin, in: 2021 IEEE International Workshop on Metrology for Automotive (MetroAutomotive), Institute of Electrical and Electronics Engineers Inc., 2021, pp. 169 - 174 (atti di: 1st IEEE International Workshop on Metrology for Automotive, MetroAutomotive 2021, ita, 2021) [Contributo in Atti di convegno]

Brahmia Zouhaier; Grandi Fabio; Brahmia Safa; Bouaziz Rafik, A Graphical Conceptual Model for Conventional and Time-varying JSON Data, in: The 12th International Conference on Ambient Systems, Networks and Technologies (ANT) / The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) / Affiliated Workshops, AMSTERDAM, Elsevier B.V., 2021, 184, pp. 823 - 828 (atti di: The 3rd International Workshop on Big Data and Business Intelligence (BDBI’2021), Varsavia, Polonia, 23-26 Marzo 2021) [Contributo in Atti di convegno] Open Access

Asperti, Andrea; Evangelista, Davide; Marzolla, Moreno, Dissecting FLOPs Along Input Dimensions for GreenAI Cost Estimations, in: International Conference on Machine Learning, Optimization, and Data Science, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 13164, pp. 86 - 100 (atti di: The 7th International Conference on Machine Learning Optimization Data Science, LOD 2021, Grasmere, United Kingdom, 4-8 october 2021) [Contributo in Atti di convegno] Open Access

Audrito G.; Casadei R.; Torta G., Fostering resilient execution of multi-agent plans through self-organisation, in: 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, Institute of Electrical and Electronics Engineers Inc., 2021, pp. 81 - 86 (atti di: 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, DC, USA, 27 September 2021 - 01 October 2021) [Contributo in Atti di convegno] Open Access