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 2009
Overview of research in ParaDiSe
The goal of the first 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 21, 2009
ParaDiSe structure and future plans
(Jiří Barnat) - September 28, 2009
Holidays.
- October 5, 2009
ParaDiSe: Quantitative analyses of distributed systems
(Jiří Barnat) - October 12, 2009
ParaDiSe: CUDA accelerated LTL Model Checking
(Milan Češka) - October 19, 2009
Mean-Payoff games
(Jakub Chaloupka) - October 26, 2009
ParaDiSe: CoIn Project
(Nikola Beneš) - November 2, 2009
ParaDiSe: I/O Efficient MC
(Pavel Šimeček) - November 9, 2009
EC-MOAN project
(Jana Fabriková)
Counterexample interpretation
- November 16, 2009
Thomas Ball, Mayur Naik, Sriram K. Rajamani: From Symptom to Cause: Localizing Errors in Counterexample Traces
(Tomáš Janoušek) - November 23, 2009
HoonSang Jin, Kavita Ravi, Fabio Somenzi: Fate and free will in error traces
(Petr Bauch)Tsutomu Kumazawa, Tetsuo Tamai: Iterative Model Fixing with Counterexamples
(Mária Svoreňová) - November 30, 2009
Alex Groce, Willem Visser: What Went Wrong: Explaining Counterexamples
(Jan Láník) - December 7, 2009
Matthias Schmalz, Daniele Varacca, Hagen Völzer: Counterexamples in Probabilistic LTL Model Checking for Markov Chains
(Filip Štefaňák)
Special DiVinE track
followed by Christmas breakfast in ParaDiSe- December 14, 2009
ParaDiSe: DiVinE Model Checker
(Petr Ročkai)