MEMICS
MEMICS
Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
 
organized jointly by the Masaryk University
and the Brno University of Technology, Czechia
2014
NEWS
 
December 21, 2014
MEMICS 2015
We are glad to invite you to MEMICS 2015.
November 21, 2014
Best paper awards
Best papers announced.
MAIN FACTS
MEMICS IN BRIEF
INVOLVEMENT
IMPORTANT DATES
PROGRAMME
INVITED SPEAKERS
PASTIME
SOCIAL EVENTS
LIST OF PARTICIPANTS
LOCALE
VENUE
MAP
October 17—19, 2014    University Centre    Telc    Czech Republic
 

Presentations
  • Jaroslav Borecký, Pavel Vít, and Hana Kubátová
    Fault Recovery Method with High Availability for Practical Applications
  • Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelík, Vojtěch Forejt, Jan Křetínský, Marta Kwiatkowska, David Parker, and Mateusz Ujma
    Verification of Markov Decision Processes using Learning Algorithms
  • Krishnendu Chatterjee, Martin Chmelík, and Przemyslaw Daca
    CEGAR for Qualitative Analysis of Probabilistic Systems
  • Javier Esparza and Jan Křetínský
    From LTL to Deterministic Automata: A Safraless Compositional Approach
  • Jakub Gajarský
    Faster Existential FO Model Checking on Posets
  • Lukáš Holík, Ondřej Lengál, Adam Rogalewicz, Jiří Šimáček, and Tomáš Vojnar
    Fully Automated Shape Analysis Based on Forest Automata
  • Vendula Hrubá, Bohuslav Křena, Zdeněk Letko, Hana Pluháčková, and Tomáš Vojnar
    Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software
  • Pavel Jancik, Jan Kofroň, Simone Fulvio Rollini, and Natasha Sharygina
    On Interpolants and Variable Assignments
  • Adam Kilgarriff, Miloš Jakubíček, Vojtěch Kovář, Pavel Rychlý, and Vít Suchomel
    Finding Terms in Corpora for Many Languages
  • Tereza Klimošová and Daniel Král
    Hereditary properties of permutations are strongly testable
  • Zuzana Nevěřilová
    Paraphrase and Textual Entailment Generation in Czech
  • Petr Novotný
    Minimizing Running Costs in Consumption Systems
  • Jakub Podivinsky and Zdenek Kotasek
    Testing Fault-Tolerance Methodologies in Electro-mechanical Applications
  • Moritz Sinn, Florian Zuleger, and Helmut Veith
    A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis
  • Mária Svoreňová, Ivana Černá, and Calin Belta
    Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties
  • Šimon Tóth and Dalibor Klusáček
    Understanding the Importance of Interactions among Job Scheduling Policies

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