% % GENERATED FROM http://www.coregrid.net % by : anonymous % IP : yoshi.ercim.eu % at : Fri, 15 Jun 2012 09:24:09 +0000 GMT % % Selection : Author: Alexander_Bolotov % @TechReport{coregrid:tr0042, AUTHOR = {Basso, Alessandro and Bolotov, Alexander and Basukoski, Artie and Getov, Vladimir and Henrio, Ludovic and Urbanski, Mariusz}, TITLE = {Specification and Verification of Reconfiguration Protocols in Grid Component Systems}, YEAR = {2006}, MONTH = {May}, NUMBER = {TR-0042}, INSTITUTION = {Institute on Programming Model, CoreGRID - Network of Excellence}, URL = {http://www.coregrid.net/mambo/images/stories/TechnicalReports/tr-0042.pdf}, KEYWORDS = {WP3} } @InProceedings{BB-CoregridWorkshop07, AUTHOR = {Basso, Alessandro and Bolotov, Alexander}, TITLE = {Towards GCM Re-configuration Extending Specification by Norms}, YEAR = {2007}, MONTH = {June}, BOOKTITLE = {CoreGRID Workshop 2007}, NUMBER = {TR-0080}, EDITOR = {Danelutto, Marco and Fragopoulou, Paraskevi and Getov, Vladimir}, INSTITUTION = {Institute on Grid Systems, Tools and Environments, Institute on Programming Model, Institute on Architectural Issues, CoreGRID - Network of Excellence}, KEYWORDS = {WP3} } @InProceedings{BB-CoregridWP3-08, AUTHOR = {Basso, Alessandro and Bolotov, Alexander}, TITLE = {Deductive verification of GCM: Deontic Temporal Resolution}, YEAR = {2008}, MONTH = {January}, INSTITUTION = {CoreGRID WP3 Programming model Institute, plenary meeting}, KEYWORDS = {WP3} } @TechReport{coregrid:tr0138, AUTHOR = {Aldinucci, Marco and Campa, Sonia and Coppola, Massimo and Danelutto, Marco and Zoppi, G. and Basso, Alessandro and Bolotov, Alexander and Baude, Francoise and Bouziane, Hinde and Caromel, Denis and Henrio, Ludovic and Pérez, Christian and Cunha, Jose and Michael, Classen and Classen, Philipp and Lengauer, Christian and Cohen, J. and Mc Gough, S. and Currle-Linde, Natalia and Dazzi, Patrizio and Tonellotto, Nicola and Dünnwebber, Jan and Gorlatch, Sergei and Kilpatrick, Peter and Ranaldo, Nadia and Zimeo, Eugenio}, TITLE = {Proceedings of the Programming Model Institute Technical meeting 2008}, YEAR = {2008}, MONTH = {May}, NUMBER = {TR-0138}, INSTITUTION = {Institute of Programming Model, CoreGRID - Network of Excellence}, URL = {http://www.coregrid.net/mambo/images/stories/TechnicalReports/tr-0138.pdf}, KEYWORDS = {WP3} } @TechReport{coregrid:tr0173, AUTHOR = {Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir and Henrio, Ludovic}, TITLE = {Dynamic Reconfiguration of GCM components}, YEAR = {2008}, MONTH = {September}, NUMBER = {TR-0173}, INSTITUTION = {Institute on Programming Model, CoreGRID - Network of Excellence}, URL = {http://www.coregrid.net/mambo/images/stories/TechnicalReports/tr-0173.pdf}, KEYWORDS = {WP3} }