Seminars

Members of the ReliSA research group will meet regularly every second Friday at 13:00 in the UN309.

Selected Past Talks

  • 2018-06-08 - Přemek Brada - Report from ICSE 2018
  • 2018-04-20
    • Ralf Ramsauer - Quantitative Software Engineering - PaStA
    • Ralf Ramsauer - The Jailhouse Hypervisor
    • Petr Pícha - September - January at OTH Regensburg - Summary
  • 2018-04-06
    • Karel Frajták - Supporting Exploratory Testing by Automated Navigation using the Model of System Under Test
    • Jiří Matyáš, Pavel Herout - University Information System - Application for Testers
  • 2018-03-16
    • Sangita De - Vehicle Domain Interface Description language (VDIDL)
    • Ludwig Thomeczek - Latency behaviour of a hypervisor in an embedded (soft)realtime system
  • 2017-06-30 - Richard Lipka - Automatic Tests [PPTX]
  • 2017-06-14 - Jens Dietrich - On the Construction of Soundness Oracles
  • 2017-05-26 - Tomáš Potužák - Approaches to Road Traffic Network Division [PDF]
  • 2017-05-12 - Lukáš Holý - IGV Expansion Preview
  • 2017-04-28 - Přemek Brada - Information from ICSA 2017
  • 2017-03-31 - Petr Pícha - Rehearsal for SODA Workshop Presentation
  • 2017-03-03 - Tomáš Bureš - Smart Cyber-Physical Systems
  • 2017-01-30 - Miroslav Bureš - Software Testing Approaches
  • 2016-08-24 - Petr Pícha - Rehearsal for SEAA 2016 Presentation
  • 2016-04-14 - Přemek Brada - Information from CSEE&T 2016
  • 2016-03-18 - Tomáš Pitner - CERIT Science Park and Industrial Cooperation in ICT
  • 2016-03-11 - Lukáš Holý - Large Component Diagrams Visualization (rehearsal for the Ph.D. defense)
  • 2016-03-04 - Stephen Kobourov - From Graphs to Maps

Conference presentations