Seminars

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

Selected Past Talks

  • 2024-09-20 - Sangita De - Design Approach to Unified Service API Modelling for Semantic Interoperability of Cross-enterprise Vehicle Applications (rehearsal for the Ph.D. defense)
  • 2024-04-05 - David Kůta, Jan Hinterholzinger - Presentation of Diploma Thesis for KIV/OKS and KIV/WEB Subjects
  • 2024-03-15 - Bohuslav Šimek - Register and Stack Virtual Machines
  • 2024-03-01
    • Martin Vítek - Component Models and Architectures
    • Martin Brožek - Comparative Analysis of Granularity Optimization Approaches
  • 2023-03-24 - Ondřej Hála, Jan Hošek, Václav Kubovec - Robot Framework @ Leuze - RF for Automated Sensors Testing
  • 2023-03-03 - Lukáš Holý - DevOps and ValueStream Management
  • 2022-05-27 (for ZF)
    • Petr Pícha - Software Process Anti-pattern Detection
    • Richard Lipka - Automated Testing
    • Pavel Herout - TbUIS - Development, Current State, and Possibilities
  • 2022-05-20 - Lukáš Slavíček - A Tool for the Testing of Autotuners
  • 2022-05-13 (for Technical University of Košice)
    • Petr Pícha - Software Process Anti-pattern Detection
    • Richard Lipka - Automated Testing
    • Pavel Herout - TbUIS - Development, Current State, and Possibilities
  • 2022-05-06 - Jiří Masopust - Project PilsenCUBE - the Journey of the University to Space
  • 2022-04-29 - Tomáš Mann (from Unicorn) - Lessons Learned
  • 2022-04-22 - Milan Hotovec - SW Artifacts Dependencies Analysis
  • 2022-03-25 - Pavel Hart, Karel Pavlíček (from ZF) - SW Qualification and Test Environment
  • 2022-03-11
    • Matúš Sulír (from Technical University of Košice) - Integrating Runtime Metadata with Source Code to Faciliate Program Comprehension
    • Sergej Chodarev, Emília Pietriková (from Technical University of Košice) - Analysis of Programs and Knowledge Profiling
  • 2022-03-04 - Lukáš Černý - Assuring Functional Safety for Autonomous Vehicles
  • 2021-12-10 - Pavel Herout, Jan Hinterholzinger, David Kůta - System for Management of Students Project for TSP Subject
  • 2021-05-07
    • Tomáš Potužák - Algorithm for Generation of Complex Test Data for Interface-based Regression Testing of Software Components
    • Richard Lipka - SAC 2021 Track Chair Experience
  • 2021-04-23 - Lukáš Černý - Future in automotive
  • 2021-03-19 - Přemek Brada, Petr Pícha - Towards Data-Based Detection of Project Management Anti-Patterns
  • 2021-03-05 - Richard Lipka - A method for the Automated Generating of the Code-Coverage Ensuring Input Test Data Based on the Control Flow Analysis
  • 2021-02-19 - Pavel Herout - TbUIS Status Report
  • 2021-01-22 - Lukáš Černý - Component Models and Architectures
  • 2020-09-11 - Lenka Kosková Třísková - Laboratory of Applied Informatics NTI TUL - Operation Systems, Linux Distributions, Edge Computing, Embedded Systems, IoT, Systems and Artifical Intelligence Modeling - Research Activities and Cooperation Opportunities
  • 2020-03-13
    • Pavel Herout - Web Application Testing
    • Richard Lipka - Control Flow Analysis
  • 2020-02-28 - Pavel Balda - REXYGEN (Formerly REX) Ecosystem
  • 2020-02-10 - Michal Nykl - Determination of Important Graph Nodes
  • 2019-11-15 - Sangita De - A Model Driven Approach towards Semantic Mapping of Cross-Domain Component Interface for Interoperability of Vehicle Applications
  • 2019-10-11
    • Petr Pícha - Detecting Software Development Process Pattern in Project Data
    • Přemek Brada, Petr Pícha - EuroPLoP Conference Report
  • 2019-09-27 - Pavel Herout - Testbed University Information System
  • 2019-03-15 - Pavel Fidranský - Basics of JavaScript
  • 2019-02-22 - Sangita De - A Semantic Analysis of Interface Description Models of Heterogeneous Vehicle Application Frameworks: An Approach Towards Synergy Exploration
  • 2018-12-11 - Valentino Vranić - Research areas at STU FIIT, Organizational Patterns in Software Development
  • 2018-11-23 - Pavel Herout - Presentation of UIS (What Does It Mean to Thoroughly Test a Web-based Application)
  • 2018-11-02
    • Sangita De - Model transformation of AUTOSAR software components from Classic to Adaptive Platform
    • Sebastian Hönel, Petr Pícha - Linnaeus University, their research and collaboration with ReliSA on project data analysis
  • 2018-10-12
    • Přemek Brada - Current Projects Overview
    • Lukáš Holý, Tomáš Šimandl, Pavel Fidranský - Interactive Multimodal Graph Explorer
  • 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