Browse by People

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

Basso, Alessandro (2010) Integrating formal reasoning into component-based approach to reconfigurable distributed systems. Doctoral thesis, University of Westminster.
[img]

Bolotov, Alexander, 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, Bolotov, Alexander and Getov, Vladimir (2009) State-based behavior specification for GCM systems. In: 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.

Basso, Alessandro, 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
[img]

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

Basso, Alessandro, 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, Bolotov, Alexander and Getov, Vladimir (2008) Automata-based formal specification of stateful systems. In: Proceedings of the automated reasoning workshop 2008. University of Birmingham, pp. 6-7.

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

Basso, Alessandro and Bolotov, Alexander (2008) Towards GCM re-configuration – extending specification by norm. In: 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, Bolotov, Alexander, Basukoski, Artie, Getov, Vladimir, Henrio, Ludovic and Urbanski, Mariusz (2006) Specification and verification of reconfiguration protocols in grid component systems. Technical Report. CoreGRID.
[img]

Basso, Alessandro, Bolotov, Alexander, Basukoski, Artie, Getov, Vladimir, 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
[img]

This list was generated on Thu Dec 8 23:39:19 2016 GMT.