dr inż. Paweł Głuchowski
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.