Sunday, October 16, 2011
Room ARoom B
Invited Talk, Chair: Tomáš Vojnar
9:00-10:00Saddek Bensalem
Rigorous Component-based System Design Using the BIP Framework
10:00-10:30Coffee Break
Program analysis
Chair: Saddek Bensalem
Formal Languages 2
Chair: Rusins Freivalds
10:30-10:55Jan 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:20Peter 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:45Kamil 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:10Jakob 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:30Lunch
Computer Security
Chair: Petr Hanáček
Planning
Chair: Radek Kočí
13:30-13:55Roman Ž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:20Jiří 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:45Jan 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:10Lukáš Ď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:45Prizes Announcement, Business Meeting (including information on MEMICS'12), and Closing Ceremony
16:00Departure, Bus to Brno