MEMICS
MEMICS
Annual Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
 
organized jointly by the Masaryk University
and the Brno University of Technology, Czechia
2012
2011
2010
2009
2008
2007
NEWS
 
October 14—16, 2011    My Hotel    Lednice    Czech Republic
 

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

 
 
MEMICS Photo
 
MEMICS
 
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2011
FIFIT
Photos and Design