Paweł Głuchowski, PhD
E-mail: pawel.gluchowski@pwr.edu.pl
Unit: Faculty of Information and Communication Technology (N) » Department of Computer Engineering
ul. Z. Janiszewskiego 11/17, 50-372 Wrocław
building C-3, room 313
phone +47 71 320 2740
Research fields
- Temporal logic; deontic logic; timed automata; safety analysis of transportation systems.
Recent papers
2016
- Głuchowski P., NuSMV model verification of an airport traffic control system with deontic rules. W: Advences in Intelligent Systems and Computing 470: Dependability of Computer Systems DepCos-RELCOMEX’16, red. W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, J. Kacprzyk, strony 195-206. Springer, 2016.
2009
- Głuchowski P., Languages of CTL and RTCTL calculi in real-time analysis of a system described by a fault tree with time dependencies. W: Dependability of Computer Systems DepCos-RELCOMEX’09, red. W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, strony 33-41. IEEE Computer Society, 2009.
2007
- Głuchowski P., Duration calculus for analysis of fault trees with time dependencies. W: Dependability of Computer Systems DepCos-RELCOMEX’07, red. W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, strony 107-114. IEEE Computer Society, 2007.