L
Libor Waszniowski
Researcher at Czech Technical University in Prague
Publications - 13
Citations - 169
Libor Waszniowski is an academic researcher from Czech Technical University in Prague. The author has contributed to research in topics: Model checking & OSEK. The author has an hindex of 7, co-authored 13 publications receiving 159 citations.
Papers
More filters
Journal ArticleDOI
Formal verification of multitasking applications based on timed automata model
TL;DR: It is shown that the model-checking approach provides less pessimistic results due to a more detailed model and exhaustive state-space exploration.
Journal ArticleDOI
Case study on distributed and fault tolerant system modeling based on timed automata
TL;DR: This article presents the modeling of a distributed fault-tolerant real-time application by timed automata, which reduces the size of the state-space by sharing clocks measuring the execution time of the tasks.
Proceedings ArticleDOI
Timed automata approach to real time distributed system verification
TL;DR: A distributed real-time application modelling by timed automata model containing more crucial details of the system behavior with respect to classical approaches to the response time analysis is proposed, and the model checking approach provides less pessimistic results in many cases.
Book ChapterDOI
Analysis of Real Time Operating System Based Applications
TL;DR: This text is dedicated to modelling of real-time applications running under multitasking operating system that can be modelled by timed automata and further verified since their reachability problem and model checking of TCTL problem is decidable.
Journal ArticleDOI
Aircraft Control System Validation via Hardware-in-the-Loop Simulation
TL;DR: This Note extends the previous work by describing the next level of the validation process in which the YDC and actuators have been embedded into the aircraft where the interaction with the mechanical control system is validated by the HIL simulation.