Dr Andrea Bracciali

SICSA Lecturer

Computing Science University of Stirling, Stirling, FK9 4LA

Contact details

Share a link

About me

Andrea Bracciali is currently a SICSA lecturer at the Department of Computing Science and Mathematics of the University of Stirling (from August 2010). Before that, he worked as a postdoctoral researcher at CNR, Italy (2009-2010) in the Applied Formal Methods group, and at the Computer Science Department of the University of Pisa (2003-2008), where he received his Ph.D. (2003) in Computer Science. His main research interests are centered in the formal description of interaction in computing with application to Synthetic and Systems Biology and, more recently, BlockChain Technologies.

Event / Presentation

Modelling Non-linear Crowd Dynamics in Bio-PEPA. 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011
2011
http://www.cs.upc.edu/~orejas/FASE.html

An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. International Conference on Systems Biology
2010

Research

My main research interests regard the formal description of interaction in computational systems and theories and tools for reasoning about such descriptions. This stream of research spawns form Theoretical Computer Science, Concurrency Theory in particular. I applied it to a number of domains, including Software Composition, CyberSecurity, Crowd Dynamics, Systems Biology and Bioinformatics. Applications in Systems Biology see living systems as ‘computational’ systems, consisting of (large numbers) of autonomous and interacting entities. Models serves as ‘virtual labs’ where the various hypotheses about the functioning of the systems can be investigated.More recently I have been interested in the modelling and understanding of Blockchain Technologies and Applications, seen as a decentralised computer, a fascinating and challenging problem enriching the idea of distributed computation.

Outputs

Conference Proceeding

Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-Oriented Survey of the State-of-the-Art in the Cloud Era

Zamuda A, Crescimanna V, Burguillo JC, Matos Dias J, Wegrzyn-Wolska K, Rached I, González-Vélez H, Senkerik R, Pop C, Cioara T, Salomie I & Bracciali A (2019) Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-Oriented Survey of the State-of-the-Art in the Cloud Era. In: Kołodziej J & González-Vélez H (eds.) High-Performance Modelling and Simulation for Big Data Applications. Lecture Notes in Computer Science, 11400. ICT COST Action IC1406 High-Performance Modelling and Simulation for Big Data Applications (cHiPSet), Vilnius, Lithuania, 28.03.2019-29.03.2019. Cham, Switzerland: Springer, pp. 325-349. https://doi.org/10.1007/978-3-030-16272-6_12

Conference Proceeding

Why High-Performance Modelling and Simulation for Big Data Applications Matters

Grelck C, Niewiadomska-Szynkiewicz E, Aldinucci M, Bracciali A & Larsson E (2019) Why High-Performance Modelling and Simulation for Big Data Applications Matters. In: Kołodziej J & González-Vélez H (eds.) High-Performance Modelling and Simulation for Big Data Applications. Lecture Notes in Computer Science, 11400. ICT COST Action IC1406 High-Performance Modelling and Simulation for Big Data Applications (cHiPSet), Vilnius, Lithuania, 28.03.2019-29.03.2019. Cham, Switzerland: Springer, pp. 1-35. https://doi.org/10.1007/978-3-030-16272-6_1

Article

Programming Languages for Data-Intensive HPC Applications: a Systematic Mapping Study

Amaral V, Norberto B, Goulão M, Aldinucci M, Benkner S, Bracciali A, Carreira P, Celms E, Correia L, Grelck C, Karatza H, Kessler C, Kilpatrick P, Martiniano H & Mavridis I (2019) Programming Languages for Data-Intensive HPC Applications: a Systematic Mapping Study. Parallel Computing. https://doi.org/10.1016/j.parco.2019.102584

Edited Book

Computational Intelligence Methods for Bioinformatics and Biostatistics: 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Bartoletti M, Bracciali A, Barla A, Klau GW, Peterson L, Policriti A & Tagliaferri R (eds.) (2019) Computational Intelligence Methods for Bioinformatics and Biostatistics: 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers. Berlin Heidelberg: Springer. https://doi.org/10.1007/978-3-030-14160-8

Edited Book

Financial Cryptography and Data Security: FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers

Zohar A, Eyal I, Teague V, Clark J, Bracciali A, Pintore F & Sala M (eds.) (2019) Financial Cryptography and Data Security: FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers. Berlin Heidelberg: Springer. https://doi.org/10.1007/978-3-662-58820-8

Article

Randomness invalidates criminal smart contracts

Wang Y, Bracciali A, Li T, Li F, Cui X & Zhao M (2019) Randomness invalidates criminal smart contracts. Information Sciences, 477, pp. 291-301. https://doi.org/10.1016/j.ins.2018.10.057

Conference Proceeding

On Symbolic Verification of Bitcoin's script Language

Klomp R & Bracciali A (2018) On Symbolic Verification of Bitcoin's script Language. In: Garcia-Alfaro J, Herrera-Joancomartí J, Livraga G & Rios R (eds.) Data Privacy Management, Cryptocurrencies and Blockchain Technology. DPM 2018, CBT 2018. Lecture Notes in Computer Science, 11025. Data Privacy Management, Cryptocurrencies and Blockchain Technology 2018, Barcelona, Spain, 06.09.2018-07.09.2018. Cham, Switzerland: Springer International Publishing, pp. 38-56. https://doi.org/10.1007/978-3-030-00305-0_3

Conference Proceeding

On the Educational Curriculum in Finance and Technology

Karkkainen T, Panos GA, Broby D & Bracciali A (2018) On the Educational Curriculum in Finance and Technology. In: Diplaris S S, Satsiou A, Følstad A, Vafopoulos M & Vilarinho T (eds.) Internet Science: INSCI 2017. Lecture Notes in Computer Science, 10750. INSCI 2017 4th International Conference on Internet Science, Thessaloniki, Greece, 22.11.2017-24.11.2017. Cham, Switzerland: Springer, pp. 7-20. https://doi.org/10.1007/978-3-319-77547-0_1

Conference Proceeding

Smart contracts vulnerabilities: a call for blockchain software engineering?

Destefanis G, Marchesi M, Ortu M, Tonelli R, Bracciali A & Hierons R (2018) Smart contracts vulnerabilities: a call for blockchain software engineering?. In: Tonelli R, Ducasse S S, Fenu G & Bracciali A (eds.) 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE). 2018 IEEE 1st International Workshop on Blockchain Oriented Software Engineering (IWBOSE), Campobasso, Italy, 20.03.2018-20.03.2018. Piscataway, NJ, USA: IEEE, pp. 19-25. https://ieeexplore.ieee.org/abstract/document/8327567/; https://doi.org/10.1109/IWBOSE.2018.8327567

Conference Proceeding

A general framework for blockchain analytics

Bartoletti M, Bracciali A, Lande S & Pompianu L (2017) A general framework for blockchain analytics. In: SERIAL '17 Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers. SERIAL '17 - 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, Las Vegas, NV, USA, 11.12.2017-15.12.2017. New York: ACM, p. Article 7. https://doi.org/10.1145/3152824.3152831; https://doi.org/10.1145/3152824.3152831

Conference Proceeding

Computational Intelligence Methods for Bioinformatics and Biostatistics

Bracciali A, Caravagna G, Gilbert D & Tagliaferri R (eds.) (2017) Computational Intelligence Methods for Bioinformatics and Biostatistics. Lecture Notes in Bioinformatics, 10477. International Conference on Computational Methods for Biostatistics and Bioinformatics, Stirling, 01.09.2016-03.09.2016. Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-67834-4

Conference Proceeding

Financial Cryptography and Data Security

Brenner M, Rohloff K, Bonneau J, Miller A, Ryan PYA, Teague V, Bracciali A, Sala M, Pintore F & Jakobsson M (eds.) (2017) Financial Cryptography and Data Security. Lecture Notes in Computer Science; Security and Cryptology, 10323. Financial Cryptography and Data Security: FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, 03.04.2017-07.04.2017. Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-70278-0

Other

Data Science and Engineering, Special Issue: HPC-enabled Modelling for Big Data Problems in Life, Socio-Economical and Physical Sciences

Bracciali A (Editor) & Larsson E (Editor) (2017) Data Science and Engineering, Special Issue: HPC-enabled Modelling for Big Data Problems in Life, Socio-Economical and Physical Sciences. Data Science and Engineering, 2 (3). https://link.springer.com/journal/41019/2/3/page/1

Article

Data-Intensive Modelling and Simulation in Life Sciences and Socio-economical and Physical Sciences

Bracciali A & Larsson E (2017) Data-Intensive Modelling and Simulation in Life Sciences and Socio-economical and Physical Sciences. Data Science and Engineering, 2 (3), pp. 197-198. https://doi.org/10.1007/s41019-017-0049-x

Conference Proceeding

From cells as computation to cells as apps

Bracciali A, Cataldo E, Damiano L, Felicioli C, Marangoni R & Stano P (2016) From cells as computation to cells as apps. In: Gadducci F & Tavosanis M (eds.) History and Philosophy of Computing: Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers. IFIP Advances in Information and Communication Technology, 487. Third International Conference on the History and Philosophy of Computing (HaPoC 2015), Pisa, Italy, 08.10.2015-11.10.2015. Cham, Switzerland: Springer, pp. 116-130. http://link.springer.com/chapter/10.1007/978-3-319-47286-7_8; https://doi.org/10.1007/978-3-319-47286-7_8

Conference Paper

PWHATSHAP: efficient haplotyping for future generation sequencing

Bracciali A, Aldinucci M, Patterson M, Marschall T, Pisanti N, Merelli I & Torquati M (2016) PWHATSHAP: efficient haplotyping for future generation sequencing. Nonis A (Editor), Di Serio C (Editor), Lio' P (Editor), Tagliaferri R (Editor) & Rizzo R (Editor) 11th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB 2014), Cambridge, UK, 26.06.2014-28.06.2014. BMC Bioinformatics, 17 (Supplement 11). https://doi.org/10.1186/s12859-016-1170-y

Conference Proceeding

High-Performance Haplotype Assembly

Aldinucci M, Bracciali A, Marschall T, Patterson M, Pisanti N & Torquati M (2015) High-Performance Haplotype Assembly. In: Serio C, Lio P, Nonis A & Tagliaferri R (eds.) Computational Intelligence Methods for Bioinformatics and Biostatistics: 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers. Lecture Notes in Computer Science, 8623. 11th International Meeting, CIBB 2014, Cambridge, 26.06.2014-28.06.2014. Cham, Switzerland: Springer, pp. 245-258. http://link.springer.com/chapter/10.1007/978-3-319-24462-4_21; https://doi.org/10.1007/978-3-319-24462-4_21

Poster

Towards modeling modular clocks for synthetic systems

Bracciali A, Gammuto L & Marangoni R (2015) Towards modeling modular clocks for synthetic systems., 2015. http://www.cs.stir.ac.uk/~abb/papers/2015_wivace_clock_poster.pdf

Book Chapter

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

Bigi G, Bracciali A, Meacci G & Tuosto E (2015) Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. In: Bodei C, Ferrari G & Priamo C (eds.) Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, 9465. Cham, Switzerland: Springer, pp. 142-161. http://link.springer.com/chapter/10.1007/978-3-319-25527-9_11

Conference Paper (unpublished)

Towards High-Performance Haplo- type Assembly for Future Sequencing

Aldinucci M, Bracciali A, Pisanti N & Torquati M (2014) Towards High-Performance Haplo- type Assembly for Future Sequencing. Eleventh International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, Cambridge, UK, 26.06.2014-28.06.2014. http://www.cussb.unisr.it/cibb2014/conf.html#accepted

Conference Proceeding

Survival vs. Revenue: Modelling and Reasoning on Population Dynamics

Bracciali A, Caravagna G & Ullah A (2013) Survival vs. Revenue: Modelling and Reasoning on Population Dynamics. In: Wainer G, Mosterman P, Barros F & Zacharewicz G (eds.) DEVS 13 Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium. Symposium on Theory of Modeling and Simulation (TMS 2013), San Diego, CA, USA, 07.04.2013-10.04.2013. San Diego, CA, USA: Society for Computer Simulation International. http://www.tms-devs.org/

Conference Proceeding

Reconciling Population and Agent Models for Crowd Dynamics

Bracciali A, Hillston J, Latella D & Massink M (2012) Reconciling Population and Agent Models for Crowd Dynamics. In: Muller B (ed.) LAM'10. 3rd International Workshop on Logics, Agents, and Mobility. EasyChair Proceedings in Computing (EPiC) series, 7. LAM'10: 3rd International Workshop on Logics, Agents, and Mobility associated with LICS, Edinburgh, 15.07.2010-15.07.2010. Edinburgh: Easy Chair Publications, pp. 3-18. http://www.floc-conference.org/LAM-home.html

Book Chapter

Process calculi, Systems Biology and Artificial Chemistry

Degano P & Bracciali A (2012) Process calculi, Systems Biology and Artificial Chemistry. In: Rozenberg G, Back T & Kok J (eds.) Handbook of Natural Computing. First ed. Pringer Reference, 1. Springer. http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-92909-3

Article

Scalable context-dependent analysis of emergency egress models

Massink M, Latella D, Bracciali A, Harrison MD & Hillston J (2012) Scalable context-dependent analysis of emergency egress models. Formal Aspects of Computing, 24 (2), pp. 267-302. https://doi.org/10.1007/s00165-011-0188-1

Conference Proceeding

Modelling Non-linear Crowd Dynamics in Bio-PEPA

Massink M, Latella D, Bracciali A & Hillston J (2011) Modelling Non-linear Crowd Dynamics in Bio-PEPA. In: Giannakopoulou D & Orejas F (eds.) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, 6603. 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, Saarbrucken, Germany, 26.03.2011-03.04.2011. Dusseldorf: Springer Verlag, pp. 96-110. http://www.springerlink.com/content/lw5812w5k78744m8/; https://doi.org/10.1007/978-3-642-19811-3_8

Book Chapter

Modelling HIV Infection: A computational overview

Bracciali A (2011) Modelling HIV Infection: A computational overview. In: Breitling R, Uhrmacher A, Bruggeman F & Priami C (eds.) Formal Methods in Molecular Biology. Dagstuhl Reports, Volume 1, Issue 4, pp. 41–64. Dagstuhl, Germany: Leibniz Center for Informatics, Dagstuhl Publishing, p. 49. http://drops.dagstuhl.de/opus/volltexte/2011/3197/pdf/dagrep_v001_i004_p041_s11151.pdf

Book Chapter

StochKit-FF: Efficient systems biology on multicore architectures

Aldinucci M, Bracciali A, Lio P, Sorathiya A & Torquati M (2011) StochKit-FF: Efficient systems biology on multicore architectures. In: Guarracino M, Vivien F, Träff J, Cannatoro M, Danelutto M, Hast A, Perla F, Knüpfer A, Martino B & Alexander M (eds.) Euro-Par 2010 Parallel Processing Workshops. Lecture Notes in Computer Science, 6586. Berlin, Heidelberg: Springer, pp. 167-175. http://www.scopus.com/inward/record.url?partnerID=yv4JPVwI&eid=2-s2.0-80051706079&md5=286ea3e23e0a0be6103ad85e9652c57e

Technical Report

A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour

Massink M, Latella D, Bracciali A & Hillston J (2010) A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour. TR-025. CNR-ISTI. http://puma.isti.cnr.it/dfdownloadnew.php?ident=/cnr.isti/2010-TR-025&langver=en&scelta=NewMetadata

Technical Report

A process algebraic fluid flow model of emergency egress

Massink M, Latella D, Bracciali A & Harrison MD (2010) A process algebraic fluid flow model of emergency egress. TR012. CNR-ISTI. http://fmt.isti.cnr.it/WEBPAPER/2010-TR-012.pdf

Conference Paper (unpublished)

Modelling Crowd Dynamics in Bio-PEPA-- Extended Abstract

Massink M, Latella D, Bracciali A & Hillston J Modelling Crowd Dynamics in Bio-PEPA-- Extended Abstract. 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010), 2010, London, UK.

Conference Paper

A Taxonomy of Causality-Based Biological Properties

Bodei C, Bracciali A, Chiarugi D & Gori R (2010) A Taxonomy of Causality-Based Biological Properties. Merelli E (Editor) & Quaglia P (Editor) 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, a satellite event of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, 27.03.2010-27.03.2010. Electronic Proceedings in Theoretical Computer Science, 19, pp. 116-133. http://arxiv.org/pdf/1002.4067v1.pdf; https://doi.org/10.4204/EPTCS.19.8

Conference Proceeding

A scalable fluid flow process algebraic approach to emergency egress analysis

Massink M, Latella D, Harrison MD & Bracciali A (2010) A scalable fluid flow process algebraic approach to emergency egress analysis. In: Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference Proceedings. 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010), Pisa, Italy, 13.09.2010-18.09.2010. Los Alamitos, CA, USA: IEEE, pp. 169-180. http://www.sefm2010.isti.cnr.it/; https://doi.org/10.1109/SEFM.2010.22

Book Chapter

Modelling Infection Dynamics on Multi-cores: Exploring Parallel Efficient Simulations for the Stochastic Modelling of Bio Systems

Bracciali A (2010) Modelling Infection Dynamics on Multi-cores: Exploring Parallel Efficient Simulations for the Stochastic Modelling of Bio Systems. In: Monfardini S (ed.) HPC-Europa 2 Science and Supercomputing in Europe - research highlights 2010. HPC-Europa 2 Science and Supercomputing in Europe - research highlights. Bologna: CINECA Consorzio Interuniversitario, p. 113. http://www.hpc-europa.eu/?q=node/119

Poster

An integrated modelling approach for R5-X4 mutation and HAART therapy assessment

Lio P, Sorathiya A & Bracciali A (2010) An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. International Conference on Systems Biology, Edinburgh, 10.10.2010-15.10.2010. http://www.issb.org/conferences.html

Article

An integrated modelling approach for R5-X4 mutation and HAART therapy assessment

Sorathiya A, Bracciali A & Lio P (2010) An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. Swarm Intelligence, 4 (4), pp. 319-340. https://doi.org/10.1007/s11721-010-0046-4

Article

Formal Synthetic Immunology

Aldinucci M, Bracciali A & Lio P (2010) Formal Synthetic Immunology. ERCIM News, 82, pp. 40-41. http://ercim-news.ercim.eu/en82

Article

Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy

Sorathiya A, Bracciali A & Lio P (2010) Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy. BMC Bioinformatics, 11 (Supplement 1), p. S67. http://www.biomedcentral.com/1471-2105/11/S1/S67; https://doi.org/10.1186/1471-2105-11-S1-S67

Book Chapter

Formal Models of the Calyx of Held

Bracciali A, Brunelli M, Cataldo E & Degano P (2009) Formal Models of the Calyx of Held. In: Condon A, Harel D, Kok J, Salomaa A & Winfree E (eds.) Algorithmic Bioprocesses. Natural Computing Series, 6. Berlin, Heidelberg: Springer, pp. 331-366. http://www.springerlink.com/content/vt6u7g0315414806/

Conference Paper

On Symbolic Semantics for Name-decorated Contexts

Bracciali A, Bruni R & Lluch-Lafuente A (2009) On Symbolic Semantics for Name-decorated Contexts. First Interaction and Concurrency Experiences Workshop (ICE 2008), Reykjavik, Finland, 06.07.2008-06.07.2008. Electronic Notes in Theoretical Computer Science, 229 (3), pp. 37-58. https://doi.org/10.1016/j.entcs.2009.06.038

Conference Paper

Control Flow Analysis for Brane Calculi

Bodei C, Bracciali A & Chiarugi D (2009) Control Flow Analysis for Brane Calculi. Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), Iasi, Romania, 03.09.2008-04.09.2008. Electronic Notes in Theoretical Computer Science, 227, pp. 59-75. https://doi.org/10.1016/j.entcs.2008.12.104

Conference Proceeding

Abduction and Legal Reasoning

Maggenti G, Bracciali A & Mancarella P (2008) Abduction and Legal Reasoning. In: e-Forensics '08 Proceedings of the 1st international conference on Forensic applications and techniques in telecommunications, information, and multimedia and workshop, volume Article No. 33. e-Forensics 2008: 1st international conference on Forensic applications and techniques in telecommunications, information, and multimedia and workshop, Adelaide, Australia, 21.01.2008-23.01.2008. Brussels, Belgium: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). http://dl.acm.org/citation.cfm?id=1363260

Article

Synapses as stochastic concurrent systems

Bracciali A, Brunelli M, Cataldo E & Degano P (2008) Synapses as stochastic concurrent systems. Theoretical Computer Science, 408 (1), pp. 66-82. https://doi.org/10.1016/j.tcs.2008.07.008

Conference Proceeding

Stochastic and executable models of synaptic processes

Cataldo E, Bracciali A, Brunelli M & Degano P (2008) Stochastic and executable models of synaptic processes. In: Frontiers in Neuroinformatics Conference Abstract: Neuroinformatics 2008. Neuroinformatics 2008, Stockholm, Sweden, 07.09.2008-09.09.2008. Lausanne, Switzerland: Frontiers Media. http://www.frontiersin.org/10.3389/conf.neuro.11.2008.01.012/event_abstract; https://doi.org/10.3389/conf.neuro.11.2008.01.012

Article

On deducing causality in metabolic networks

Bodei C, Bracciali A & Chiarugi D (2008) On deducing causality in metabolic networks. BMC Bioinformatics, 9 (Supplement 4), p. S8. https://doi.org/10.1186/1471-2105-9-S4-S8

Article

Stochastic models for the in silico simulation of synaptic processes

Bracciali A, Brunelli M, Cataldo E & Degano P (2008) Stochastic models for the in silico simulation of synaptic processes. BMC Bioinformatics, 9 (Supplement 4), p. S7. http://www.biomedcentral.com/1471-2105/9/S4/S7; https://doi.org/10.1186/1471-2105-9-S4-S7

Article

A symbolic framework for multi-faceted security protocol analysis

Bracciali A, Ferrari G & Tuosto E (2008) A symbolic framework for multi-faceted security protocol analysis. International Journal of Information Security, 7 (1), pp. 55-84. https://doi.org/10.1007/s10207-007-0043-9

Conference Paper (unpublished)

In Silico Stochastic Simulation of Ca triggered Synaptic Release

Bracciali A, Brunelli M, Cataldo E & Degano P (2007) In Silico Stochastic Simulation of Ca triggered Synaptic Release. NETTAB 2007: A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications, University of Pisa, Italy, 12.06.2007-15.06.2007. http://www.nettab.org/2007/progr.html#details

Conference Proceeding

Expressive models for synaptic plasticity

Bracciali A, Brunelli M, Cataldo E & Degano P (2007) Expressive models for synaptic plasticity. In: Calder M & Gilmore S (eds.) Computational Methods in Systems Biology. Lecture Notes in Computer Science, 4695. International Conference CMSB 2007, Edinburgh, Scotland, 20.09.2007-21.09.2007. Berlin, Heidelberg: Springer, pp. 152-167. http://conferences.inf.ed.ac.uk/cmsb07/; https://doi.org/10.1007/978-3-540-75140-3_11

Book Chapter

Deducing interactions in partially unspecified biological systems

Baldan P, Bracciali A, Brodo L & Bruni R (2007) Deducing interactions in partially unspecified biological systems. In: Anai H, Horimoto K & Kutsia T (eds.) Algebraic Biology. Lecture Notes in Computer Science, 4545. Berlin, Heidelberg: Springer, pp. 262-276. https://www.risc.jku.at/conferences/ab2007/; https://doi.org/10.1007/978-3-540-73433-8_19

Article

A semantic framework for open processes

Baldan P, Bracciali A & Bruni R (2007) A semantic framework for open processes. Theoretical Computer Science, 389 (3), pp. 446-483. https://doi.org/10.1016/j.tcs.2007.09.004

Poster

Ca2+ triggered vesicle release mechanisms: in silico experiments

Bracciali A, Baxter DA, Brunelli M, Cataldo E & Degano P (2007) Ca2+ triggered vesicle release mechanisms: in silico experiments. The 37th annual meeting of the Society for Neuroscience, San Diego, California, 03.11.2007-07.11.2007.

Conference Paper (unpublished)

A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks

Bodei C, Bracciali A & Chiarugi D (2007) A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks. Nettab 2007 Workshop: A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications, University of Pisa, Italy, 12.06.2007-15.06.2007. http://www.di.unipi.it/~braccia/DATA/MY_PAPERS/NETTAB_BBC_07.pdf

Article

Crafting the mind of PROSOCS agents

Bracciali A, Endriss U, Demetriou N, Kakas A, Stathis WL & Stathis K (2006) Crafting the mind of PROSOCS agents. Applied Artificial Intelligence, 20 (2-4), pp. 105-131.

Conference Proceeding

On modelling multi-agent systems declaratively

Bracciali A, Mancarella P, Stathis K & Toni F (2005) On modelling multi-agent systems declaratively. In: Leite J, Omicini A, Torroni P & Yolum P (eds.) Declarative Agent Languages and Technologies II. Lecture Notes in Computer Science, 3476. Second International Workshop on Declarative Agent Languages and Technologies, DALT 2004, New York, NY, USA, 19.07.2004-19.07.2004. Berlin, Heidelberg: Springer, pp. 53-68. http://centria.di.fct.unl.pt/~jleite/dalt04/index.htm; https://doi.org/10.1007/11493402_4

Conference Proceeding

Stable multi-agent systems

Bracciali A, Mancarella P, Stathis K & Toni F (2005) Stable multi-agent systems. In: Gleizes M, Omicini A & Zambonelli F (eds.) Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers. Lecture Notes in Computer Science, 2451. 5th International Workshop, ESAW 2004, Toulouse, France, 20.10.2004-22.10.2004. Berlin Heidelberg: Springer, pp. 322-334. http://www.springer.com/computer/ai/book/978-3-540-27330-1

Conference Proceeding

The KGP model of agency for global computing: Computational model and prototype implementation

Bracciali A, Demetriou N, Endriss U, Kakas A, Lu W, Mancarella P, Sadri F, Stathis K, Terreni G & Toni F (2005) The KGP model of agency for global computing: Computational model and prototype implementation. In: Priami C & Quaglia P (eds.) Global Computing. Lecture Notes in Computer Science, 3267. IST/FET International Workshop, GC 2004, Rovereto, Italy, 09.03.2004-12.03.2004. Berlin, Heidelberg: Springer, pp. 340-367. http://www.informatik.uni-trier.de/~ley/db/conf/gc/gc2004.html; https://doi.org/10.1007/978-3-540-31794-4_18

Conference Proceeding

Symbolic equivalences for open systems

Baldan P, Bracciali A & Bruni R (2005) Symbolic equivalences for open systems. In: Priami C & Quaglia P (eds.) Global Computing. Lecture Notes in Computing Science, 3267. IST/FET International Workshop, GC 2004, Rovereto, Italy, 09.03.2004-12.03.2004. Berlin, Heidelberg: Springer, pp. 1-17. http://www.informatik.uni-trier.de/~ley/db/conf/gc/gc2004.html; https://doi.org/10.1007/978-3-540-31794-4_1

Article

A framework for specifying and verifying the behaviour of open systems

Bracciali A, Brogi A & Turini F (2005) A framework for specifying and verifying the behaviour of open systems. Journal of Logic and Algebraic Programming, 63 (2), pp. 215-240. https://doi.org/10.1016/j.jlap.2004.05.004

Conference Paper

A coordination-based methodology for security protocol verification

Bracciali A, Baldi G, Ferrari G & Tuosto E (2005) A coordination-based methodology for security protocol verification. 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), Bologna, Italy, 26.06.2004-26.06.2004. Electronic Notes in Theoretical Computer Science, 121, pp. 23-46. https://doi.org/10.1016/j.entcs.2004.10.006

Article

A formal approach to component adaptation

Bracciali A, Brogi A & Canal C (2005) A formal approach to component adaptation. Journal of Systems and Software, 74 (1), pp. 45-54. https://doi.org/10.1016/j.jss.2003.05.007

Conference Proceeding

Frame Consistency: Computing with Causal Explanations

Bracciali A & Kakas A (2004) Frame Consistency: Computing with Causal Explanations. In: Delgrande J J & Schaub T (eds.) 10th International Workshop on Non-Monotonic Reasoning: Proceedings. 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, 06.06.2004-08.06.2004. Whistler, Canada: International Workshop on Non-Monotonic Reasoning, pp. 79-87.

Conference Proceeding

PROSOCS: a platform for programming software agents in computational logic

Stathis K, Lu W, Kakas A, Demetriou N, Endriss U & Bracciali A (2004) PROSOCS: a platform for programming software agents in computational logic. In: Trappl R (ed.) Proceedings of the Fourth International Symposium "From Agent Theory to Agent Implementation'' AT2AI-4 -- EMCSR'2004. AT2AI-4 - Fourth International Symposium "From Agent Theory to Agent Implementation" at the 17th European Meeting on Cybernetics and Systems Research (EMCSR 2004), Vienna, Austria, 14.04.2004-16.04.2004. Vienna: Austrian Society for Cybernetic Studies, pp. 523-528. http://www.osgk.ac.at/emcsr/10/publications.html

Conference Proceeding

A new framework for knowledge revision of abductive agents through their interaction

Bracciali A & Torroni P (2004) A new framework for knowledge revision of abductive agents through their interaction. In: Carbonell J & Siekmann J (eds.) Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science, 3259. 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, 06.01.2004-07.01.2004. Berlin Heidelberg: Springer, pp. 159-177. http://centria.di.fct.unl.pt/~clima/; https://doi.org/10.1007/978-3-540-30200-1_9

Conference Proceeding

Adapting components with mismatching behaviours

Bracciali A, Brogi A & Canal C (2002) Adapting components with mismatching behaviours. In: Bishop J (ed.) Component Deployment. Lecture Notes in Computer Science, 2370. IFIP/ACMWorking Conference, CD 2002, Berlin, Germany, 20.06.2002-21.06.2002. Berlin Heidelberg: Springer, pp. 185-199. http://swt.cs.tu-berlin.de/cd02/; https://doi.org/10.1007/3-540-45440-3_13

Conference Proceeding

Dynamically adapting the behaviour of software components

Bracciali A, Brogi A & Canal C (2002) Dynamically adapting the behaviour of software components. In: Arbab F & Talcott C (eds.) Coordination Models and Languages. Lecture Notes in Computer Science, 2315. 5th International Conference, COORDINATION 2002, York, UK, 08.04.2002-11.04.2002. Berlin, Heidelberg: Springer, pp. 88-95. http://www.informatik.uni-trier.de/~ley/db/conf/coordination/; https://doi.org/10.1007/3-540-46000-4_10

Conference Proceeding

Security and Dynamic Compositions of Open Systems

Bracciali A, Brogi A, Ferrari G & Tuosto E (2002) Security and Dynamic Compositions of Open Systems. In: Arabnia H (ed.) Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3. International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, Las Vegas, Nevada, USA, 24.06.2002-27.06.2002. Athens, GA: CSREA Press, pp. 1372-1377. http://www.informatik.uni-trier.de/~ley/db/conf/pdpta/pdpta2002-3.html

Conference Proceeding

Bisimulation by Unification

Baldan P, Bracciali A & Bruni R (2002) Bisimulation by Unification. In: Kirchner H & Ringeissen C (eds.) Algebraic Methodology and Software Technology. Lecture Notes in Computer Science, Volume 2422. 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, 09.09.2002-13.09.2002. Amsterdam: Springer, pp. 254-270. http://link.springer.com/chapter/10.1007/3-540-45719-4_18#; https://doi.org/10.1007/3-540-45719-4_18

Conference Paper

Systematic component adaptation

Bracciali A, Brogi A & Canal C (2002) Systematic component adaptation. Formal Methods and Component Interaction (ICALP 2002 Satellite Workshop), Málaga, Spain, 12.07.2002-13.07.2002. Electronic Notes in Theoretical Computer Science, 66 (4), pp. 103-119. https://doi.org/10.1016/S1571-0661%2804%2980452-3

Conference Paper

Security issues in component-based design

Bracciali A, Brogi A, Ferrari G & Tuosto E (2001) Security issues in component-based design. ConCoord: International Workshop on Concurrency and Coordination(Workshop associated to the 13th Lipari School), Lipari Island, Italy, 06.07.2001-08.07.2001. Electronic Notes in Theoretical Computer Science, 54, pp. 49-57. https://doi.org/10.1016/S1571-0661%2804%2900234-8

Conference Proceeding

Interaction Patterns for Open Systems

Bracciali A, Brogi A & Turini F (2001) Interaction Patterns for Open Systems. In: Roja F, Monge J & Sanchez Y (eds.) IDEAS 2001 Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software. IDEAS 2001 Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software, 2001, San Jose, Costa Rica, pp. 398-407.

Conference Proceeding

Coordinating Interaction Patterns

Bracciali A, Brogi A & Turini F (2001) Coordinating Interaction Patterns. In: SAC '01 Proceedings of the 2001 ACM symposium on Applied computing. SAC 2001: 16th ACM Symposium on Applied Computing, Las Vegas, USA, 11.03.2001-14.03.2001. New York: ACM, pp. 159-165. http://dl.acm.org/citation.cfm?id=372305

Conference Proceeding

Formal specification of discrete systems by active predicates and dynamic constraints

Bolognesi T & Bracciali A (1999) Formal specification of discrete systems by active predicates and dynamic constraints. In: Ciancarini P, Fantechi A & Gorrieri R (eds.) Formal Methods for Open Object-based Distributed Systems, Proceedings of FMOODS'99. IFIP Advances in Information and Communication Technology, Vol. 10. IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Florence, Italy, 15.02.1999-18.03.1999. Dordrecht, The Netherlands: Kluwer Academic Publishers, pp. 161-168.

Conference Proceeding

Citizens Vote to Act: smart contracts for the management of water resources in smart cities

Bracciali A, Chatzigiannakis I & Vitaletti A (2019) Citizens Vote to Act: smart contracts for the management of water resources in smart cities. In: Proceedings of 1st International Conference on Societal Automation. 1st International Conference on Societal Automation, Krakow, Poland, 04.09.2019-06.09.2019. Piscataway, NJ, USA: IEEE.

Conference Proceeding

On Refining Design Patterns for Smart Contracts: A use case on water management

Zecchini M, Bracciali A, Chatzigiannakis I & Vitaletti A (2019) On Refining Design Patterns for Smart Contracts: A use case on water management. In: Euro-Par 2019: Parallel Processing Workshops. Lecture Notes in Computer Science. 2nd International Workshop on Future Perspective of Decentralized APPlications, Gottingen, Germany, 26.08.2019-29.08.2019. Cham, Switzerland: Springer.

University of Stirling

Dr Andrea Bracciali

Share a link

About me

Event / Presentation

Research centres/groups