default search action
Sara Tucci Piergiovanni
Person information
- affiliation: CEA LIST, Gif-sur-Yvette, France
- affiliation (former): Sapienza University of Rome, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2019
- [j12]Asma Mehiaoui, Ernest Wozniak, Jean-Philippe Babau, Sara Tucci Piergiovanni, Chokri Mraidha:
Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures. Autom. Softw. Eng. 26(1): 1-57 (2019) - 2016
- [j11]Hans Blom, De-Jiu Chen, Henrik Kaijser, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Sara Tucci Piergiovanni:
EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research. Int. J. Syst. Dyn. Appl. 5(3): 1-20 (2016) - 2015
- [j10]Ramin Tavakoli Kolagari, De-Jiu Chen, Agnes Lanusse, Renato Librino, Henrik Lönn, Nidhal Mahmud, Chokri Mraidha, Mark-Oliver Reiser, Sandra Torchiaro, Sara Tucci Piergiovanni, Tobias Wägemann, Nataliya Yakymets:
Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited. Int. J. Concept. Struct. Smart Appl. 3(2): 25-70 (2015) - 2013
- [j9]Martin Walker, Mark-Oliver Reiser, Sara Tucci Piergiovanni, Yiannis Papadopoulos, Henrik Lönn, Chokri Mraidha, David Parker, De-Jiu Chen, David Servat:
Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. 86(10): 2467-2487 (2013) - 2011
- [j8]Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard:
Optimum: a MARTE-based methodology for schedulability analysis at early design stages. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - 2010
- [j7]Roberto Baldoni, Angelo Corsaro, Leonardo Querzoni, Sirio Scipioni, Sara Tucci Piergiovanni:
Coupling-Based Internal Clock Synchronization for Large-Scale Dynamic Distributed Systems. IEEE Trans. Parallel Distributed Syst. 21(5): 607-619 (2010) - 2009
- [j6]Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Sara Tucci Piergiovanni:
Investigating the existence and the regularity of Logarithmic Harary Graphs. Theor. Comput. Sci. 410(21-23): 2110-2121 (2009) - 2008
- [j5]Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni:
A methodology to design arbitrary failure detectors for distributed protocols. J. Syst. Archit. 54(7): 619-637 (2008) - 2007
- [j4]Luca Allulli, Roberto Baldoni, Luigi Laura, Sara Tucci Piergiovanni:
On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern. IEEE Trans. Computers 56(6): 853-858 (2007) - 2006
- [j3]Roberto Baldoni, Alessia Milani, Sara Tucci Piergiovanni:
Optimal propagation-based protocols implementing causal memories. Distributed Comput. 18(6): 461-474 (2006) - [j2]Carlo Marchetti, Roberto Baldoni, Sara Tucci Piergiovanni, Antonino Virgillito:
Fully Distributed Three-Tier Active Software Replication. IEEE Trans. Parallel Distributed Syst. 17(7): 633-645 (2006) - 2005
- [j1]Roberto Baldoni, Roberto Beraldi, Sara Tucci Piergiovanni, Antonino Virgillito:
On the modelling of publish/subscribe communication systems. Concurr. Pract. Exp. 17(12): 1471-1495 (2005)
Conference and Workshop Papers
- 2024
- [c67]Tiphaine Henry, Sara Tucci Piergiovanni:
Secure Proof Verification Blockchain Patterns. BPM (Blockchain and RPA Forum) 2024: 71-88 - [c66]Ulysse Pavloff, Yackolley Amoussou-Guenou, Sara Tucci Piergiovanni:
Byzantine Attacks Exploiting Penalties in Ethereum PoS. DSN 2024: 53-65 - [c65]Pierre Jobic, Aurélien Mayoue, Sara Tucci Piergiovanni, François Terrier:
Extending the Scope of Gradient Reconstruction Attacks in Federated Averaging. IH&MMSec 2024: 235-246 - [c64]Rida A. Bazzi, Sara Tucci Piergiovanni:
The Fractional Spending Problem: Executing Payment transactions in parallel with less than f+1 validations. PODC 2024: 295-305 - 2023
- [c63]Quang Huy Do, Sami Souihi, Van Tong, Sara Tucci Piergiovanni:
Blockchain Integration in 5G Technologies: SDN and Network Slicing. BRAINS 2023: 1-4 - [c62]Quang Huy Do, Sami Souihi, Van Tong, Hai Anh Tran, Sara Tucci Piergiovanni:
An Adaptive Sharding-based Blockchain for Network Slicing in 5G. GLOBECOM 2023: 6340-6345 - [c61]Rida A. Bazzi, Sara Tucci Piergiovanni:
Brief Announcement: Breaking the f + 1 Barrier: Executing Payment Transactions in Parallel with Less than f + 1 Validations. PODC 2023: 274-277 - [c60]Ulysse Pavloff, Yackolley Amoussou-Guenou, Sara Tucci Piergiovanni:
Ethereum Proof-of-Stake under Scrutiny. SAC 2023: 212-221 - 2022
- [c59]Aimen Djari, Emmanuelle Anceaume, Sara Tucci Piergiovanni:
Simulation study of Sycomore++, a self-adapting graph-based permissionless distributed ledger. BRAINS 2022: 103-110 - [c58]Zeinab Nehaï, François Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier:
A TLA+ Formal Proof of a Cross-Chain Swap. ICDCN 2022: 148-159 - [c57]Aimen Djari, Emmanuelle Anceaume, Sara Tucci Piergiovanni:
An extensive agent-based simulation study of sycomore++, a DAG-based permissionless ledger. SAC 2022: 334-336 - 2021
- [c56]Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze, Sara Tucci Piergiovanni, Önder Gürcan:
Justifying the Dependability and Security of Business-Critical Blockchain-based Applications. BCCA 2021: 97-104 - [c55]Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni, Eugen Zalinescu:
Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains. FAB 2021: 1:1-1:23 - [c54]Emmanuelle Anceaume, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni:
On Finality in Blockchains. OPODIS 2021: 6:1-6:19 - [c53]Luciano Freitas de Souza, Andrei Tonkikh, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, Petr Kuznetsov:
RandSolomon: Optimally Resilient Random Number Generator with Deterministic Termination. OPODIS 2021: 23:1-23:16 - [c52]Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni:
Accountability and Reconfiguration: Self-Healing Lattice Agreement. OPODIS 2021: 25:1-25:23 - [c51]Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni:
Brief Announcement: Accountability and Reconfiguration - Self-Healing Lattice Agreement. DISC 2021: 54:1-54:5 - 2020
- [c50]Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Rational vs Byzantine Players in Consensus-based Blockchains. AAMAS 2020: 43-51 - [c49]Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Rational Behaviors in Committee-Based Blockchains. OPODIS 2020: 12:1-12:16 - [c48]Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
On Fairness in Committee-Based Blockchains. Tokenomics 2020: 4:1-4:15 - 2019
- [c47]Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Dissecting Tendermint. NETYS 2019: 166-182 - [c46]Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni:
Reconfigurable Lattice Agreement and Applications. OPODIS 2019: 31:1-31:17 - [c45]Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Blockchain abstract data type: poster. PPoPP 2019: 439-440 - [c44]Alejandro Ranchal-Pedrosa, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Scalable lightning factories for Bitcoin. SAC 2019: 302-309 - [c43]Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Blockchain Abstract Data Type. SPAA 2019: 349-358 - [c42]Sara Tucci Piergiovanni:
Invited Paper: On the Characterization of Blockchain Consensus Under Incentives. SSS 2019: 1-15 - 2018
- [c41]Önder Gürcan, Marc Agenis-Nevers, Yves-Marie Batany, Mohamed Elmtiri, François Le Fèvre, Sara Tucci Piergiovanni:
An Industrial Prototype of Trusted Energy Performance Contracts Using Blockchain Technologies. HPCC/SmartCity/DSS 2018: 1336-1343 - [c40]Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Correctness of Tendermint-Core Blockchains. OPODIS 2018: 16:1-16:16 - [c39]Önder Gürcan, Alejandro Ranchal-Pedrosa, Sara Tucci Piergiovanni:
On Cancellation of Transactions in Bitcoin-Like Blockchains. OTM Conferences (1) 2018: 516-533 - 2017
- [c38]Kunal Suri, Juan Cadavid, Mauricio Alférez, Saadia Dhouib, Sara Tucci Piergiovanni:
Modeling business motivation and underlying processes for RAMI 4.0-aligned cyber-physical production systems. ETFA 2017: 1-6 - [c37]Önder Gürcan, Antonella Del Pozzo, Sara Tucci Piergiovanni:
On the Bitcoin Limitations to Deliver Fairness to Users. OTM Conferences (1) 2017: 589-606 - 2015
- [c36]Matteo Morelli, Yasmina Seddik, Marco Di Natale, Chokri Mraidha, Sara Tucci Piergiovanni:
Simulation-Driven Optimization of Real-Time Control Tasks. HPCC/CSS/ICESS 2015: 991-1000 - 2014
- [c35]Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard:
Assigning time budgets to component functions in the design of time-critical automotive systems. ASE 2014: 235-246 - [c34]Asma Mehiaoui, Sara Tucci Piergiovanni, Chokri Mraidha, Jean-Philippe Babau:
Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems. SIES 2014: 122-132 - 2013
- [c33]Rania Mzid, Chokri Mraidha, Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Mohamed Abid:
DPMP: A Software Pattern for Real-Time Tasks Merge. ECMFA 2013: 101-117 - [c32]Ernest Wozniak, Asma Mehiaoui, Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard:
An optimization approach for the synthesis of AUTOSAR architectures. ETFA 2013: 1-10 - [c31]Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gérard:
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. LCTES 2013: 121-132 - [c30]De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker:
Automatic Optimisation of System Architectures using EAST-ADL. ASCoMS@SAFECOMP 2013 - 2012
- [c29]Hugo G. Chalé Góngora, Thierry Gaudré, Sara Tucci Piergiovanni:
Towards an Architectural Design Framework for Automotive Systems Development. CSDM 2012: 241-258 - [c28]Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Laurent Lemarchand:
Optimizing the Deployment of Distributed Real-Time Embedded Applications. RTCSA 2012: 400-403 - 2011
- [c27]Saoussen Anssi, Sara Tucci Piergiovanni, Stefan Kuntz, Sébastien Gérard, François Terrier:
Enabling Scheduling Analysis for AUTOSAR Systems. ISORC 2011: 152-159 - [c26]Sara Tucci Piergiovanni, Chokri Mraidha, Ernest Wozniak, Agnes Lanusse, Sébastien Gérard:
A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications. TrustCom 2011: 1176-1187 - 2010
- [c25]Sara Tucci Piergiovanni, Roberto Baldoni:
Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency. EDCC 2010: 127-134 - [c24]Ansgar Radermacher, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard:
Generation of schedulable real-time component implementations. ETFA 2010: 1-4 - 2008
- [c23]Sirio Scipioni, Leonardo Querzoni, Sara Tucci Piergiovanni, Roberto Baldoni:
A theoretical evaluation of peer-to-peer internal clock synchronization. Autonomics 2008: 1 - [c22]Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Sara Tucci Piergiovanni:
Investigating the Existence and the Regularity of Logarithmic Harary Graphs. SRDS 2008: 237-246 - [c21]Sara Tucci Piergiovanni, Roberto Baldoni:
Brief Announcement: Eventual Leader Election in the Infinite Arrival Message-Passing System Model. DISC 2008: 518-519 - 2007
- [c20]Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Adriano Rippa, Sara Tucci Piergiovanni, Antonino Virgillito:
Fighting Erosion in Dynamic Large-Scale Overlay Networks. AINA 2007: 110-117 - [c19]Roberto Baldoni, Roberto Beraldi, Vivien Quéma, Leonardo Querzoni, Sara Tucci Piergiovanni:
TERA: topic-based event routing for peer-to-peer architectures. DEBS 2007: 2-13 - [c18]Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni:
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols. ISORC 2007: 51-61 - [c17]Sara Tucci Piergiovanni, Roberto Baldoni:
Connectivity in Eventually Quiescent Dynamic Distributed Systems. LADC 2007: 38-56 - [c16]Roberto Baldoni, Angelo Corsaro, Leonardo Querzoni, Sirio Scipioni, Sara Tucci Piergiovanni:
An Adaptive Coupling-Based Algorithm for Internal Clock Synchronization of Large Scale Dynamic Systems. OTM Conferences (1) 2007: 701-716 - [c15]Roberto Baldoni, Marin Bertier, Michel Raynal, Sara Tucci Piergiovanni:
Looking for a Definition of Dynamic Distributed Systems. PaCT 2007: 1-14 - 2006
- [c14]Roberto Baldoni, Silvia Bonomi, Adriano Rippa, Leonardo Querzoni, Sara Tucci Piergiovanni, Antonino Virgillito:
Evaluation of Unstructured Overlay Maintenance Protocols under Churn. ICDCS Workshops 2006: 13 - [c13]Roberto Baldoni, Giovanni Cortese, Federico Morabito, Leonardo Querzoni, Sara Tucci Piergiovanni, Antonino Virgillito:
On The Accuracy of Event Distribution Lists for Publish/Subscribe in Dynamic Distributed Systems. ICDCS Workshops 2006: 31 - [c12]Roberto Baldoni, Sirio Scipioni, Sara Tucci Piergiovanni:
Communication Channel Management for Maintenance of Strong Overlay Connectivity. ISCC 2006: 63-68 - [c11]Roberto Baldoni, Miroslaw Malek, Alessia Milani, Sara Tucci Piergiovanni:
Weakly-Persistent Causal Objects in Dynamic Distributed Systems. SRDS 2006: 165-174 - [c10]Roberto Baldoni, Rachid Guerraoui, Ron R. Levy, Vivien Quéma, Sara Tucci Piergiovanni:
Unconscious Eventual Consistency with Gossips. SSS 2006: 65-81 - 2005
- [c9]Roberto Baldoni, Sara Tucci Piergiovanni:
A Peer-to-Peer Membership Notification Service. DBISP2P 2005: 219-226 - [c8]Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni:
Group communication in ad-hoc networks: a few results and a case study. ICPS 2005: 465-469 - [c7]Roberto Baldoni, Adnan Noor Mian, Sirio Scipioni, Sara Tucci Piergiovanni:
Churn Resilience of Peer-to-Peer Group Membership: A Performance Analysis. IWDC 2005: 226-237 - 2004
- [c6]Roberto Baldoni, Alessia Milani, Sara Tucci Piergiovanni:
An Optimal Protocol for Causally Consistent Distributed Shared Memory Systems. IPDPS 2004 - [c5]Roberto Baldoni, Roberto Beraldi, Sara Tucci Piergiovanni, Antonino Virgillito:
Measuring Notification Loss in Publish/Subscribe Communication Systems. PRDC 2004: 84-93 - 2003
- [c4]Roberto Baldoni, Mariangela Contenti, Sara Tucci Piergiovanni, Antonino Virgillito:
Modelling Publish/Subscribe Communication Systems: Towards a Formal Approach. WORDS 2003: 304-311 - 2002
- [c3]Roberto Baldoni, Carlo Marchetti, Sara Tucci Piergiovanni:
A Fault-Tolerant Sequencer for Timed Asynchronous Systems. Euro-Par 2002: 578-588 - [c2]Roberto Baldoni, C. Sparziani, Sara Tucci Piergiovanni, Daniela Tulone:
An Implementation of Causal Memories using the Writing Semantic. OPODIS 2002: 41-50 - [c1]Roberto Baldoni, Carlo Marchetti, Sara Tucci Piergiovanni:
Asynchronous Active Replication in Three-Tier Distributed Systems. PRDC 2002: 19-28
Parts in Books or Collections
- 2014
- [p1]Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard:
Schedulability Analysis at Early Design Stages with MARTE. Embedded Systems Development, From Functional Models to Implementations 2014: 101-119
Editorship
- 2022
- [e2]Sara Tucci Piergiovanni, Natacha Crooks:
5th International Symposium on Foundations and Applications of Blockchain 2022, FAB 2022, June 3, 2022, Berkeley, CA, USA. OASIcs 101, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-248-8 [contents] - 2020
- [e1]Vincent Danos, Maurice Herlihy, Maria Potop-Butucaru, Julien Prat, Sara Tucci Piergiovanni:
International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2019, May 6-7, 2019, Paris, France. OASIcs 71, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-108-5 [contents]
Informal and Other Publications
- 2024
- [i28]Erwan Mahe, Rouwaida Abdallah, Sara Tucci Piergiovanni, Pierre-Yves Piriou:
Adversary-Augmented Simulation to evaluate client-fairness on HyperLedger Fabric. CoRR abs/2403.14342 (2024) - [i27]Zaynah Dargaye, Önder Gürcan, Florent Kirchner, Sara Tucci Piergiovanni:
Towards Secure and Trusted-by-Design Smart Contracts. CoRR abs/2403.16903 (2024) - [i26]Önder Gürcan, Nataliya Yakymets, Sara Tucci Piergiovanni, Ansgar Radermacher:
Multi-Agent Optimization for Safety Analysis of Cyber-Physical Systems: Position Paper. CoRR abs/2403.16904 (2024) - [i25]Ulysse Pavloff, Yackolley Amoussou-Guenou, Sara Tucci Piergiovanni:
Byzantine Attacks Exploiting Penalties in Ethereum PoS. CoRR abs/2404.16363 (2024) - [i24]Rida A. Bazzi, Sara Tucci Piergiovanni:
Fractional Payment Transactions: Executing Payment Transactions in Parallel with Less than f+1 Validations. CoRR abs/2405.05645 (2024) - [i23]William Boitier, Antonella Del Pozzo, Álvaro García-Pérez, Stéphane Gazut, Pierre Jobic, Alexis Lemaire, Erwan Mahe, Aurélien Mayoue, Maxence Perion, Deepika Singh, Tuanir Franca Rezende, Sara Tucci Piergiovanni:
Fantastyc: Blockchain-based Federated Learning Made Secure and Practical. CoRR abs/2406.03608 (2024) - 2023
- [i22]Rida A. Bazzi, Sara Tucci Piergiovanni:
Breaking the f+1 Barrier: Executing Payment Transactions in Parallel with Less than f+1 Validations. CoRR abs/2301.10149 (2023) - [i21]Anto Benedetti, Tiphaine Henry, Sara Tucci Piergiovanni:
Gas Cost Analysis of Proxy and Diamond Patterns: Towards Trusted Smart Contract Engineering in EVM Blockchains. CoRR abs/2312.08945 (2023) - [i20]Luciano Freitas de Souza, Andrei Tonkikh, Adda-Akram Bendoukha, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Petr Kuznetsov:
Homomorphic Sortition - Single Secret Leader Election for PoS Blockchains. IACR Cryptol. ePrint Arch. 2023: 113 (2023) - 2022
- [i19]Luciano Freitas de Souza, Andrei Tonkikh, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, Adda-Akram Bendoukha, Petr Kuznetsov:
Homomorphic Sortition - Secret Leader Election for Blockchain. CoRR abs/2206.11519 (2022) - [i18]Ulysse Pavloff, Yackolley Amoussou-Guenou, Sara Tucci Piergiovanni:
Ethereum Proof-of-Stake under Scrutiny. CoRR abs/2210.16070 (2022) - 2021
- [i17]Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni:
Accountability and Reconfiguration: Self-Healing Lattice Agreement. CoRR abs/2105.04909 (2021) - [i16]Silvia Bonomi, Antonella Del Pozzo, Álvaro García-Pérez, Sara Tucci Piergiovanni:
SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus. CoRR abs/2105.13732 (2021) - [i15]Luciano Freitas de Souza, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, Petr Kuznetsov:
RandSolomon: optimally resilient multi-party random number generation protocol. CoRR abs/2109.04911 (2021) - [i14]Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze, Sara Tucci Piergiovanni, Önder Gürcan:
Justifying the Dependability and Security of Business-Critical Blockchain-based Applications. CoRR abs/2112.04778 (2021) - 2020
- [i13]Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Edward Tate, Sara Tucci Piergiovanni, Eugen Zalinescu:
Tenderbake - Classical BFT Style Consensus for Public Blockchains. CoRR abs/2001.11965 (2020) - [i12]Emmanuelle Anceaume, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni:
On Finality in Blockchains. CoRR abs/2012.10172 (2020) - [i11]Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Rational Behavior in Committee-Based Blockchains. IACR Cryptol. ePrint Arch. 2020: 710 (2020) - 2019
- [i10]Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Rationals vs Byzantines in Consensus-based Blockchains. CoRR abs/1902.07895 (2019) - [i9]Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni:
Reconfigurable Lattice Agreement and Applications. CoRR abs/1910.09264 (2019) - [i8]Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
On Fairness in Committee-based Blockchains. CoRR abs/1910.09786 (2019) - 2018
- [i7]Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Blockchain Abstract Data Type. CoRR abs/1802.09877 (2018) - [i6]Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Correctness and Fairness of Tendermint-core Blockchains. CoRR abs/1805.08429 (2018) - [i5]Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Dissecting Tendermint. CoRR abs/1809.09858 (2018) - [i4]Zaynah Dargaye, Antonella Del Pozzo, Sara Tucci Piergiovanni:
Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft. CoRR abs/1812.05444 (2018) - [i3]Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Blockchain Abstract Data Type. IACR Cryptol. ePrint Arch. 2018: 561 (2018) - [i2]Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Correctness and Fairness of Tendermint-core Blockchains. IACR Cryptol. ePrint Arch. 2018: 574 (2018) - [i1]Alejandro Ranchal-Pedrosa, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Lightning Factories. IACR Cryptol. ePrint Arch. 2018: 918 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint