Annual Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
organized jointly by the Masaryk University
and the Brno University of Technology, Czechia
2011
2010
2009
2008
2007
2006
/
2005
NEWS
January 6, 2010
Photos
Have a look at MEMICS 2009
photos
.
December 23, 2009
DROPS
Selected MEMICS'09 papers have just appeared in a distinguished workshop
postproceedings
published by Dagstuhl Research Online Publication Server DROPS.
Read past news
MAIN FACTS
MEMICS IN BRIEF
CALL FOR PAPERS
CONFERENCE POSTER
BEST PAPERS AWARDS
PROCEEDINGS
INVOLVEMENT
IMPORTANT DATES
INSTRUCTIONS FOR AUTHORS
REGISTRATION
ACCOMMODATION
PROGRAMME
INVITED SPEAKERS
COMMITTEES
TALK SCHEDULE
REGULAR PAPERS
PRESENTATIONS
PASTIME
SOCIAL EVENTS
LIST OF PARTICIPANTS
PHOTOGALLERY
LOCALE
VENUE
TRAVEL INSTRUCTIONS
CONTACT US
November 13—15, 2009
•
Prestige Hotel
•
Znojmo
•
Czechia
Photogallery
Social Events
|
Nov 15
|
Nov 14
|
Nov 13
|
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