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
Jump to: 2010 | 2009 | 2008 | 2006
Number of items: 11.

2010

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.

2009

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

2008

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 and Getov, Vladimir and Henrio, Ludovic (2008) Dynamic reconfiguration of GCM components. Technical Report. CoreGRID.

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 (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.

2006

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 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.

This list was generated on Mon Nov 24 12:59:02 2014 GMT.