Volume 2, Issue 7, July 2012 AI meets Formal Software Development (Dagstuhl Seminar 12271) Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore ................ 1 Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272) Peter Feiler, Jérôme Hugues, and Oleg Sokolsky ................................. 30 Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281) Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Verissimo, and Michael Waidner ......................................................................... 56 Database Workload Managemen (Dagstuhl Seminar 12282) Shivnath Babu, Goetz Graefe, and Harumi Anne Kuno ........................... 73 Structure Discovery in Biology: Motifs, Networks & Phylogenies (Dagstuhl Seminar 12291) Alberto Apostolico, Andreas Dress, and Laxmi Parida ............................ 92 Dagstuhl Reports, Vol. 2, Issue 7 ISSN 2192-5283