9:15 – 10:45: Software engineering and formal methods
(Oral presentations, chair – Anna Derezi??ska)

1. MD Wizard – a Model-Driven Framework for Wizard-Based Modeling Guidance in UML Tools.
   Darius Silingas, Saulius Pavalkis, Aurelijus Morkevicius
   
   
2. Visual data flow languages with action systems.
   Maija Marttila-Kontio, Mauno Rönkkö, Pekka Toivanen
   
   
3. Comparing EM3: Predelivery Maintenance Model with its Industrial
   Correspondence.
   Ahmad Salman Khan, Mira Kajko-Mattsson, Tommy Tyrberg
   
   
4. Partial Jacobian Computation in the Domain-specific Program Transformation System ADiCape.
   Monika Petera, Michael Luelfesmann, H. Martin Buecker
   
   
5. Passive Construction of Diagnostic Decision Models: An Empirical Evaluation.
   Parot Ratnapinda, Marek Druzdzel

14:30 – 15:15: System dependability and performance evaluation
(Oral presentations, chair – Anna Derezi??ska)

1. An Experimental Case Study to Applying Mutation Analysis for SQL Queries.
   Anna Derezinska
   
   
2. New Multi-Core Intel Xeon Processors help design Energy Efficient Solution for High Performance Computing.
   Pawe?? Gepner, David L. Fraser, Michal Filip Kowalik
   
   
3. Collecting program execution statistics with Qemu processor emulator.
   S??awomir Chy??ek