IndexBrowse  
Publications of Alexander Bolotov   Download bibtex file Order by:   Type | Year
<< InProceedings >> TOP
1
Alessandro Basso and Alexander Bolotov. Towards GCM Re-configuration Extending Specification by Norms. In Marco Danelutto, Paraskevi Fragopoulou and Vladimir Getov editors, CoreGRID Workshop 2007, Nr. (TR-0080), Institute on Grid Systems, Tools and Environments, Institute on Programming Model, Institute on Architectural Issues, CoreGRID - Network of Excellence, June 2007.   Bibtex entry
Keywords: WP3.  
2
Alessandro Basso and Alexander Bolotov. Deductive verification of GCM: Deontic Temporal Resolution. CoreGRID WP3 Programming model Institute, plenary meeting, January 2008.   Bibtex entry
Keywords: WP3.  
<< TechReport >> TOP
3
Alessandro Basso, Alexander Bolotov, Artie Basukoski, Vladimir Getov, Ludovic Henrio and Mariusz Urbanski. Specification and Verification of Reconfiguration Protocols in Grid Component Systems. Technical report, TR-0042, Institute on Programming Model, CoreGRID - Network of Excellence, May 2006. URL   Bibtex entry
Keywords: WP3.  
4
Marco Aldinucci, Sonia Campa, Massimo Coppola, Marco Danelutto, G. Zoppi, Alessandro Basso, Alexander Bolotov, Francoise Baude, Hinde Bouziane, Denis Caromel, Ludovic Henrio, Christian Pérez, Jose Cunha, Classen Michael, Philipp Classen, Christian Lengauer, J. Cohen, S. Mc Gough, Natalia Currle-Linde, Patrizio Dazzi, Nicola Tonellotto, Jan Dünnwebber, Sergei Gorlatch, Peter Kilpatrick, Nadia Ranaldo and Eugenio Zimeo. Proceedings of the Programming Model Institute Technical meeting 2008. Technical report, TR-0138, Institute of Programming Model, CoreGRID - Network of Excellence, May 2008. URL   Bibtex entry
Keywords: WP3.  
5
Alessandro Basso, Alexander Bolotov, Vladimir Getov and Ludovic Henrio. Dynamic Reconfiguration of GCM components. Technical report, TR-0173, Institute on Programming Model, CoreGRID - Network of Excellence, September 2008. URL   Bibtex entry
Keywords: WP3.  
Feedback: Peter Kunz
Last modified: Wed March 19 2008 14:34:44
        BibAdmin