ParaDiSe Seminar
The ParaDiSe Seminar is a working forum for the presentation of ongoing and finished research in the areas related to the specification, modelling, analysis, and verification of software systems.
The meetings are held on Thursday at the Faculty of Informatics, Masaryk University, starting at 12:00.
Seminar Programme — Autumn 2010
Overview of research in ParaDiSe
The goal of this part of the seminar is to let ParaDiSe research groups introduce problems they are working on, describe their current research goals and research achievemnts, and summarize contents of their recent publications.
- September 20, 2010
ParaDiSe structure, ParaDiSe Seminar Intro
- September 27, 2010
Cancelled.
- October 4, 2010
Partial Order Reduction with Topological Sort Proviso (SEFM 2010)
(Petr Ročkai) - October 11, 2010
Emplying multiple CUDA devices for LTL MC (ICPADS 2010 + MEMICS 2010)
(Milan Češka) - October 18, 2010
Parameter Scanning by Parallel Model Checking with Applications in Systems Biology (HiBi 2010)
(David Šafránek) - October 25, 2010
Control Synthesis (CDC 2010 + CDC 2010)
(Jana Tůmová) - November 1, 2010
Partially Observable Transision Systems (ICRA 2010 ???)
(Mária Svoreňová) - November 8, 2010
Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P (RP 2010)
(Jakub Chaloupka) - November 15, 2010
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete (ICTAC 2009)
(Nikola Beneš) - November 22, 2010
Almost Linear Büchi Automata (CoRR abs/0911.2033)
(Tomáš Babiak) - November 29, 2010
Cancelled
- December 6, 2010
iFEST Project
Christmas Breakfast in ParaDiSe
- December 17, 2010 10:00 (C408)