Andrea Bracciali
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
10
Active years
2001–2023
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SAC | Towards automated verification of Bitcoin-based decentralised applications. | Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti |
| 2021 | FC | A Formal Model of Algorand Smart Contracts. | Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino |
| 2019 | EuroPar | On Refining Design Patterns for Smart Contracts. | Marco Zecchini, Andrea Bracciali, Ioannis Chatzigiannakis, Andrea Vitaletti |
| 2018 | ESORICS | On Symbolic Verification of Bitcoin's script Language. | Rick Klomp, Andrea Bracciali |
| 2017 | Middleware | A general framework for blockchain analytics. | Massimo Bartoletti, Stefano Lande, Livio Pompianu, Andrea Bracciali |
| 2011 | FASE | Modelling Non-linear Crowd Dynamics in Bio-PEPA. | Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston |
| 2010 | EuroPar | StochKit-FF: Efficient Systems Biology on Multicore Architectures. | Marco Aldinucci, Andrea Bracciali, Pietro Li, Anil Sorathiya, Massimo Torquati |
| 2010 | LICS | Reconciling Population and Agent Models for Crowd Dynamics. | Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink |
| 2010 | SEFM | A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. | Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison |
| 2002 | Coordination | Dynamically Adapting the Behaviour of Software Components. | Andrea Bracciali, Antonio Brogi, Carlos Canal |
| 2002 | PDPTA | Security and Dynamic Compositions of Open Systems. | Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto |
| 2001 | SAC | Coordinating interaction patterns. | Andrea Bracciali, Antonio Brogi, Franco Turini |