Differences

This shows you the differences between two versions of the page.

Link to this comparison view

report2012 [2011/04/30 16:36] – created vkuncakreport2012 [2011/04/30 17: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 =====