Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272) Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281) Database Workload Managemen (Dagstuhl Seminar 12282)

Alan Bundy, Dieter Hutter, Cliff Jones, J Strother, Moore, Peter Feiler, Jérôme Hugues, Oleg Sokolsky, Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Verissimo (+7 others)
2012 AI meets Formal Software Development (Dagstuhl Seminar 12271) Structure Discovery in Biology: Motifs, Networks & Phylogenies   unpublished
fatcat:4g7nsluecnbhfcinkvtwwt5ate