COST Report 2011

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

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 (
  • Peter Habermehl, Lukas Holik, Jiri Simacek, Adam Rogalewicz, and Tomas Vojnar. Forest Automata for Verification of Heap Manipulation. In Proc. of 23rd International Conference on Computer Aided Verification—CAV'11, to appear in LNCS, Springer-Verlag, 2011.
  • Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, and Tomas Vojnar. Programs with Lists are Counter Automata. Formal Methods in System Design, 38(2):158–192, Springer-Verlag, 2011.
  • Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic: Types for role based access control of dynamic web data. WFLP'10 invited talk, Lecture Notes in Computer Science 6559: 1-29, Springer-Verlag (2011).

Projects related to the topic of the Action (not restricted to joint projects).

  • SEMACODE (Stratégies d'Évaluation, Machines Abstraites et COntrôle DElimité) INRIA Associate Team Project (Hugo Herbelin, Silvia Ghilezan)

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
  • Roderick Bloem is a Chair for Austrian Rigorous Systems Engineering Society
  • Roderick Bloem is a Chair for FMCAD 10
  • Ilkka Niemelä is a PC Chair of JELIA 2010 (12th European Conference on Logics in Artificial Intelligence)
  • Silvia Ghilezan is a Conference Chair of he 6th Federated Conference on Rewriting, Deduction and Programming - RDP 2011 (

Joint activities by participants from different institutions to apply for new projects, even not approved yet or even unsuccessful

  • A planned Czech-French Barrande project on advanced techniques of symbolic program verification between L. Holik, A. Rogalewicz, and T. Vojnar (FIT BUT, Brno, Czech Republic), T. Touili, P. Habermehl (LIAFA, Paris, France), and R. Iosif (VERIMAG, Grenoble, France).