Presentations
List of accepted presentations
- Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecny and Tomas Vojnar, Automatic Verification of Integer Array Programs
- Martin Novotny, COPACOBANA-Assisted Cryptanalysis of GSM Communication
- Martin Straka and Zdenek Kotasek, Reliability Models for Fault Tolerant Architectures Based on FPGA
- Patricia Bouyer and Vojtech Forejt, Reachability in Stochastic Timed Games
- Tomas Brazdil, Vaclav Brozek, Kousha Etessami, Antonin Kucera and Dominik Wojtczak, One-Counter Markov Decision Processes
- Roland Dobai and Elena Gramatová, Deductive Fault Simulation for Asynchronous Sequential Circuits
- Alarico Campetelli, Alexander Gruler, Martin Leucker and Daniel Thoma, Don't know for Multi-Valued Systems
- Nikola Benes, Jan Kretinsky, Kim G. Larsen and Jiri Srba. Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
- Vaclav Simek and Radim Dvorak, GPU Accelerated Solver of Time-Dependent Air Pollutant Transport Equations
- Jiri Kur, Vashek Matyas and Petr Svenda, Evolutionary design of attack strategies
- Jiri Barnat, Lubos Brim, Milan Ceska and Tomas Lamr, CUDA accelerated LTL Model Checking (presentation)
- Tomas Brazdil, Vojtech Forejt, Jan Krcal, Jan Kretinsky and Antonin Kucera, Continuous-Time Stochastic Games with Time-Bounded Reachability
- Zdenek Buk, Jan Koutnik and Miroslav Snorek, NEAT Substituted with Genetic Programming
- Stefan Göller, Richard Mayr and Anthony Widjaja To, On the Computational Complexity of Verifying One-Counter Processes
- Ahmed Bouajjani, Cezara Dragoi, Constantin Enea and Mihaela Sighireanu, A Logic-based Framework for Reasoning about Composite Data Structures
- Tomáš Gavenčiak, Cop-Win Graphs and Capture-Time
- Petr Slovak, Pavel Troubil and Petr Holub, GColl: A Flexible Videoconferencing Environment for Group-to-Group Interaction
- Nikola Benes, Lubos Brim, Ivana Cerna, Jiri Sochor, Pavlina Varekova and Barbora Buhnova, Partial Order Reduction for State/Event LTL
- Petr Mikusek and Vaclav Dvorak, Heuristic Synthesis of MTBDDs Based on Local Width Minimization
- Zbynek Michlovsky, Shaoning Pang and Nik Kasabov, String Kernel Based SVM for Internet Security Implementation
- Frédéric Haziza, Model-Checking Race-Freeness