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 2013
- September 23, 2013
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model
(Vojtěch Havel) - September 30, 2013
On Combination of Explicit and Symbolic Model Chkecking
(Petr Bauch) - October 7, 2013
POMDPs as Games - Survey
(Mária Svoreňová) - October 14, 2013
Exploring Parameter Space of Stochastic Biochemical Systems using Quantitative Model Checking
(Milan Češka, SyBiLa) - October 21, 2013
Towards Verification of Ensemble-Based Component Systems
(Nikola Beneš) - October 28, 2013
CANCELLED
- November 4, 2013
Abusing Templates
(Vladimír Štill) - November 11, 2013
Resizeable Lock-Free Hash Table
(Jiří Weiser) - November 19, 2013
Verifying NSCD Program with DiVinE
(Milan Lenčo) - November 25, 2013
Flying with Embedded Systems
(Peter Bezděk) - December 2, 2013
Flying with Embedded Systems
(Peter Bezděk) - December 9, 2013
Flying with Embedded Systems
(Peter Bezděk) - December 16, 2013
ParaDiSe Christmas breakfast