Differences
This shows you the differences between two versions of the page.
report2012 [2011/04/30 18:36] vkuncak created |
report2012 [2011/04/30 19:10] (current) vkuncak |
||
---|---|---|---|
Line 9: | Line 9: | ||
Joint publications by authors from different participating institutions: | 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 ===== | ===== 2) Participant's Non-Joint Projects ===== | ||
Projects related to the topic of the Action (not restricted to 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) ===== | ===== 3) Events (workshops, conferences) ===== | ||
Line 38: | Line 19: | ||
the participants is organiser, PC chair, or similar (not just PC member). | the participants is organiser, PC chair, or similar (not just PC member). | ||
- | * Reiner Hähnle was co-PC chair of IJCAR 2010 | + | * VMCAI 2012 |
- | + | ||
- | * 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 ===== | ===== 4) Planned Joint Projects ===== | ||
Line 46: | Line 25: | ||
Joint activities by participants from different institutions to apply | Joint activities by participants from different institutions to apply | ||
for new projects, even not approved yet or even unsuccessful | for new projects, even not approved yet or even unsuccessful | ||
+ | |||
+ | * FET | ||
+ | * ERC | ||
===== 5) Standardization Initiatives and Competitions ===== | ===== 5) Standardization Initiatives and Competitions ===== |