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

---

1	Monograph chapter 2017 Paweł Głuchowski, Optymalizacja skryptu NuSMV modelującego scenariusz zdarzeń zagrażających bezpieczeństwu na lotnisku. W: Inżynieria oprogramowania i systemy czasu rzeczywistego: od badań do praktycznych zastosowań / red. nauk. Lech Madeyski, Piotr Kosiuczenko, Marek Bolanowski. Warszawa : Polskie Towarzystwo Informatyczne, cop. 2017. s. 123-136. ISBN: 978-83-946253-3-7
2	Proceeding paper 2016 Paweł Głuchowski, NuSMV model verification of an airport traffic control system with deontic rules. W: Dependability Engineering and Complex Systems : proceesings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 27 - July 1, 2016, Brunów, Poland / Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk (eds.). [Cham] : Springer, cop. 2016. s. 195-206. ISBN: 978-3-319-39638-5 Resources:DOISFX
3	Book chapter 2009 Paweł Głuchowski, Logika trwań w opisie i analizie drzew niezdatności z zależnościami czasowymi. W: Systemy czasu rzeczywistego : postępy badań i zastosowania : praca zbiorowa / pod red. Zbigniewa Zielińskiego. Warszawa : Wydawnictwa Komunikacji i Łączności, 2009. s. 63-72. ISBN: 978-83-206-1746-7
4	Proceeding paper 2009 Paweł Głuchowski, Languages of CTL and RTCTL calculi in real-time analysis of a system described by a fault tree with time dependencies. W: Proceedings of International Conference on Dependability of Computer Systems, DepCoS - RELCOMEX 2009, Brunów, Poland, 30 June - 02 July, 2009 / eds Wojciech Zamojski [i in.]. Los Alamitos [i in.] : IEEE Computer Society [Press], cop. 2009. s. 33-41. ISBN: 978-0-7695-3674-3 Resources:DOI
5	Book chapter 2008 Paweł Głuchowski, Temporalna logika RTCTL w opisie i analizie w czasie rzeczywistym minimalnych zbiorów przyczyn dla drzew niezdatności z zależnościami czasowymi. W: Modele i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Zygmunta Mazura i Zbigniewa Huzara. Warszawa : Wydawnictwa Komunikacji i Łączności, 2008. s. 23-32. ISBN: 978-83-206-1702-3
6	Book chapter 2008 Paweł Głuchowski, Temporalne logiki przedziałowe DC i ITL dla drzew niezdatności z zależnościami czasowymi. W: Modele i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Zygmunta Mazura i Zbigniewa Huzara. Warszawa : Wydawnictwa Komunikacji i Łączności, 2008. s. 13-22. ISBN: 978-83-206-1702-3
7	Proceeding paper 2007 Paweł Głuchowski, Duration Calculus for analysis of fault trees with time dependencies. W: Proceedings of International Conference on Dependability of Computer Systems. DepCoS - RELCOMEX 2007, Szklarska Poręba, Poland, 14-16 June, 2007 / Eds Wojciech Zamojski [i in.]. Los Alamitos [i in.] : IEEE Computer Society [Press], cop. 2007. s. 107-114. ISBN: 0-7695-2850-3; 978-0-7695-2850-3 Resources:DOI