Andrea Bracciali
Andrea Bracciali
SICSA Lecturer, Stirling University
Email verificata su cs.stir.ac.uk
TitoloCitata daAnno
A formal approach to component adaptation
A Bracciali, A Brogi, C Canal
Journal of Systems and Software 74 (1), 45-54, 2005
3302005
The KGP model of agency for global computing: Computational model and prototype implementation
A Bracciali, N Demetriou, U Endriss, A Kakas, W Lu, P Mancarella, F Sadri, ...
International Workshop on Global Computing, 340-367, 2004
572004
PROSOCS: a platform for programming software agents in computational logic
K Stathis, W Lu, A Kakas, N Demetriou, U Endriss, A Bracciali
482004
Guest editorial: automated component-based software engineering
I Crnkovic, HW Schmidt, J Stafford, K Wallnau
Journal of Systems and Software 74 (1), 1-3, 2005
45*2005
Smart contracts vulnerabilities: a call for blockchain software engineering?
G Destefanis, M Marchesi, M Ortu, R Tonelli, A Bracciali, R Hierons
2018 International Workshop on Blockchain Oriented Software Engineering …, 2018
402018
Coordinating interaction patterns
A Bracciali, A Brogi, F Turini
SAC 1, 159-165, 2001
402001
Validation of decentralised smart contracts through game theory and formal methods
G Bigi, A Bracciali, G Meacci, E Tuosto
Programming Languages with Applications to Biology and Security, 142-161, 2015
322015
Scalable context-dependent analysis of emergency egress models
M Massink, D Latella, A Bracciali, MD Harrison, J Hillston
Formal Aspects of Computing 24 (2), 267-302, 2012
302012
Systematic component adaptation
A Bracciali, A Brogi, C Canal
Electronic Notes in Theoretical Computer Science 66 (4), 97-113, 2002
302002
Crafting the mind of PROSOCS agents
A Bracciali, U Endriss, N Demetriou, A Kakas, W Lu Stathis, K Stathis
Applied Artificial Intelligence 20 (2-4), 105-131, 2006
272006
Stochastic models for the in silico simulation of synaptic processes
A Bracciali, M Brunelli, E Cataldo, P Degano
BMC bioinformatics 9 (4), S7, 2008
262008
Dynamically adapting the behaviour of software components
A Bracciali, A Brogi, C Canal
International Conference on Coordination Languages and Models, 88-95, 2002
252002
A general framework for blockchain analytics
M Bartoletti, S Lande, L Pompianu, A Bracciali
Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures …, 2017
232017
Modelling non-linear crowd dynamics in Bio-PEPA
M Massink, D Latella, A Bracciali, J Hillston
International Conference on Fundamental Approaches to Software Engineering …, 2011
222011
Bisimulation by Unification*
P Baldan, A Bracciali, R Bruni
International Conference on Algebraic Methodology and Software Technology …, 2002
172002
StochKit-FF: Efficient systems biology on multicore architectures
M Aldinucci, A Bracciali, P Lio, A Sorathiya, M Torquati
European Conference on Parallel Processing, 167-175, 2010
162010
On deducing causality in metabolic networks
C Bodei, A Bracciali, D Chiarugi
BMC bioinformatics 9 (4), S8, 2008
152008
A coordination-based methodology for security protocol verification
G Baldi, A Bracciali, G Ferrari, E Tuosto
Electronic Notes in Theoretical Computer Science 121, 23-46, 2005
152005
A scalable fluid flow process algebraic approach to emergency egress analysis
M Massink, D Latella, A Bracciali, MD Harrison
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
142010
Adapting components with mismatching behaviours
A Bracciali, A Brogi, C Canal
International Working Conference on Component Deployment, 185-199, 2002
142002
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20