Concepedia

Libor Waszniowski

LW

Statistics

Publications

4

Citations

118

H-Index

4

Active since

2005

Affiliations

Czech Technical University in Prague(Current)

Libor Waszniowski is an author at Czech Technical University in Prague specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringSystems EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationReal-time SystemsDistributed SystemsComputer EngineeringAutomation

Publications per year

2005–2011

4

Publications

4

Formal verification of multitasking applications based on timed automata model

Libor Waszniowski, Zdeněk Hanzálek · Real-Time Systems · 2007 · 58 citations

Logical Automaton, Engineering, Runtime Verification +14

Case study on distributed and fault tolerant system modeling based on timed automata

Libor Waszniowski, Jan Krákora, Zdeněk Hanzálek · Journal of Systems and Software · 2009 · 28 citations

Tolerant System, Engineering, Fault-tolerant Network +12

Timed automata approach to real time distributed system verification

Jan Krákora, Libor Waszniowski, Pavel Píša et al. · 2005 · 20 citations

Engineering, Real-time System Design, Verification +16

Aircraft Control System Validation via Hardware-in-the-Loop Simulation

Libor Waszniowski, Zdeněk Hanzálek, Jiří Doubrava · Journal of Aircraft · 2011 · 12 citations

Control System Engineering, Engineering, Hardware-in-the-loop Simulation +15

1–4 of 4