Libor Waszniowski

According to our database, Libor Waszniowski authored at least 5 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

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

Libor Waszniowski, Jan Krakora, Zdenek Hanzálek

J. Syst. Softw., 2009

2008

Formal verification of multitasking applications based on timed automata model.

Libor Waszniowski, Zdenek Hanzálek

Real Time Syst., 2008

2007

Integrated Environment for Embedded Control Systems Design.

Roman Bartosinski, Zdenek Hanzálek, Petr Struzka, Libor Waszniowski

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006

Processor Expert Enhances Matlab Simulink Facilities for Embedded Software Rapid Development.

Roman Bartosinski, Zdenek Hanzálek, Libor Waszniowski, Petr Struzka

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2003

Analysis of Real Time Operating System Based Applications.

Libor Waszniowski, Zdenek Hanzálek

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003