This is an old revision of the document!


A PCRE internal error occured. This might be caused by a faulty plugin

====== COST Report 2012 ====== Please enter any relevant information below and provide the relevant links. Thanks! Please provide this information by **April 30th**. Sorry for the late notice! --vkuncak ===== 1) Publications that were written jointly ===== Joint publications by authors from different participating institutions: * Verified Resource Guarantees using COSTA and KeY. Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, and Guillermo Román-Díez, in: Proc. ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM'11), 24-25 January 2011 - Austin, Texas, USA, ACM Press. * HATS: A Formal Software Product Line Engineering Methodology. Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einer Broch Johnsen, German Puebla, Balthasar Weitzel, Peter Wong, in: 1st International Workshop on Formal Methods in Software Product Line Engineering (Jeju Island, South Corea). * Practical Aspects of Automated Deduction for Program Verification. Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer, in: KI - Künstliche Intelligenz, Volume 24, Number 1 / April, 2010, Pages 43-49, Springer Berlin / Heidelberg. * Dynamic QoS Management and Optimisation in Service-Based Systems. Radu Calinescu, Lars Grunske, Marta Kwiatkowska, Raffaela Mirandola and Giordano Tamburrelli, in: IEEE Transactions Software Engineering, October 2010 (http://dx.doi.org/10.1109/TSE.2010.92). ===== 2) Participant's Non-Joint Projects ===== Projects related to the topic of the Action (not restricted to joint projects). * COST IC0701, http://www.cost-ic0701.org/ * HATS, www.hats-project.eu * Charter, http://charterproject.ning.com/ * KeY, http://www.key-project.org/ * EternalS, https://www.eternals.eu/ * Cloud Computing - LSCITS, http://www1.aston.ac.uk/eas/research/groups/csrg/research-projects/cloud-computing/ ===== 3) Events (workshops, conferences) ===== Events (workshops, conferences, summer schools) related to the action, where one of the participants is organiser, PC chair, or similar (not just PC member). * Reiner Hähnle was co-PC chair of IJCAR 2010 * Radu Calinescu was PC co-chair of ICECCS 2010 (http://web.comlab.ox.ac.uk//ICECCS2010/), Monterey 2010 (http://www.montereyworkshop.org/home.html); advisory committee co-chair of ADAPTIVE-2010 (http://www.iaria.org/conferences2010/ADAPTIVE10.html), ICAS-2010 (http://www.iaria.org/conferences2010/ICAS10.html), ADAPTIVE-2011 (http://www.iaria.org/conferences2011/ADAPTIVE11.html), ICAS-2011 (http://www.iaria.org/conferences2011/ICAS11.html); co-organiser of a 2011 Cloud Computing Summer School (https://sites.google.com/site/cloudcomputingsummerschool2011/) ===== 4) Planned Joint Projects ===== Joint activities by participants from different institutions to apply for new projects, even not approved yet or even unsuccessful ===== 5) Standardization Initiatives and Competitions ===== ===== 6) Coverage in press =====