TERA: topic-based event routing for peer-to-peer architectures R Baldoni, R Beraldi, V Quema, L Querzoni, S Tucci-Piergiovanni Proceedings of the 2007 inaugural international conference on Distributed …, 2007 | 225 | 2007 |
Quality of service in publish/subscribe middleware A Corsaro, L Querzoni, S Scipioni, ST Piergiovanni, A Virgillito Global Data Management 19 (20), 1-22, 2006 | 118 | 2006 |
Automatic optimisation of system architectures using EAST-ADL M Walker, MO Reiser, S Tucci-Piergiovanni, Y Papadopoulos, H Lönn, ... Journal of Systems and Software 86 (10), 2467-2487, 2013 | 74 | 2013 |
Dissecting tendermint Y Amoussou-Guenou, A Del Pozzo, M Potop-Butucaru, ... International Conference on Networked Systems, 166-182, 2019 | 73 | 2019 |
Enabling scheduling analysis for AUTOSAR systems S Anssi, S Tucci-Piergiovanni, S Kuntz, S Gérard, F Terrier 2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011 | 71 | 2011 |
Modeling publish/subscribe communication systems: towards a formal approach R Baldoni, M Contenti, ST Piergiovanni, A Virgillito Proceedings of the Eighth International Workshop on Object-Oriented Real …, 2003 | 70 | 2003 |
Optimum: a marte-based methodology for schedulability analysis at early design stages C Mraidha, S Tucci-Piergiovanni, S Gerard ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011 | 67 | 2011 |
Looking for a definition of dynamic distributed systems R Baldoni, M Bertier, M Raynal, S Tucci-Piergiovanni Parallel Computing Technologies: 9th International Conference, PaCT 2007 …, 2007 | 63 | 2007 |
Correctness of tendermint-core blockchains Y Amoussou-Guenou, A Del Pozzo, M Potop-Butucaru, ... 22nd International Conference on Principles of Distributed Systems (OPODIS 2018), 2018 | 56 | 2018 |
On the modelling of publish/subscribe communication systems R Baldoni, R Beraldi, S Tucci Piergiovanni, A Virgillito Concurrency and Computation: Practice and Experience 17 (12), 1471-1495, 2005 | 56 | 2005 |
Coupling-based internal clock synchronization for large-scale dynamic distributed systems R Baldoni, A Corsaro, L Querzoni, S Scipioni, ST Piergiovanni IEEE Transactions on Parallel and Distributed Systems 21 (5), 607-619, 2009 | 54 | 2009 |
Blockchain abstract data type E Anceaume, A Del Pozzo, R Ludinard, M Potop-Butucaru, ... The 31st ACM Symposium on Parallelism in Algorithms and Architectures, 349-358, 2019 | 52 | 2019 |
Modeling business motivation and underlying processes for RAMI 4.0-aligned cyber-physical production systems K Suri, J Cadavid, M Alferez, S Dhouib, S Tucci-Piergiovanni 2017 22nd IEEE international conference on emerging technologies and factory …, 2017 | 52 | 2017 |
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems A Mehiaoui, E Wozniak, S Tucci-Piergiovanni, C Mraidha, M Di Natale, ... Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages …, 2013 | 50 | 2013 |
An optimization approach for the synthesis of autosar architectures E Wozniak, A Mehiaoui, C Mraidha, S Tucci-Piergiovanni, S Gerard 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013 | 47 | 2013 |
Correctness and fairness of tendermint-core blockchains Y Amoussou-Guenou, A Del Pozzo, M Potop-Butucaru, ... arXiv preprint arXiv:1805.08429, 2018 | 37 | 2018 |
On finality in blockchains E Anceaume, A Pozzo, T Rieutord, S Tucci-Piergiovanni arXiv preprint arXiv:2012.10172, 2020 | 34 | 2020 |
An industrial prototype of trusted energy performance contracts using blockchain technologies Ö Gürcan, M Agenis-Nevers, YM Batany, M Elmtiri, F Le Fevre, ... 2018 IEEE 20th International Conference on High Performance Computing and …, 2018 | 30 | 2018 |
Unconscious eventual consistency with gossips R Baldoni, R Guerraoui, RR Levy, V Quéma, ST Piergiovanni Stabilization, Safety, and Security of Distributed Systems: 8th …, 2006 | 30 | 2006 |
Measuring notification loss in publish/subscribe communication systems R Baldoni, R Beraldi, ST Piergiovanni, A Virgillito 10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004 …, 2004 | 30 | 2004 |