Email: pawel.gluchowski@pwr.edu.pl

Jednostka: Wydział Informatyki i Telekomunikacji » Katedra Informatyki Technicznej

ul. Z. Janiszewskiego 11/17, Wrocław
bud. C-3, pok. 313
tel. 71 320 2740

Zainteresowania naukowe

• Logika temporalna; logika deontyczna; automaty czasowe; analiza bezpieczeństwa systemów transportowych.

---

Najważniejsze publikacje z ostatnich lat

2017

• Głuchowski P., 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. L. Madeyski, P. Kosiuczenko, M. Bolanowski, strony 123-136. PTI, 2017.

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.
• Głuchowski P., Logika trwań w opisie i analizie drzew niezdatności z zależnościami czasowymi. W: Systemy czasu rzeczywistego. Postępy badań i zastosowania, red. Z. Zieliński, strony 63-72. WKŁ, 2009.

2008

• Głuchowski P., 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, red. Z. Mazur, Z. Huzar, strony 23-32. WKŁ, 2008.
• Głuchowski P., Temporalne logiki przedziałowe DC i ITL dla drzew niezdatności z zależnościami czasowymi. W: Modele i zastosowania systemów czasu rzeczywistego, red. Z. Mazur, Z. Huzar, strony 13-22. WKŁ, 2008.

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.

Publikacje w bazie DONA

---

Wybrane publikacje
1	Rozdział w monografii 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	Referat konferencyjny 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 Zasoby:DOISFX
3	Rozdział w książce 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	Referat konferencyjny 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 Zasoby:DOI
5	Rozdział w książce 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	Rozdział w książce 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	Referat konferencyjny 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 Zasoby:DOI

Wszystkie publikacje pracownika