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 2006
The seminar will be mostly devoted to selected papers from international conferences/workshops.- September 18, 2006
S. Edelkamp and S. Jabbar: Large-Scale Directed Model Checking LTL
presented by Pavel Šimeček
- September 25, 2006
Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Safraless Compositional Synthesis
presented by Jakub Chaloupka - October 2, 2006
M. Kwiatkowska, G. Norman, D. Parker: Symmetry Reduction for Probabilistic Model Checking
presented by Pavel Moravec - October 9, 2006
D. Bosnacki: A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction
presented by Bára Zimmerová - October 16, 2006
S. Juvekar, N. Piterman: Minimizing Generalized Büchi Automata
presented by Pavlína Vařeková - October 23, 2006
M. Hammer, M. Weber: "To Store or not to Store" Reloaded: Reclaiming Memory on Demand
presented by Radek Pelánek - October 30, 2006
R. Alur, T. Feder, T. A. Henzinger: The Benefits of Relaxing Punctuality
presented by Jiří Šimša
- November 6, 2006
D. Bader, B. Moret, P. Sanders: Algorithm Engineering for Parallel Computation
presented by Jitka Kudrnáčová - November 13, 2006
K. Chatterjee, M. Jurdzinski, Th. Henzinger: Simple Stochastic Parity Games
presented by Milan Češka and Jana Tůmová - November 20, 2006
Sven Dražan: Verification of Cryptographic Systems
- November 27, 2006
K. Larsen, U. Nyman, A. Wasowski: Interface Input/Output Automata
presented by Nikola Beneš - December 4, 2006
Petr Ročkai
- December 18, 2006
J. van de Pol: Fixed-point Equation Systems
- December 20, 2006 - room B011
J. Srba: Verification of Recursive Ping-Pong Protocols