WestminsterResearch

Items where Author is Basso, Alessandro

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Number of items: 11.

Book Section

Basso, Alessandro and Bolotov, Alexander and Basukoski, Artie and Getov, Vladimir and Henrio, Ludovic and Urbanski, Mariusz (2006) Specification and verification of reconfiguration protocols in grid component systems. In: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006). IEEE, Los Alamitos, USA, pp. 450-455. ISBN 1424401968

Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2008) Behavioural model of component-based Grid environments. In: Priol, Thierry and Vanneschi, Marco, (eds.) From grids to service and pervasive computing. Springer, pp. 19-30. ISBN 9780387094540

Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2008) Automata based formal specification of stateful systems. In: Proceedings of the 15th workshop on automated reasoning: bridging the gap between theory and practice: CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK. School of Computer Science, Birmingham.

Basso, Alessandro and Bolotov, Alexander (2008) Towards GCM re-configuration – extending specification by norm. In: Danelutto, Marco and Fragopoulou, Paraskevi and Getov, Vladimir, (eds.) Making grids work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece. Springer, New York, NY, USA, pp. 17-29. ISBN 9780387784472

Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2009) Temporal specification and deductive verification of a distributed component model and its environment. In: Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009 (SSIRI 2009). IEEE, pp. 379-386. ISBN 9780769537580

Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2009) State-based behavior specification for GCM systems. In: Hustadt, Ullrich, (ed.) Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon. Technical Report (ULCS-09-007). Department of Computer Science, University of Liverpool, pp. 5-6.

Bolotov, Alexander and Basso, Alessandro and Grigoriev, Oleg (2009) Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus. In: Proceedings of the 4th Indian International Conference on Artificial Intelligence (IICAI-09), December 16-18, 2009, SIT, Tumkur, India. IICAI, pp. 166-185. ISBN 9780972741279

Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2008) Automata-based formal specification of stateful systems. In: Dennis, L.A. and Sorge, V., (eds.) Proceedings of the automated reasoning workshop 2008. University of Birmingham, pp. 6-7.

Monograph

Basso, Alessandro and Bolotov, Alexander and Basukoski, Artie and Getov, Vladimir and Henrio, Ludovic and Urbanski, Mariusz (2006) Specification and verification of reconfiguration protocols in grid component systems. Technical Report. CoreGRID.

Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir and Henrio, Ludovic (2008) Dynamic reconfiguration of GCM components. Technical Report. CoreGRID.

Thesis

Basso, Alessandro (2010) Integrating formal reasoning into component-based approach to reconfigurable distributed systems. PhD thesis, University of Westminster, School of Electronics and Computer Science.

This list was generated on Sat Aug 30 13:34:03 2014 BST.