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 2012
- September 17, 2012
CANCELLED — PAKOS Camp
- September 24, 2012
Seminar Introduction
- October 1, 2012
On Parallel Software Verification Using Boolean Equation Systems
(Milan Češka, SyBiLa) - October 8, 2012
Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures
(Marcela Šimková, VUT FIT) - October 15, 2012
CANCELLED
- October 22, 2012
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
(Mária Svoreňová) - October 29, 2012
My Research Summary
(Florent Peres) - November 5, 2012
On Using Symbolic Methods in Explicit-State Model Checking
(Petr Bauch) - November 12, 2012
Distributed LTL Model Checking with Hash Compaction
(Jan Havlíček) - November 19, 2012
Towards LTL Model Checking of Unmodified Thread-Based C and C++ Programs
(Petr Ročkai) - November 26, 2012
On Untimed-LTL Model Checking of Real-Time Systems
(Vojtěch Havel) - December 3, 2012
Least-violating Robot Path Planning with LTL Specifications
(Jana Tůmová) - December 10, 2012
Modal Process Rewrite Systems
(Nikola Beneš) - December 17, 2012
ParaDiSe Christmas breakfast