Sara Tucci Piergiovanni
Sara Tucci Piergiovanni
University Paris-Saclay, CEA LIST
Verified email at
Cited by
Cited by
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
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
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
Dissecting tendermint
Y Amoussou-Guenou, A Del Pozzo, M Potop-Butucaru, ...
International Conference on Networked Systems, 166-182, 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
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
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
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
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
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
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
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
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
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
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
Correctness and fairness of tendermint-core blockchains
Y Amoussou-Guenou, A Del Pozzo, M Potop-Butucaru, ...
arXiv preprint arXiv:1805.08429, 2018
On finality in blockchains
E Anceaume, A Pozzo, T Rieutord, S Tucci-Piergiovanni
arXiv preprint arXiv:2012.10172, 2020
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20