Per Sort


Per Sort

13 publications  /  2018  /  Mirko Viroli

articles in journal
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms
Science of Computer Programming 167, 2018
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
ACM Transactions on Modeling and Computer Simulation 28(2), March 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms
Science of Computer Programming 166, 2018
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Reality with Tuples
Expert Systems: The Journal of Knowledge Engineering 35(5), October 2018
(4 articles in journal / 2018)  [top]  [bottom]
papers in proceedings
Roberto Casadei, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT
2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Aggregate Graph Statistics
ALP4IoT2017. Electronic Proceedings in Theoretical Computer Science 264, 2018
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things
4th IEEE World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018, 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Combining Trust and Aggregate Computing
Software Engineering and Formal Methods. Lecture Notes in Computer Science 10729, 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
Distributed Real-Time Shortest-Paths Computations with the Field Calculus
2018 IEEE Real-Time Systems Symposium (RTSS), December 2018
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
GOODTECHS 2018, November 2018
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From Field-Based Coordination to Aggregate Computing
COORDINATION 2018. Lecture Notes in Computer Science 10852, 2018
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Space-Time Universality of Field Calculus
ALP4IoT2017. Lecture Notes in Computer Science 10852, 2018
(8 papers in proceedings / 2018)  [top]  [bottom]
book chapters
Roberto Casadei, Mirko Viroli
Programming Actor-Based Collective Adaptive Systems
Programming with Actors: State-of-the-Art and Research Perspectives. Lecture Notes in Computer Science 10789, 2018
(1 book chapter / 2018)  [top]  [bottom]

Tags:
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY