Sara Tucci Piergiovanni

According to our database1, Sara Tucci Piergiovanni authored at least 67 papers between 2002 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2020
Rational Behavior in Committee-Based Blockchains.
IACR Cryptol. ePrint Arch., 2020

Tenderbake - Classical BFT Style Consensus for Public Blockchains.
CoRR, 2020

Rational vs Byzantine Players in Consensus-based Blockchains.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
On Fairness in Committee-based Blockchains.
CoRR, 2019

Rationals vs Byzantines in Consensus-based Blockchains.
CoRR, 2019

Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures.
Autom. Softw. Eng., 2019

Invited Paper: On the Characterization of Blockchain Consensus Under Incentives.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019

Scalable lightning factories for Bitcoin.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Blockchain abstract data type: poster.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Reconfigurable Lattice Agreement and Applications.
Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

Dissecting Tendermint.
Proceedings of the Networked Systems - 7th International Conference, 2019

2018
Lightning Factories.
IACR Cryptol. ePrint Arch., 2018

Blockchain Abstract Data Type.
IACR Cryptol. ePrint Arch., 2018

Correctness and Fairness of Tendermint-core Blockchains.
IACR Cryptol. ePrint Arch., 2018

Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft.
CoRR, 2018

On Cancellation of Transactions in Bitcoin-Like Blockchains.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Correctness of Tendermint-Core Blockchains.
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
On the Bitcoin Limitations to Deliver Fairness to Users.
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

Simulation-Driven Optimization of Real-Time Control Tasks.
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

Schedulability Analysis at Early Design Stages with MARTE.
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013
Automatic optimisation of system architectures using EAST-ADL.
J. Syst. Softw., 2013

Automatic Optimisation of System Architectures using EAST-ADL.
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

An optimization approach for the synthesis of AUTOSAR architectures.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

DPMP: A Software Pattern for Real-Time Tasks Merge.
Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

2012
Optimizing the Deployment of Distributed Real-Time Embedded Applications.
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Towards an Architectural Design Framework for Automotive Systems Development.
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

Enabling Scheduling Analysis for AUTOSAR Systems.
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

Generation of schedulable real-time component implementations.
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
Investigating the existence and the regularity of Logarithmic Harary Graphs.
Theor. Comput. Sci., 2009

2008
A methodology to design arbitrary failure detectors for distributed protocols.
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

A theoretical evaluation of peer-to-peer internal clock synchronization.
Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008

2007
On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern.
IEEE Trans. Computers, 2007

Looking for a Definition of Dynamic Distributed Systems.
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

Connectivity in Eventually Quiescent Dynamic Distributed Systems.
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

TERA: topic-based event routing for peer-to-peer architectures.
Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

Fighting Erosion in Dynamic Large-Scale Overlay Networks.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
Fully Distributed Three-Tier Active Software Replication.
IEEE Trans. Parallel Distributed Syst., 2006

Optimal propagation-based protocols implementing causal memories.
Distributed Comput., 2006

Unconscious Eventual Consistency with Gossips.
Proceedings of the Stabilization, 2006

Weakly-Persistent Causal Objects in Dynamic Distributed Systems.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Communication Channel Management for Maintenance of Strong Overlay Connectivity.
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

Evaluation of Unstructured Overlay Maintenance Protocols under Churn.
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

2005
On the modelling of publish/subscribe communication systems.
Concurr. Pract. Exp., 2005

Churn Resilience of Peer-to-Peer Group Membership: A Performance Analysis.
Proceedings of the Distributed Computing, 2005

Group communication in ad-hoc networks: a few results and a case study.
Proceedings of the International Conference on Pervasive Services 2005, 2005

A Peer-to-Peer Membership Notification Service.
Proceedings of the Databases, 2005

2004
Measuring Notification Loss in Publish/Subscribe Communication Systems.
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

An Optimal Protocol for Causally Consistent Distributed Shared Memory Systems.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003
Modelling Publish/Subscribe Communication Systems: Towards a Formal Approach.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

2002
Asynchronous Active Replication in Three-Tier Distributed Systems.
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

A Fault-Tolerant Sequencer for Timed Asynchronous Systems.
Proceedings of the Euro-Par 2002, 2002


  Loading...