Tematyka prac badawczych
- Metody formalne: język modelowania Alvis, sieci Petriego, algebry procesów.
- Modelowanie i analiza systemów współbieżnych z wykorzystaniem metod formalnych.
- Modelowanie i analiza systemów czasu rzeczywistego z wykorzystaniem metod formalnych.
- Wykorzystanie metod formalnych do analizy bezpieczeństwa systemów teleinformatycznych.
Aktualnie realizowane projekty - fm.kis.agh.edu.pl
Więcej informacji o projektach realizowanych pod moim kierunkiem, jak również aktualne wersje wytworzonego oprogramowania, można znaleźć na stronie http://fm.kis.agh.edu.pl.
Prace doktorskie realizowane pod moim kierunkiem
Zakończone przewody doktorskie
- Piotr Matyasik Modelowanie i analiza systemów wbudowanych z zastosowaniem algebry procesów XCCS - praca obroniona 28.10.2009 na Wydziale EAIiE AGH.
- Krzysztof Balicki Formalny opis hierarchicznej wizualnej algebry procesów XCCS - praca obroniona 28.11.2013 na Wydziale EAIiIB AGH.
- Bartosz Jasiul Modeling of Selected Cyber Threats with Ontology and Petri Nets - praca obroniona 17.01.2014 na Wydziale EAIiIB AGH.
- Wojciech Szmuc Modelowanie wybranych diagramów języka UML 2.0 z zastosowaniem kolorowanych sieci Petriego - praca obroniona 05.02.2015 na Wydziale EAIiIB AGH.
- Przemysław Bereziński Detekcja anomalii w ruchu sieciowym z wykorzystaniem miar entropijnych - praca obroniona 25.11.2015 na Wydziale EAIiIB AGH. Rozprawa otrzymała wyróżnienie.
- Jarosław Baniewicz Metody formalnej analizy systemów wbudowanych czasu rzeczywistego - praca obroniona 02.07.2018 na Wydziale EAIiIB AGH.
- Jerzy Biernacki Zastosowanie paradygmatu funkcyjnego do formalnej analizy systemów modelowanych w języku Alvis - praca obroniona 10.11.2020. Stopień nadany przez Radę Dyscypliny Informatyka Techniczna i Telekomunikacja AGH.
- Michał Wypych Metody generowania etykietowanych systemów przejść dla języka Alvis - praca obroniona 04.02.2022. Stopień nadany przez Radę Dyscypliny Informatyka Techniczna i Telekomunikacja AGH.
Przewody doktorskie w toku
- Bartosz Kowalik Zastosowanie metod eksploracji danych do diagnostyki pracy samochodu w czasie rzeczywistym - otwarty przewód doktorski na Wydziale EAIiIB AGH.
- Łukasz Podolski Metody analizy i symulacji systemów czasu rzeczywistego rozwijanych w środowisku Alvis - otwarty przewód doktorski na Wydziale EAIiIB AGH.