Seminars
Members of the DSS group will meet regularly every second monday at 13:00 in the UL408. The purpose of these meetings is to improve cooperation among the group members and also to share knowledge acquired in individual projects. Every meeting, there will be a presentation by one group member. So far the following presentations are scheduled:
Planned seminars
Older seminars
- 2012-01-23: Certifiable Chip Design (DO-254) and Verification of Time-Triggered Ethernet End System and Switch by Petr Grillinger
- 2012-01-16: Model-based Design of Physical systems [PDF] by Julius Hudec
- 2011-11-28: The Palladio Component Model (PCM) for Performance and Reliability Prediction of Component-based Software Architectures [PPT] by Franze Brosche (FZI Karlsruhe)
- 2011-11-21: Language-Neutral AOP [PDF] by Jan Tichava
-
2011-11-14:
- Component-based Simulation Framework for Tesing of Software Components [PPT] by Tomáš Potužák
- Testing of Component-based Application [PPTX] by Richard Lipka
- 2011-04-27: Procasor toolset (D3S/MFF) by Viliam Šimko
- 2011-04-21: EFP Registries and Their Implementation [PDF] by Kamil Ježek
- 2011-04-04: An Approach to Science Research at Universitat Jaume I [PPTX] by Vicente R. Tomás López
- 2011-03-21: ENT: A Generic Meta-Model for the Description of Component-Based Applications [PPTX] by Jaroslav Šnajberk
- 2011-03-07: Scenario-based Methodology for Comparison of the Software Traffic Control Agents [PPTX] by Richard Lipka
- 2011-02-21: How to improve precision of steel strip speed measurement [PDF] by Ivan Puchr
-
2011-01-31:
- Úložiště komponent podporující kontroly kompatibility (intro) [PDF] by Přemysl Brada
- Úložiště komponent podporující kontroly kompatibility [PDF] by Jiří Kučera
- 2010-11-22: Generovaný C kód s dokázanými vlastnostmi definovanými v lineární temporální logice [PDF] by Marek Paška
- 2010-11-22: Model-Based Integration Testing [PPT] by Jaroslav Šnajberk, Tomáš Potužák, Richard Lipka
- 2010-11-22: The Future of the KIV/VSP Subject Discussion by Stanislav Racek + everyone
- 2010-10-25: Model-Based Integration Testing [PPTX] [PDF] by Michael Steindl
- 2010-09-20: Implementation of a Data Layer for Visualization of Component-Based Applications [PPTX] by Jaroslav Šnajberk
- 2010-06-01: Intorduction to SpringDM [PPTX] by Jaroslav Šnajberk
-
2009-12-07:
- SOFA 2 Component Model [ODP] by Tomáš Bureš
- Automated Verification of Software [PPT] by Ondřej Šerý
- 2009-11-03: Rehearsals for Doctoral Thesis Defense by Jana Hájková and Tomáš Potužák
- 2009-10-05: KIV & Kerio Cooperation Meeting by Jan Ježek
-
2009-06-25:
- KIVFS/KIVDFS [PDF] by Luboš Matějka
- KIVFS: Replikace a synchronizace [PDF] by Michal Junák
- KIVFS: Zabezpečení, šifrování a ověření indentity [PDF] by Marek Pivnička
- KIVFS: Úložiště dat [PDF] by Radek Strejc
- KIVFS: Windows klient [PDF] by Václav Steiner
-
2009-06-01:
- What are components, anyway? [PDF] by Jaroslav Bauml
- Are they really black box? [PDF] by Přemek Brada
- How much is MVE a component model? [PDF] by Kamil Ježek
- 2009-05-13: Generative Programming with Support for Formal Verification [PDF] by Marek Paška
- 2009-04-22: System for Comparison of Traffic Control Agents' Performance [PPT] by Richard Lipka
- 2009-04-08: Methods for Laser Burning Data Preprocessing: Parameterization of Pulses [PPT] by Jana Hájková
-
2008-12-08:
- Luminis visit report [PDF] by Jaroslav Bauml
- Interpersonal Trust Model [PPT] by Arnoštka Netrvalová
- 2008-11-24: Generative Programming for Embedded Devices [PDF] by Marek Paška
- 2008-11-10: Methods for Reduction of Inter-Process Communication in Distributed Simulation of Road Traffic [PPT] by Tomáš Potužák
- 2008-10-27: Comparison of Different Traffic Control Methods [PDF] by Richard Lipka
- 2008-10-13: Robustness in Real-Time Systems by Václav Mikolášek
- 2008-07-18 (Friday) 13:00: A Classification Framework for Component Models by Ivica Crnkovic, Mälardalen University, Sweden
- 2008-05-26: Rehearsals for Doctoral Thesis Defense by Tomáš Koutný
-
2008-05-12: Rehearsal for SVK by master degree students:
- Smart Active Node [PDF] by Michal Rejda
- Checking of the Component Substitutability in OSGi Platform [PDF] by Jaroslav Bauml
-
2008-04-28:
- Robustness in Real-Time Systems [PDF] by Václav Mikolášek
- SOFA 2 Component Model [PDF] by Petr Hnětynka - DSRG MFF UK
- Modelling and Verification of the Component Behaviour [PDF] by Pavel Parízek - DSRG MFF UK
- 2008-04-14: Experiences from the UKSim 2008 Conference [PPT] by Richard Lipka and Tomáš Potužák
- 2008-03-31: Component-Based Simulation Frameworks [PDF] by Petr Zelenka
- 2008-03-17: Communication Protocol for Distributed Traffic Simulation [PPT] by Tomáš Potužák
- 2008-03-03: Human Trust Modeling and Simulation [PPT] by Arnoštka Netrvalová
- 2008-02-19: Load Redistribution in Heterogeneous Environment [PDF] by Tomáš Koutný
- 2008-02-04: OSGi, COSi and Component Verification [PDF] by Přemek Brada
- 2007-12-17: Laser Simulation [PPT] by Jana Hájková
- 2007-12-03: Network Anomalies Detection [PDF] by Petr Dvořák
- 2007-11-19: Consistency Verification of Component-Based Applications [PPT] by Přemek Brada
- 2007-11-05: JUTS - Java Urban Traffic Simulator [PPT] by Richard Lipka
- 2007-10-22: Distributed Simulation - some experience [PDF] by Petr Zelenka
- 2007-10-08: Ruby - Philosophy and Features [PDF] by Marek Paška
- 2006-05-22: ENT Metamodel Implementation & Applications [PPT] by Lukáš Valenta
- 2006-04-24: Presentation of Master Theses (all supervised by Martin Šimek)
- Databáze pro MAS by Peter Krejzl
- Bezpečná komunikace v agentních systémech by Radim Bártů
- Integrace agent a Web Services by Jan Krňoul
- 2006-04-19: Experiences from Opera Software by Robert Kačírek
- 2006-03-27: Introductory seminar by all DSS members
- 2005-11-28: Mobile Grids [PDF] by Ladislav Pešička
- 2005-11-28: Variable Resolution Modeling in Agent-Based Simulation [PPT] by Jan Klír
- 2005-10-31: On Test Coverage [PDF] by Jiří Patera
- 2005-10-17: Architecture of the Network for Model-Based Development of Java Distributed Applications for Embedded Devices [PPT] by Cesar Allain
- 2005-10-03: Introductory seminar by All members including the new members
- 2005-05-16: Modelování EJB komponent [PPT] by Lukáš Valenta
- 2005-05-02: Linuxové clustery [PDF] by Luboš Matějka
- 2005-04-18: Performance of Load-Balancing Method in the Environment of Active Networks [PDF] by Tomáš Koutný
- 2005-04-04: Computational Grids and Grids Projects [PPT] by Ladislav Pešička
- 2005-03-21: Using a Simple Rendez-Vous Mechanism in Java [PPT] by Joao Duarte
- 2005-03-07: File Sharing in P2P Networks [PDF] by Jiří Kajaba
- 2004-12-13: Evaluation of DSS Research and Academic Activities in 2004 [JPG] by all DSS members :-) (Photo by Atreides)
- 2004-11-29: Progression in the JUTS Project [PPT] by David Hartman
- 2004-11-15: Testing Multithreaded Programs by Lukáš Petrlík
- 2004-11-01: Inside Active Network Node [PDF] by Tomáš Koutný
- 2004-10-22: A joint seminar of DSS and prof. Plášil group from UK-MFF.
- Behavior Protocols and Behind [PDF] by František Plášil (UK-MFF)
- Erroneous Architecture Is a Relative Concept; Incomplete Binding [PDF] by Jiří Adámek (UK-MFF)
- Behavior Protocols – Hands on Experience with the Real-Life Project SPEEDO [PDF] by Viliam Holub (UK-MFF)
- JiJ Simulator – Testing Java Concurrent Software [PDF] by Jaroslav Kačer (ZČU-FAV-KIV-DSS)
- Interaction Model of Grid Services [PPT] by Ladislav Pešička (ZČU-FAV-KIV-DSS)
- 2004-10-18: First Look at the Rate Monotonic Analysis [PDF] by Jaroslav Kačer
- 2004-05-17: Testing Java Concurrent Software for Embedded Devices [PDF] by Jaroslav Kačer
- 2004-05-03: A General Testing Application for Embedded Systems [PPT] by Pavel Čírtek
- 2004-04-19: Testing Multithreaded Programs [PDF] by Lukáš Petrlík
- 2004-04-07: Simulation as Software Engineering Tool [PDF] by Přemek Brada at MFF/UK
- 2004-04-05: P-Sim Model of TTP/C C2 Controller [PDF] by Petr Grillinger
- 2004-03-22: Introduction to Python and P-Sim Tool [PDF] by Petr Grillinger
- 2004-02-23: Specification and Design of Parallel Systems [PDF] by Tomáš Koutný
- 2004-02-09: Evaluation of Precission of Statistical Methods [PPT] by David Hartman
- 2004-01-12: Distributed Systems Design – State of the Art by Ladislav Pešička
- 2003-12-01: Last seminar in 2003. Discussion about this year's conferences: experiences, interresting people, ideas, places, etc.
- 2003-11-24: Interactive Parallel & Distributed Simulation [PPT] by Jan Klír
- 2003-11-03: Distributed Systems Debugging [PPT] by Jiří Patera
- 2003-10-20: Water Flowing Model for Load-Balancing in the Environment of Active Networks [ PDF, PPT ] by Tomáš Koutný
- 2003-10-09: Preliminary presentation of Ph.D. Thesis by Jan Valdman
- 2003-09-29: Preliminary presentation of Ph.D. Thesis by Jan Rovner
- 2003-06-02:
- 13:00 – Preliminary presenation of selected MSc. Theses: Pavel Sém, Václav Strnad, David Hartman, Pavel Čírtek
- 15:00 – Jan Valdman : Information Portals
- 16:00 – Roman Jokl : High Level Architecture
- 2003-05-12: J-Sim Urban Traffic Simulator [PPT] by David Hartman
- 2003-04-14: Observation and Control of Multithreaded Java Program Execution [Zipped PNGs] by Jaroslav Kačer
- 2003-04-07: Component Change and Version Identification [PPT] by Přemysl Brada. Continued from previous seminar
- 2003-03-24: Component Change and Version Identification [PPT] by Přemysl Brada
- 2003-03-10: Fault Injection Tool [PPT] by Pavel Čírtek
- 2003-02-24: Verification of FT Systems Using Simulation [PPT] by Petr Grillinger
- 2003-02-10: New Version of C-Sim – 5.0 [PPT] by Roman Jokl
![Evaluation of DSS Research and Academic Activities in 2004 [JPG]](http://www.kiv.zcu.cz/research/groups/dss/download/presentation-2004-12-13.jpg){kind=link}
— By Tomáš Potužák on 23 leden 2012
Related
Members A Classification Framework for Component Models (seminar abstract)