Presentations
List of accepted presentations
- Petr Pospíchal, Michael O'Neill, Josef Schwarz, Eion Murphy and Jiri Jaros. Acceleration of Grammatical Evolution Using Graphics Processing Units
- Martin Čermák and Alexander Meduna. n--Accepting Restricted Pushdown Automata Systems
- Peter Habermehl, Lukas Holik, Adam Rogalewicz, Jiri Simacek and Tomas Vojnar. Forest Automata for Verification of Heap Manipulation
- Robert Ganian, Petr Hlineny and Jan Obdrzalek. Clique-width: When Hard Does Not Mean Impossible
- Jiri Barnat, Petr Bauch, Lubos Brim and Milan Ceska. Computing Strongly Connected Components in Parallel on CUDA (presentation)
- Jiri Kur, Vashek Matyas, Andriy Stetsko and Petr Svenda. Attack detection vs. privacy - How to find the link or how to hide it?
- Pavol Korcek, Lukas Sekanina and Otto Fucik. A Scalable Cellular Automata based Microscopic Traffic Simulation
- Zdenek Vasicek and Lukas Sekanina. Evolutionary Optimization of Complex Digital Circuits
- Jan Samek, Ondrej Malacka, Frantisek Zboril and Frantisek Zboril. Decision Making and Recommendation Protocol Based on Trust for Multi-Agent Systems
- Lukáš Ďurfina, Jakub Kroustek, Petr Zemek, Dušan Kolář, Tomáš Hruška, Karel Masarik and Alexander Meduna. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis
- Madara Augstkalne, Anda Berina and Rusins Freivalds. Frequency computable relations
- Jan Krcal and Jan Kretinsky. Fixed-delay Events in Generalized Semi-Markov Processes Revisited
- Stanislav Böhm. Language equivalence of deterministic real-time one-counter automata is NL-complete
- Pavel Bartoš, Zdeněk Kotásek and Jan Dohnal. Decreasing Test Time by Scan Chain Reorganization
- Petr Hlineny and Ondrej Moriš. Scope-Based Route Planning
- Pavel Troubil and Hana Rudová. Cycle Avoidance in Integer Programming for Media Streams Planning
- Kamil Dudka, Petr Peringer and Tomas Vojnar. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic
- Jakob Zwirchmayr, Laura Kovacs and Jens Knoop. A deeper Evaluation of WCET Analysis using Symbolic Loop Bounds
- Jiří Balcárek, Petr Fišer and Jan Schmidt. Implicit Techniques for Constrained Test Patterns Generation
- Martin Chloupek and Ondřej Novák. Test Pattern Compression Based on Pattern Overlapping and Broadcasting
- Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna and Jiri Barnat. Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement (Presentation)