Sara Tucci Piergiovanni
Orcid: 0000-0001-9738-9021Affiliations:
- CEA LIST, Gif-sur-Yvette, France
- Sapienza University of Rome, Italy (former)
According to our database1,
Sara Tucci Piergiovanni
authored at least 92 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Multi-Agent Optimization for Safety Analysis of Cyber-Physical Systems: Position Paper.
CoRR, 2024
CoRR, 2024
The Fractional Spending Problem: Executing Payment transactions in parallel with less than <i>f</i>+1 validations.
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024
2023
IACR Cryptol. ePrint Arch., 2023
Gas Cost Analysis of Proxy and Diamond Patterns: Towards Trusted Smart Contract Engineering in EVM Blockchains.
CoRR, 2023
Breaking the f+1 Barrier: Executing Payment Transactions in Parallel with Less than f+1 Validations.
CoRR, 2023
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Brief Announcement: Breaking the <i>f</i> + 1 Barrier: Executing Payment Transactions in Parallel with Less than <i>f</i> + 1 Validations.
Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, 2023
Proceedings of the IEEE Global Communications Conference, 2023
Proceedings of the 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, 2023
2022
An extensive agent-based simulation study of sycomore<sup>++</sup>, a DAG-based permissionless ledger.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Proceedings of the ICDCN '22: 23rd International Conference on Distributed Computing and Networking, Delhi, AA, India, January 4, 2022
Simulation study of Sycomore<sup>++</sup>, a self-adapting graph-based permissionless distributed ledger.
Proceedings of the 4th Conference on Blockchain Research & Applications for Innovative Networks and Services, 2022
2021
CoRR, 2021
CoRR, 2021
Brief Announcement: Accountability and Reconfiguration - Self-Healing Lattice Agreement.
Proceedings of the 35th International Symposium on Distributed Computing, 2021
RandSolomon: Optimally Resilient Random Number Generator with Deterministic Termination.
Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021
Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021
Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021
Proceedings of the 4th International Symposium on Foundations and Applications of Blockchain 2021, 2021
Justifying the Dependability and Security of Business-Critical Blockchain-based Applications.
Proceedings of the Third International Conference on Blockchain Computing and Applications, 2021
2020
Proceedings of the 2nd International Conference on Blockchain Economics, 2020
Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
2019
Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures.
Autom. Softw. Eng., 2019
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019
Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019
Proceedings of the Networked Systems - 7th International Conference, 2019
2018
IACR Cryptol. ePrint Arch., 2018
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018
An Industrial Prototype of Trusted Energy Performance Contracts Using Blockchain Technologies.
Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, 2018
2017
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017
Modeling business motivation and underlying processes for RAMI 4.0-aligned cyber-physical production systems.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
2016
EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research.
Int. J. Syst. Dyn. Appl., 2016
2015
Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited.
Int. J. Concept. Struct. Smart Appl., 2015
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
2014
Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems.
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014
Assigning time budgets to component functions in the design of time-critical automotive systems.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014
2013
Proceedings of the SAFECOMP 2013, 2013
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013
2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012
Proceedings of the Complex Systems Design & Management, 2012
2011
Optimum: a MARTE-based methodology for schedulability analysis at early design stages.
ACM SIGSOFT Softw. Eng. Notes, 2011
A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications.
Proceedings of the IEEE 10th International Conference on Trust, 2011
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011
2010
Coupling-Based Internal Clock Synchronization for Large-Scale Dynamic Distributed Systems.
IEEE Trans. Parallel Distributed Syst., 2010
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency.
Proceedings of the Eighth European Dependable Computing Conference, 2010
2009
Theor. Comput. Sci., 2009
2008
J. Syst. Archit., 2008
Brief Announcement: Eventual Leader Election in the Infinite Arrival Message-Passing System Model.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008
Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008
2007
IEEE Trans. Computers, 2007
Proceedings of the Parallel Computing Technologies, 2007
An Adaptive Coupling-Based Algorithm for Internal Clock Synchronization of Large Scale Dynamic Systems.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007
Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007
2006
IEEE Trans. Parallel Distributed Syst., 2006
Distributed Comput., 2006
Proceedings of the Stabilization, 2006
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006
Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006
On The Accuracy of Event Distribution Lists for Publish/Subscribe in Dynamic Distributed Systems.
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006
2005
Concurr. Pract. Exp., 2005
Proceedings of the Distributed Computing, 2005
Proceedings of the International Conference on Pervasive Services 2005, 2005
2004
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
2003
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003
2002
Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002
An Implementation of Causal Memories using the Writing Semantic.
Proceedings of the Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, 2002
Proceedings of the Euro-Par 2002, 2002