MEMICS 2011

	Room A	Room B
	Invited Talk, Chair: Tomáš Vojnar
9:00-10:00	Saddek Bensalem Rigorous Component-based System Design Using the BIP Framework
10:00-10:30	Coffee Break
	Program analysis Chair: Saddek Bensalem	Formal Languages 2 Chair: Rusins Freivalds
10:30-10:55	Jan Obdržálek, Jiří Slabý and Marek Trtík STANSE: Bug-finding Framework for C Programs	Monika Krausová Prefix-Free Languages: Closure Properties, Difference, and Left Quotient
10:55-11:20	Peter Habermehl, Lukáš Holík, Adam Rogalewicz, Jiří Šimáček and Tomáš Vojnar. Forest Automata for Verification of Heap Manipulation	Jiří Koutný, Zbyněk Křivka and Alexander Meduna Pumping Properties of Path-Restricted Tree-Controlled Languages
11:20-11:45	Kamil Dudka, Petr Peringer and Tomáš Vojnar Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic	Roland Cmorik and Galina Jirásková Basic Operations on Binary Suffix-Free Languages
11:45-12:10	Jakob Zwirchmayr, Laura Kovacs and Jens Knoop A Deeper Evaluation of WCET Analysis using Symbolic Loop Bounds	Radomír Polách, Jan Janoušek and Bořivoj Melichar Regular Tree Expressions and Pushdown Automata
12:10-13:30	Lunch
	Computer Security Chair: Petr Hanáček	Planning Chair: Radek Kočí
13:30-13:55	Roman Žilka, Vashek Matyáš and Libor Kyncl Four Authorization Protocols for an Electronic Payment System	Ondrej Moriš and Petr Hliněný Generalized Maneuvers in Route Planning
13:55-14:20	Jiří Kůr, Vashek Matyáš, Andriy Stetsko and Petr Švenda Attack detection vs. privacy - How to find the link or how to hide it?	Petr Hliněný and Ondrej Moriš Scope-Based Route Planning
14:20-14:45	Jan Samek, Ondrej Malačka, František Zbořil and František Zbořil Decision Making and Recommendation Protocol Based on Trust for Multi-Agent Systems	Pavel Troubil and Hana Rudová Cycle Avoidance in Integer Programming for Media Streams Planning
14:45-15:10	Lukáš Ďurfina, Jakub Křoustek, Petr Zemek, Dušan Kolář, Tomáš Hruška, Karel Masařík and Alexander Meduna Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis	Dalibor Klusáček and Hana Rudová Efficient Data Representation of Large Job Schedules
15:20-15:45	Prizes Announcement, Business Meeting (including information on MEMICS'12), and Closing Ceremony
16:00	Departure, Bus to Brno

•

Photos and Design