Följ
Sara Tucci Piergiovanni
Sara Tucci Piergiovanni
University Paris-Saclay, CEA LIST
Verifierad e-postadress på cea.fr
Titel
Citeras av
Citeras av
År
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
2222007
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
1182006
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
722013
Dissecting tendermint
Y Amoussou-Guenou, A Del Pozzo, M Potop-Butucaru, ...
International Conference on Networked Systems, 166-182, 2019
702019
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
702011
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
702003
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
672011
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
622007
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
562005
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
542018
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
532009
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
522019
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
522017
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
502013
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
472013
Correctness and fairness of tendermint-core blockchains
Y Amoussou-Guenou, A Del Pozzo, M Potop-Butucaru, ...
arXiv preprint arXiv:1805.08429, 2018
342018
On finality in blockchains
E Anceaume, A Pozzo, T Rieutord, S Tucci-Piergiovanni
arXiv preprint arXiv:2012.10172, 2020
332020
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
302006
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
302004
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
282018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20