2009
NEWS
January 6, 2010
Photos
Photos
Have a look at MEMICS 2009 photos.
December 23, 2009
DROPS
DROPS
Selected MEMICS'09 papers have just appeared in a distinguished
workshop postproceedings
published by Dagstuhl Research Online Publication Server DROPS.
November 13—15, 2009 • Prestige Hotel • Znojmo • Czechia
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
•
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2009
Photos and Design
