YOUR BROWSER IS OUT-OF-DATE.

We have detected that you are using an outdated browser. Our service may not work properly for you. We recommend upgrading or switching to another browser.

Sign in

 

Faculty of Computer Science and Management

Paweł Głuchowski, PhD

Email: 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.

Papers in DONA database

Politechnika Wrocławska © 2024