Piotr Kosiuczenko

dr hab. Piotr Kosiuczenko

Profesor nadzwyczajny

(Employee of:) Zakład Inżynierii Systemów Informatycznych

Email >>here<<

Phone:

Short scienfic biography
Habilitacja | 09-12-2010 | Term Rewring as a Semanc Basis for the Graphical Modelling of
Object-Oriented System
PhD | 25-05-1995 | Malcev' Type Condions for Paral Algebras

Piotr Kosiuczenko studied mathemacs at the the University of Warsaw. Aerwards he joined
the Univeristy of Technology in Warsaw. In 1995, obtained PhD the University of Warsaw. Later,
he joined the Instute of Computer Science at the University of Munich. In Munich, Dr.
Kosiuczenko was working also as a research collaborator at the FAST soware company. Since
October 2003, he worked as a lecturer at the Department of Computer Science, University of
Leicester, UK. In 2008, he joined the Instute of Informaon Systems at WAT in Warsaw, where
he is an associate professor. His research interests include soware engineering, graphical
modelling languages, contractual specificaon, formal methods and foundaons of objectoriented
programming.

Co-Chair of
KKIO 2015 - 17th PTI Soware Engineering Conference
hp://kkio.p.org.pl/

He was also programme Commiee Member of:

IASSE - Internaonal Conference on Intelligent & Adapve Systems, and Soware Engineering
MOMPES - Workshop on Model-based Methodologies for Pervasive and Embedded Soware

Projects carried out outside WAT:

2013 SYNAT - Strategic scienfic research and experimental development program: Interdisciplinary System for Interacve Scienfic and Scienfic-Technical Informaon (funded by the Naonal Centre for Research and Development - NCBiR)
2004 - 2007 Leg2Net - Industry-Academia Partnership Scheme (funded by Marie Curie Acon -EU)
2002 - 2005 AGILE - Architectures for Mobility (funded by IST-EU)
2000 - 2002 CARUSO - Customer Care and Relaonship Support Office (funded by IST-EU)
1997 - 1999 FORSOFT - Distributed Systems and Open Networks (funded by the Bavarian Ministry of Sciences)
1996 -1998 ATMTS - Algebraic Tools for Modelling of Telecommunicaon Systems (funded by the Brish Council and DAAD)
1995 - 1997 EPKfix - Development of Electronic Product Catalogues (funded by the German Research Society - DFG)

Publications:

1. P. Kosiuczenko, M. Śmiałek (Eds.): From Requirements to Soware, Research and Pracce,
Polish Informaon Processing Society, Warsaw, 2015, 176 p.
2. P. Kosiuczenko, M. Śmiałek, J. Swacha (Eds.): Od procesów do oprogramowania: badania i
praktyka, Polish Informaon Processing Society, Warsaw, 2015, 154 p.

Rest fo publications below in tab: "Publications".

Co-Editor of journal: "Computer Science and Mathematical Modelling"

Habilitacja | 09-12-2010 | Term Rewriting as a Semantic Basis for the Graphical Modelling of Object-Oriented System

Doktorat | 25-05-1995 | Warunki Malcewa dla algebr częściowych

21-10-2019 Konferencja z okazji 25-lecia Instytutu Systemów Informatycznych za nami

07-10-2016 Udział prof. Kosiuczenki w prestiżowej konferencji MODELS'2016

07-10-2016 XVIII Krajowa Konferencja Inżynierii Oprogramowania (KKIO'16)

Piotr Kosiuczenko - "Modelowanie graficzne a metody formalne", -, Systemy informatyczne na potrzeby bezpieczeństwa państwa oraz gospodarki narodowej: zastosowania, 27-45, Wojskowa Akademia Techniczna, Warszawa, 2019

Piotr Kosiuczenko - "Modelowanie graficzne a metody formalne", -, Konferencja z okazji 25-lecia Instytutu Systemów Informatycznych "Systemy informatyczne na potrzeby bezpieczeństwa państwa oraz gospodarki narodowej: analiza, modelowanie, projektowanie, integracja", -, 2019

Piotr Kosiuczenko - "Przewodniczący sesji: Data Modelling", -, KKIO 2019, -, 2019

Piotr Kosiuczenko, Michał Śmiałek - "Tutorial From Use Case Models to Working Prototypes: Model-Driven Requirements Engineering in Action", -, KKIO 2019, -, 2019

Piotr Kosiuczenko - "On the functional specificiation of queries in OCL", -, Engineering Software Systems: Research and Praxis, Advances in Intelligent Systems and Computing 830, 53-68, Springer International Publishing AG, -, 2018

Piotr Kosiuczenko - "Ensuring the strong exception safety", -, Towards a Synergistic Combination of Research and Practice in Software Engineering, w serii wydawniczej: Studies in Computational Intelligence 733, 63-76, Springer International Publishing AG, -, 2018

Piotr Kosiuczenko, Lech Madeyski - "Towards a Synergistic Combination of Research and Practice in Software Engineering Preface", -, Towards a Synergistic Combination of Research and Practice in Software Engineering, w serii wydawniczej: Studies in Computational Intelligence 733, 5-6, Springer International Publishing AG, -, 2018

Piotr Kosiuczenko, Lech Madeyski - "Towards a Synergistic Combination of Research and Practice in Software Engineering, w serii wydawniczej: Studies in Computational Intelligence 733", -, Springer International Publishing AG, -, 2018

Piotr Kosiuczenko, Zbigniew Zieliński - "Engineering Software Systems: Research and Praxis, Advances in Intelligent Systems and Computing 830", -, Springer International Publishing AG, -, 2018

Piotr Kosiuczenko - "Ensuring the Strong Exception Safety", -, KKIO 2017, -, 2017

Piotr Kosiuczenko, Lech Madeyski, Marek Bolanowski - "Inżynieria oprogramowania i systemy czasu rzeczywistego: od badań do praktycznych zastosowań", -, PTI, Warszawa, 2017

Piotr Kosiuczenko, Mirosław Ochodek, Lech Madeyski, Andrzej Paszkiewicz - "Software Engineering Research for the Practice", -, PTI, Warszawa, 2017

Piotr Kosiuczenko - "On the synthesis of protocol state machines from contracts", -, MODELS 2016, -, 2016

Piotr Kosiuczenko - "On the Synthesis of Protocol State Machines from Contracts", -, MODELS 16 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 76-85, ACM, Nowy Jork, 2016

Piotr Kosiuczenko, Michał Śmiałek - " From Requirements to Software: Research and Practice, seria wydawnicza: Scientific Papers of the Polish Information Processing Society Scientific Council.", -, PTI, Warszawa, 2015

Piotr Kosiuczenko, Michał Śmiałek, Jakub Swacha - "Od procesów do oprogramowania: badania i praktyka", -, PTI, Warszawa, 2015

Piotr Kosiuczenko - "Recent Polish achievements in Software Engineering", -, Software Engineering from Research and Practice Perspectives, Lech Madeyski, Mirosław Ochodek (eds.), 15-38, PTI, -, 2014

Piotr Kosiuczenko - "Solving the invariability problem in OCL", -, XVI Krajowa Konferencja Inżynierii Oprogramowania, -, 2014

Piotr Kosiuczenko - "Specification of invariability in OCL", Software and Systems Modeling, 12, issue 2, 415-434, Berlin, 2013

Piotr Kosiuczenko - "On the Validation of Invariants at Runtime", FUNDAMENTA INFORMATICAE, 125(2), 183-222, -, 2013

Piotr Kosiuczenko, Lech Madeyski - Towards a Synergistic Combination of Research and Practice in Software Engineering, w serii wydawniczej: Studies in Computational Intelligence 733, Springer International Publishing AG, -, 2018

Piotr Kosiuczenko, Zbigniew Zieliński - Engineering Software Systems: Research and Praxis, Advances in Intelligent Systems and Computing 830, Springer International Publishing AG, -, 2018

Piotr Kosiuczenko, Lech Madeyski, Marek Bolanowski - Inżynieria oprogramowania i systemy czasu rzeczywistego: od badań do praktycznych zastosowań, PTI, Warszawa, 2017

Piotr Kosiuczenko, Mirosław Ochodek, Lech Madeyski, Andrzej Paszkiewicz - Software Engineering Research for the Practice, PTI, Warszawa, 2017

Piotr Kosiuczenko, Michał Śmiałek - From Requirements to Software: Research and Practice, seria wydawnicza: Scientific Papers of the Polish Information Processing Society Scientific Council., PTI, Warszawa, 2015

Piotr Kosiuczenko, Michał Śmiałek, Jakub Swacha - Od procesów do oprogramowania: badania i praktyka, PTI, Warszawa, 2015

Piotr Kosiuczenko - Term Rewriting as a Semantic Basis for the Graphical Modelling of Object-Oriented Systems, Wojskowa Akademia Techniczna, Warszawa, 2009

Piotr Kosiuczenko - Logic of Computation, Computer and System Science, , Springer, Berlin, 1997

Piotr Kosiuczenko - "Modelowanie graficzne a metody formalne", Systemy informatyczne na potrzeby bezpieczeństwa państwa oraz gospodarki narodowej: zastosowania, 27-45, Wojskowa Akademia Techniczna, Warszawa, 2019

Piotr Kosiuczenko - "On the functional specificiation of queries in OCL", Engineering Software Systems: Research and Praxis, Advances in Intelligent Systems and Computing 830, 53-68, Springer International Publishing AG, -, 2018

Piotr Kosiuczenko - "Ensuring the strong exception safety", Towards a Synergistic Combination of Research and Practice in Software Engineering, w serii wydawniczej: Studies in Computational Intelligence 733, 63-76, Springer International Publishing AG, -, 2018

Piotr Kosiuczenko, Lech Madeyski - "Towards a Synergistic Combination of Research and Practice in Software Engineering Preface", Towards a Synergistic Combination of Research and Practice in Software Engineering, w serii wydawniczej: Studies in Computational Intelligence 733, 5-6, Springer International Publishing AG, -, 2018

Piotr Kosiuczenko - "On the Synthesis of Protocol State Machines from Contracts", MODELS 16 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 76-85, ACM, Nowy Jork, 2016

Piotr Kosiuczenko - "Recent Polish achievements in Software Engineering", Software Engineering from Research and Practice Perspectives, Lech Madeyski, Mirosław Ochodek (eds.), 15-38, PTI, -, 2014

Piotr Kosiuczenko - "The Impact of Class Model Redesign on State Machines", Theory and Practice of Model Transformations, 264-279, Springer International Publishing AG, Berlin, 2012

Piotr Kosiuczenko - "Analiza przydatności języka UML do modelowania procesów wspomagania decyzji medycznych", Raport końcowy projektu POIG.01.03.01-00-145/08 Modelowanie repozytorium i analiza efektywności informacyjnej wytycznych i ścieżek klinicznych w służbie zdrowia, 193-200, Wojskowa Akademia Techniczna, Warszawa, 2010

Piotr Kosiuczenko - "Analiza przydatności języka UML do modelowania procesów wspomagania decyzji medycznych", Modelowanie i zastosowanie Komputerowych Systemów Medycznych, 21-29, VIZJA PRESS and IT Sp. z o.o., Warszawa, 2009

Piotr Kosiuczenko - "Timed Rewriting ", -, 229-264, Springer, Berlin, 1997

Piotr Kosiuczenko - "Modelowanie graficzne a metody formalne", Konferencja z okazji 25-lecia Instytutu Systemów Informatycznych "Systemy informatyczne na potrzeby bezpieczeństwa państwa oraz gospodarki narodowej: analiza, modelowanie, projektowanie, integracja", -, 2019

Piotr Kosiuczenko - "Przewodniczący sesji: Data Modelling", KKIO 2019, -, 2019

Piotr Kosiuczenko, Michał Śmiałek - "Tutorial From Use Case Models to Working Prototypes: Model-Driven Requirements Engineering in Action", KKIO 2019, -, 2019

Piotr Kosiuczenko - "Ensuring the Strong Exception Safety", KKIO 2017, -, 2017

Piotr Kosiuczenko - "On the synthesis of protocol state machines from contracts", MODELS 2016, -, 2016

Piotr Kosiuczenko - "Solving the invariability problem in OCL", XVI Krajowa Konferencja Inżynierii Oprogramowania, -, 2014

Piotr Kosiuczenko - "The Impact of Class Model Redesign on State Machines. In Zhenjiang Hu, Juan de Lara (Eds.): Theory and Practice of Model Transformations ", 5th International Conference ICMT 2012, Berlin, 2012

Piotr Kosiuczenko - "Zastosowanie przepisywania terminów do symulacji", XIX Warsztaty Naukowe PTSK "Symulacja w Badaniach i Rozwoju", -, 2012

Piotr Kosiuczenko - "The Impact of Class Model Transformations on State Machines, accepted for publication in proceedings of the International Conference on Model Transformation", 5th International Conference ICMT 2012, -, 2012

Piotr Kosiuczenko - "Wystarczająco trwałe struktury danych ", Seminarium Instututowe IPI PAN, Warszawa, 2011

Piotr Kosiuczenko - "Metody inżynierii oprogramowania w konstrukcji systemu wspierającego diagnostykę i leczenie pacjenta", Seminarium Instytutu Matematyki UW, Warszawa, 2011

Piotr Kosiuczenko - "Efektywna implementacja operatora @pre / \old", -, Warszawa, 2009

Piotr Kosiuczenko - "On the Effective and General Implementation of old/@pre", -, Warszawa, 2009

Piotr Kosiuczenko - "O implementacji operatora @pre", Seminarium PJWSTK, -, 2009

Piotr Kosiuczenko - "O efektywnej i ogólnej implementacji operatora Old występującego w językach kontraktowej specyfikacji", Seminarium Instytutu Systemów Informatycznych, -, 2009

Piotr Kosiuczenko - "Logika i weryfikacja", Seminarium Instytutu Informatyki UW, -, 2008

Piotr Kosiuczenko - "Specification of invariability in OCL", Software and Systems Modeling, 12, issue 2, 415-434, Berlin, 2013

Piotr Kosiuczenko - "On the Validation of Invariants at Runtime", FUNDAMENTA INFORMATICAE, 125(2), 183-222, -, 2013

Piotr Kosiuczenko - "An Abstract Machine for the Old Value Retrieval", LECTURE NOTES IN COMPUTER SCIENCE, 6120, 246-261, Berlin, 2010

Piotr Kosiuczenko - "Przydatność języka Gello i standardu RIM do obiektowego modelowania systemów medycznych", BIULETYN INSTYTUTU SYSTEMÓW INFORMATYCZNYCH, 4/2009, 29-33, Warszawa, 2009

Piotr Kosiuczenko - "Redesign of UML Class Diagrams: A Formal Approach", -, 8(2), 165-183, Berlin, 2009

Piotr Kosiuczenko - "On the Implementation of @pre", LECTURE NOTES IN COMPUTER SCIENCE, LNCS 5503, 246-261, Berlin, 2009

Piotr Kosiuczenko - "Towards an Integration of Message Sequence Charts and Timed Maude.", 15(1), 23-43, -, 2001

Piotr Kosiuczenko - "Formalizing and Executing Message Sequence Charts via Timed Rewriting.", -, 25, -, 2000

Piotr Kosiuczenko - "A Formal Model for SDL Specification Based on Timed Rewriting Logic.", 7(1), 59-88, -, 2000

Piotr Kosiuczenko - "A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol. In C. Kirchner, H. Kirchner (eds.): ", -, 15, -, 1998

Piotr Kosiuczenko - "Timed Rewriting Logic with an Application to Object-Based Specification.", 28(2-3), 225-246, -, 1997

Piotr Kosiuczenko - " On the power of Higher-Order Algebraic Specification Methods.", INFORMATION AND COMPUTATION, 124(1), 85-101, -, 1996

Piotr Kosiuczenko - "Mal´cev Type Conditions for Partial Algebras", -, 31, 467-474, Berlin, 1994

Piotr Kosiuczenko - "Specification of invariability in OCL", Software and Systems Modeling, 12, issue 2, 415-434, Berlin, 2013

Piotr Kosiuczenko - "On the Validation of Invariants at Runtime", FUNDAMENTA INFORMATICAE, 125(2), 183-222, -, 2013

Piotr Kosiuczenko - "An Abstract Machine for the Old Value Retrieval", LECTURE NOTES IN COMPUTER SCIENCE, 6120, 246-261, Berlin, 2010

Piotr Kosiuczenko - "On the Implementation of @pre", LECTURE NOTES IN COMPUTER SCIENCE, LNCS 5503, 246-261, Berlin, 2009

Piotr Kosiuczenko - " On the power of Higher-Order Algebraic Specification Methods.", INFORMATION AND COMPUTATION, 124(1), 85-101, -, 1996

Piotr Kosiuczenko - "Przydatność języka Gello i standardu RIM do obiektowego modelowania systemów medycznych", BIULETYN INSTYTUTU SYSTEMÓW INFORMATYCZNYCH, 4/2009, 29-33, Warszawa, 2009

Budowa nowoczesnej aplikacji ICT do wsparcia badań naukowych w dziedzinie innowacyjnych metod diagnostyki i leczenia chorób cywilizacyjnych

Kierownik: Andrzej Walczak

Okres realizacji:: 2009-04-01 / 2012-03-31

Źródło finansowania: UE

Szczegóły projektu

Skład Konsorcjum: WAT

Czy WAT jest liderem:: TAK NIE

Autorzy: Andrzej Walczak, Ryszard Antkiewicz, Mariusz Chmielewski, Andrzej Gaj, Piotr Kędzierski, Piotr Kosiuczenko, Jarosław Koszela, Piotr Marciniak, Andrzej Najgebauer, Jarosław Napiórkowski

Cel realizacji projektu:

Kwota dofinansowania całkowita (zł): 0

Kwota dofinansowania dla WAT (zł): 0

Modelowanie repozytorium i analiza efektywności informacyjnej wytycznych i ścieżek klinicznych w służbie zdrowia

Kierownik: Grzegorz Bliźniuk

Okres realizacji:: 2009-04-01 / 2010-06-30

Źródło finansowania: UE

Szczegóły projektu

Skład Konsorcjum: OPI

Czy WAT jest liderem:: TAK NIE

Autorzy: Grzegorz Bliźniuk, Andrzej Ameljańczyk, Ryszard Antkiewicz, Andrzej Gaj, Tomasz Górski, Tomasz Gzik, Piotr Kędzierski, Piotr Kosiuczenko, Jarosław Koszela, Andrzej Najgebauer, Tadeusz Nowicki, Kazimierz Worwa

Cel realizacji projektu:

Kwota dofinansowania całkowita (zł): 0

Kwota dofinansowania dla WAT (zł): 0

January 2022

M	T	W	T	F	S	S
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28	29	30
31

Recent projects

Integracja i wsparcie procesów zarządzania informacją i optymalizacji decyzji systemu ostrzegania i alarmowania
Zbigniew Tarapata, Ryszard Antkiewicz, Andrzej Najgebauer, Wojciech Kulas, Rafał Kasprzyk, Michał Dyk, Agnieszka Kacprzak, Dariusz Pierzchała, Mariusz Chmielewski, Krzysztof Chlebicki, Jarosław Rulka
2015-12-22 / 2017-12-21

Zaawansowane technologie informatyczne wspierające procesy analizy danych (gł. finansowych) w obszarze przestępczości finansowej
Maciej Kiedrowicz, Jarosław Koszela, Zbigniew Tarapata, Rafał Kasprzyk, Roman Wantoch-Rekowski, Mariusz Chmielewski, Jerzy Stanik
2012-12-19 / 2018-04-18

Symulator Systemu Kierownia Ogniem wieży Hitfist-30P do Symulatora SK-1 Pluton KTO Rosomak
Andrzej Najgebauer, Ryszard Antkiewicz, Dariusz Pierzchała, Zbigniew Tarapata, Wojciech Kulas, Jarosław Koszela, Roman Wantoch-Rekowski, Mariusz Chmielewski, Tomasz Drozdowski, Rafał Kasprzyk, Jarosław Rulka
2012-05-17 / 2013-11-19

Nowoczesne technologie dla/w procesie karnym i ich wykorzystanie – aspekty techniczne, kryminalistyczne, kryminologiczne i prawne
Dariusz Pierzchała, Andrzej Najgebauer, Ryszard Antkiewicz, Zbigniew Tarapata, Roman Wantoch-Rekowski, Jarosław Rulka, Jarosław Koszela, Wojciech Kulas, Rafał Kasprzyk, Mariusz Chmielewski, Michał Dyk, Krzysztof Chlebicki
2011-12-28 / 2014-06-27

Opracowanie nowoczesnych stanowisk szkoleniowych zwiększających skuteczność działań ratowników KSRG
Andrzej Najgebauer, Mariusz Chmielewski, Wojciech Kulas, Ryszard Antkiewicz, Rafał Kasprzyk, Dariusz Pierzchała, Zbigniew Tarapata, Jarosław Rulka, Roman Wantoch-Rekowski, Jarosław Koszela
2011-12-28 / 2013-12-27

Asymmetric Threat Environment Analysis (through Asymmetric Engagement Modelling, Modelling of Impacts on Hearts & Minds, and Threat Scenario Generation from environmental factors), (Analiza zagrożeń w środowisku asymetrycznym)
Ryszard Antkiewicz, Mariusz Chmielewski, Tomasz Drozdowski, Rafał Kasprzyk, Jarosław Koszela, Wojciech Kulas, Andrzej Najgebauer, Dariusz Pierzchała, Jarosław Rulka, Zbigniew Tarapata, Roman Wantoch-Rekowski
2010-03-01 / 2012-09-30

Modelowanie i symulacja procesów oraz określenie komputerowo wspomaganych procedur w zakresie zarządzania ryzykiem bezpieczeństwa żywności i żywienia
Tadeusz Nowicki, Tomasz Tarnawski
2009-12-16 / 2011-12-15

Modelowanie repozytorium i analiza efektywności informacyjnej wytycznych i ścieżek klinicznych w służbie zdrowia
Grzegorz Bliźniuk, Andrzej Ameljańczyk, Ryszard Antkiewicz, Andrzej Gaj, Tomasz Górski, Tomasz Gzik, Piotr Kędzierski, Piotr Kosiuczenko, Jarosław Koszela, Andrzej Najgebauer, Tadeusz Nowicki, Kazimierz Worwa
2009-04-01 / 2010-06-30

Symulacja działań bojowych w heterogenicznym środowisku wielorozdzielczej i rozproszonej symulacji
Andrzej Najgebauer, Ryszard Antkiewicz, Zbigniew Tarapata, Jarosław Koszela, Jarosław Rulka, Roman Wantoch-Rekowski, Mariusz Chmielewski, Rafał Kasprzyk, Tomasz Tarnawski, Wojciech Kulas, Tomasz Drozdowski, Dariusz Pierzchała
2008-12-15 / 2010-12-15

Modele zagrożeń aglomeracji miejskiej wraz z systemem zarządzania kryzysowego na przykładzie m.st. Warszawy
Andrzej Najgebauer, Ryszard Antkiewicz, Jarosław Rulka, Zbigniew Tarapata, Dariusz Pierzchała, Roman Wantoch-Rekowski, Rafał Kasprzyk, Tomasz Tarnawski, Jarosław Koszela, Mariusz Chmielewski, Wojciech Kulas
2006-07-01 / 2009-06-30

Zautomatyzowane Narzędzia Wspomagania Decyzji - System Ekspercki pk. GURU
Andrzej Najgebauer, Ryszard Antkiewicz, Zbigniew Tarapata, Jarosław Rulka, Dariusz Pierzchała, Rafał Kasprzyk, Tomasz Tarnawski, Jarosław Koszela, Wojciech Kulas, Mariusz Chmielewski, Roman Wantoch-Rekowski
2004-01-01 / 2007-01-01

Badanie wrażliwości wielowarstwowych sigmoidalnych sieci neuronowych
Roman Wantoch-Rekowski
2003-01-01 / 2003-12-30

System Symulacyjnego Wspomagania Szkolenia Operacyjnego SSWSO pk. Złocień
Andrzej Najgebauer, Ryszard Antkiewicz, Jarosław Rulka, Zbigniew Tarapata, Dariusz Pierzchała, Roman Wantoch-Rekowski, Tomasz Tarnawski, Wojciech Kulas, Jarosław Koszela, Marian Chudy, Tadeusz Nowicki, Radosław Pytlak
2000-01-01 / 2003-01-01

Recent publications

Infrastruktura informacyjna nowoczesnego państwa
Bolesław Szafrański, Romuald Weydmann
Książka dotyczy procesów i problemów modernizacji funkcjonowania państwa, prowadzonych z wykorzystaniem narzędzi i metod informatyki. Przeznaczona jest więc dla Czytelników, którzy zaliczają się do grona naukowców i specjalistów zaangażowanych w badanie lub realizację tych procesów, zarówno po stronie administracji publicznej, jak i jej otoczenia gospodarczego, naukowego czy też społecznego. W szczególności adresujemy książkę do studentów wydziałów zarządzania i informatyki, bowiem jej lektura może przyczynić się do poszerzenia wiedzy dotyczącej nie tylko sposobów wykorzystania technologii informatycznych w administracji publicznej, lecz także organizacji procesów zarządczych i koordynacyjnych wspierających prace projektowo-techniczne i badawcze.

eMBA w ochronie zdrowia. Informatyzacja i interoperacyjność w ochronie zdrowia
Grzegorz Bliźniuk, Dorota Kilańska
Na poziomie międzynarodowym wytyczanie kierunków rozwoju systemów ochrony zdrowia, także w dziedzinie e-Zdrowia, jest przypisane Światowej Organizacji Zdrowia (WHO). Wskazują na to rezolucje Światowego Zgromadzenia Zdrowia: WHA58.28 (2005) w sprawie e-Zdrowia i WHA66.24 (2013) w sprawie standaryzacji i interoperacyjności e-Zdrowia. Rezolucje te zasadniczo kształtują wklad WHO w globalną agendę e-Zdrowia i wskazują na znaczenie "dostępu do pełniejszych i dokładniejszych informacji w postaci elektronicznej na temat pacjentów w punkcie opieki" oraz "potrzeby międzynarodowej, wielostronnej pomocy w opracowaniu standardów eZdrowia i danych zdrowotnych oraz interoperacyjności". Światowa Organizacja Zdrowia uznaje podmioty prywatne, w szczególności twórców technologii i dostawców usług za kluczowych partnerów, którzy odgrywają ważną rolę w ciągłym rozwoju e-Zdrowia i jako tacy są postrzegani jako ważne ogniwo napędzające innowacje technologiczne w sektorze opieki zdrowotnej. W ostatnim dziesięcioleciu stopniowe wdrażanie technologii w dziedzinie zdrowia spowodowało na świecie znaczącą rewolucję w sposobie postrzegania świadczenia zdrowotnego, usług zdrowotnych oraz w sposobach interakcji między pacjentami i świadczeniodawcami. U podstaw transformacji opartej na technologii leży dostosowanie sposobu przechwytywania, przeglądania, przetwarzania, wymiany i przechowywania informacji zdrowotnych.

Zintegrowany system dostępu i analizy danych rejestrowych i ewidencyjnych
Maciej Kiedrowicz
Monografia stanowi sui generis sprawnie oraz syntetycznie nakreślony, praktyczny – utylitarny przewodnik po systemie zarządzania systemem dostępu i analizy tzw. danych rejestrowych oraz ewidencyjnych – szczególnie cenny dla osób reprezentujących instytucje posiadające w dyspozycji zadania związane z analizą danych relewantnych z punktu widzenia bezpieczeństwa narodowego, wymiaru sprawiedliwości, jak i karnoprawnej ochrony bezpieczeństwa i porządku publicznego ze szczególnym uwzględnieniem organów ścigania przy uwzględnieniu ich merytorycznego przeznaczenia i ustawowej proweniencji.

Metody i narzędzia informatyczne wykorzystywane w zwalczaniu przestępstw finansowych
Maciej Kiedrowicz
monografia zawiera wybrane wyniki prac realizowanych w ramach projektu naukowo-badawczego pt. „Zaawansowane technologie informatyczne wspierające procesy analizy danych (gł. finansowych) w obszarze przestępczości finansowej", realizowanego w przeważającej większości przez pracowników Instytutu Systemów Informatycznych Wydziału Cybernetyki w Wojskowej Akademii Technicznej. Zaprezentowano w niej wybrane metody i narzędzia, które są lub mogą zostać wykorzystane w systemach mających za zadanie zapobieganie oraz zwalczanie przestępstw finansowych. Prezentowane wyniki prac koncentrują się wokół wybranych zagadnień związanych z konstruowaniem narzędzi informatycznych, które z kolei mają zastosowanie w budowie systemów wspomagających analizę danych. Systemy tego rodzaju są stosowane przez różnego rodzaju instytucje do przeciwdziałania przestępstwom finansowym. Wybrane narzędzia, jak i modele oraz metody w nich wykorzystywane były konstruowane pod wspólnym akronimem System IAFEC (ang. Information Analysis of Financial and Economic Crime).

Systemy informatyczne na potrzeby bezpieczeństwa państwa oraz gospodarki narodowej: modele i metody
Zbigniew Tarapata
W monografii znajdują się opisy wyników prac badawczych związanych z modelami i metodami wykorzystywanymi przy projektowaniu, wdrażaniu i eksploatacji systemów informatycznych. Wspomniane modele i metody dotyczą przede wszystkim: optymalizacji, eksploracji danych, rozpoznawania wzorców, cyberzagrożeń, systemów diagnostyki.

Systemy informatyczne na potrzeby bezpieczeństwa państwa oraz gospodarki narodowej: zastosowania
Zbigniew Tarapata
W monografii znajdują się opisy wyników prac badawczych związanych z zagadnieniami wykorzystywanymi przy projektowaniu, wdrażaniu i eksploatacji systemów informatycznych oraz ich zastosowaniami. Wspomniane zagadnienia dotyczą przede wszystkim: metod i algorytmów optymalizacji, technologii generowania danych syntetycznych, cyberbezpieczeństwa, symulacji wirtualnej, poprawy efektywności systemów.

Jak to rozwiązać? Matematyka dyskretna. Część II
Andrzej Chojnacki
Druga część podręcznika do nauki rozwiązywania zadań z matematyki dyskretnej obejmuje kolejne zagadnienia, których dotyczy program przedmiotu „Matematyka dyskretna” realizowanego na Wydziale Cybernetyki WAT. Są to techniki zliczania i ich zastosowanie przy obliczaniu lub szacowaniu liczności różnych zbiorów skończonych, bez wymieniania ich elementów. Opisywane są współczynniki dwumianowe Newtona, współczynniki wielomianowe, liczby Stirlinga pierwszego i drugiego rodzaju, Eulera, Catalana, Bella i inne. Zliczane są zbiory funkcji zdefiniowanych na zbiorach skończonych, injekcji, surjekcji, bijekcji i permutacji. Analizowane jest nowoczesne narzędzie matematyki, jakim są funkcje tworzące i ich podstawowe zastosowania, w tym do rozwiązywania rekurencji. Omawiane są zadania związane z liczbami pierwszymi. Prezentowane są zadania dotyczące stosowania relacji kongruencji. Założeniem podręcznika nie jest przekazywanie wiedzy z przedstawionych zagadnień, ale nabywanie umiejętności stosowania tej wiedzy. Wykaz wymaganej wiedza podawany jest na początku każdego rozdziału. Podane są wzorcowe zadania z pełnymi rozwiązaniami. Przedstawiono też zadania z rozwiązaniami na końcu podręcznika oraz zadania do samodzielnego rozwiązania bez zamieszczonych rozwiązań. Uzupełnieniem są zestawy testów do samodzielnej oceny wiedzy przez czytelnika.

Jak to rozwiązać? Matematyka dyskretna. Cz. I
Andrzej Chojnacki
Książka jest podręcznikiem do nauki rozwiązywania zadań z zakresu wstępnych zagadnień do współcześnie rozumianej matematyki dyskretnej. Zawiera zadania z logiki matematycznej, teorii zbiorów, relacji, funkcji, teorii mocy, rekurencji, asymptotyki oraz permutacji. Podane są wzorcowe zadania z pełnymi rozwiązaniami. Przedstawiono też zadania z rozwiązaniami na końcu podręcznika oraz zadania do samodzielnego rozwiązania bez zamieszczonych rozwiązań. Uzupełnieniem są zestawy testów do samodzielnej oceny wiedzy przez czytelnika.

Zarządzanie Informacjami Wrażliwymi. Otoczenie systemu, elementy i implementacja
Maciej Kiedrowicz
Poszczególne części opracowania zawierają wybrane charakterystyki zagadnień związanych z przetwarzaniem dokumentów wrażliwych powiązane z wykorzystaniem tej technologii. Opisano zarówno zagadnienia dotyczące prawnych aspektów przetwarzania dokumentów niejawnych, organizacji całego procesu przetwarzania, jak również praktycznych elementów wynikających z projektowania i implementacji systemów informatycznych wspomagających to przetwarzanie. Wyodrębnione rozdziały w monografii obejmują m.in.: wymagania prawne związane z ochroną informacji niejawnych w systemach teleinformatycznych, zagadnienia wynikające z przekazywania informacji pomiędzy systemami o różnych poziomach niejawności, sieciowe modele analizy ryzyka dla struktur technicznych oraz modele ryzyka związane z systemami informacyjnymi wykorzystującymi technologie RFID, metodykę analizy i zarządzania ryzykiem procesów związanych z przetwarzaniem dokumentów o różnych poziomach wrażliwości, metody konstruowania testów dla systemów wspomagających zarządzanie kancelarią niejawną, sposoby definiowania procesów biznesowych (również dynamicznych) związanych z przetwarzaniem dokumentów oraz ich usytuowaniem w systemach typu „workflow”.

Zarządzanie Informacjami Wrażliwymi. Modele i metody badań
Maciej Kiedrowicz
W niniejszym opracowaniu główny nacisk został położony na zagadnienia dotyczące automatyzacji procesów przetwarzania dokumentów oraz na aspektach niezawodności i wydajności systemu kancelarii obsługującej dokumenty wyposażone w odpowiednie znaczniki. Waga i znaczenie treści umieszczonych na dokumencie (w niektórych przypadkach również formy) bywa niekiedy bardzo duża. Dlatego też mówi się o dokumentach wrażliwych oraz o dokumentach niejawnych. Istotnym i wyróżniającym elementem omawianych zagadnień jest to, że systemy służące do wspomagania zarządzania informacjami wrażliwymi (np. system wspomagający zarządzanie kancelarią niejawną) bazują na wykorzystaniu technologii RFID. Przedstawione zostały zagadnienia dotyczące modeli i miar wydajności odnoszącej się zarówno do elementów sprzętowych systemu kancelarii, jak również oprogramowania wykorzystywanego do wspomagania zarządzania obiegiem dokumentów. Znajdują się również charakterystyki opracowanych metodyk badania niezawodności i wydajności wraz z wynikami tych badań. Wyszczególnione w monografii rozdziały obejmują takie zagadnienia jak: automatyzacja procesów przetwarzania dokumentów o różnym poziomie wrażliwości, modele i miary wydajności odnoszące się do elementów sprzętowych oraz oprogramowania systemu kancelarii niejawnej, metodyki badania niezawodności i wydajności sprzętu i oprogramowania systemu kancelarii obsługującej dokumenty i wykorzystującej technologie RFID wraz z wynikami takich badań.

Wybrane modele i metody wykorzystywane w zwalczaniu przestępstw finansowych
Maciej Kiedrowicz
Prezentowana monografia zawiera wybrane wyniki prac realizowanych w ramach projektu naukowo-badawczego pt. „Zaawansowane technologie informatyczne wspierające procesy analizy danych (gł. finansowych) w obszarze przestępczości finansowej” , realizowanego w przeważającej większości przez pracowników Instytutu Systemów Informatycznych Wydziału Cybernetyki w Wojskowej Akademii Technicznej im. Jarosława Dąbrowskiego. Zaprezentowano w niej wybrane modele i metody, które są lub mogą zostać wykorzystane w systemach mających za zadanie zapobieganie oraz zwalczanie przestępstw finansowych. Prezentowane wyniki prac koncentrują się wokół wybranych zagadnień związanych z konstruowaniem narzędzi informatycznych, które z kolei mają zastosowanie w budowie systemów wspomagających analizę danych. Systemy tego rodzaju są stosowane przez różnego rodzaju instytucje do przeciwdziałania przestępstwom finansowym. Wybrane narzędzia, jak i modele oraz metody w nich wykorzystywane były konstruowane pod wspólnym akronimem System IAFEC (ang.: Information Analysis of Financial and Economic Crime). Podstawą działania proponowanych metod są dane gromadzone przez różne instytucje w wyniku działań podmiotów i osób fizycznych związanych z przepływem środków finansowych (wartości majątkowych). Dotyczy to także innych danych związanych z prowadzeniem działalności gospodarczej oraz szeroko rozumianej komunikacji pomiędzy podmiotami. W związku z tym, oraz ze względu na specyfikę uczestniczących w analizie podmiotów, jednym z kluczowych zagadnień jest analiza zakresu przetwarzanych danych mających znaczenie (w niektórych przypadkach niewidoczne dla „zwykłych” obserwatorów) dla ścigania przestępczości finansowej. Rozważona została możliwość wykorzystania m. in. zasadniczych rejestrów oraz zasobów informacyjnych związanych z: ewidencją osób, podmiotów, prowadzeniem działalności gospodarczej, zatrudnieniem osób przez podmioty, posiadanymi udziałami w spółkach, posiadanymi papierami wartościowymi, kredytami, podatkami i innymi zobowiązaniami oraz przepływami na rachunkach bankowych oraz inwestycyjnych. Istotnym, rozpatrywanym również aspektem, było opracowanie architektury technicznej oraz procedur technicznego przetwarzania danych zapisanych w różnych systemach, wykorzystujących różne technologie przechowywania i przetwarzania.

Gromadzenie i przetwarzanie danych mających związek ze zwalczaniem przestępczości finansowej: Zasady dostępu, ograniczenia prawne
Maciej Kiedrowicz
Ostatnie lata spowodowały znaczący wzrost przestępstw gospodarczych powiązanych z wykorzystaniem nowoczesnych technologii teleinformatycznych. Z drugiej strony, ta sama technologia pozwala również na efektywniejsze zwalczanie tej przestępczości, w szczególności przestępczości gospodarczej związanej z praniem pieniędzy. Konsekwencjami tego rozwoju są także zmiany i poszerzenie regulacji prawnych dotyczących zagadnień przestępstw gospodarczych oraz wykorzystania narzędzi i metod informatycznych w ich zwalczaniu. W szczególności, znaczącej zmianie uległy regulacje prawne wiążące się z ochroną informacji i zbiorów danych, m.in. w obszarze tajemnicy bankowej, tajemnicy skarbowej, tajemnicy podatkowej, tajemnicy telekomunikacyjnej oraz ochrony danych osobowych. W książce przedstawiono podstawowe zagadnienia związane z możliwością przetwarzania danych z tego obszaru. Scharakteryzowany zakres zbieranych i przetwarzanych danych został zestawiony z możliwościami i koniecznością ich udostępniania. Szczególny nacisk położono na udostępnianie danych organom odpowiedzialnym za przeciwdziałanie i wykrywanie przestępstw gospodarczych związanych z praniem pieniędzy. Dużą uwagę zwrócono na ograniczenia prawne wynikające z konieczności przestrzegania tajemnic (m.in. tajemnicy bankowej, skarbowej, celnej, doradcy podatkowego, telekomunikacyjnej, ubezpieczeniowej, lekarskiej, statystycznej, korespondencji oraz tajemnic służbowych i zawodowych). Przedstawiona analiza związana jest przede wszystkim z możliwościami samego udostępniania, jak również z możliwym zakresem przetwarzanych i udostępnianych danych. Zaprezentowane przykłady wskazują, że – zgodnie z obowiązującym prawem – można w znakomity sposób powiązać rozwiązania informatyczne z dostępem do odpowiednich baz danych i w efektywny sposób zwalczać przestępczość gospodarczą. Siłą rzeczy, przykłady zostały zanonimizowane i zawężone do podstawowych faktów przydatnych w tego typu analizie. W ostatniej części zwrócono uwagę na konieczność zapewnienia odpowiedniego poziomu bezpieczeństwa przy przetwarzaniu i udostępnianiu danych związanych z przestępczością finansową.

Zarządzanie Informacjami Wrażliwymi: Bezpieczeństwo dokumentów, wykorzystanie technologii RFID
Maciej Kiedrowicz
Prezentowana monografia zawiera wybrane wyniki prac realizowanych w ramach projektu naukowo-badawczego pt. Elektroniczny system zarządzania cyklem życia dokumentów o różnych poziomach wrażliwości , realizowanego w głównej mierze przez pracowników Instytutu Systemów Informatycznych Wydziału Cybernetyki Wojskowej Akademii Technicznej im. Jarosława Dąbrowskiego. Dokumenty o różnych poziomach wrażliwości obejmują dokumenty, które wymagają szczególnego podejścia do ich zarządzania. Mogą to być zarówno dokumenty zawierające informacje niejawne, jak również dokumenty, których zawartość powinna być szczególnie chroniona ze względu na inne aspekty. Obsługa tego rodzaju dokumentów odbywa się zazwyczaj w specjalnie dostosowanych do tego celu pomieszczeniach – stąd też pojęcia „kancelaria niejawna”, „kancelaria tajna” lub „kancelaria RFID”, wykorzystywane w dalszej części opracowania. Podstawowym założeniem, które przyjęto w trakcie realizacji projektu, jest możliwość zastosowania technologii RFID.

Technologie projektowania trenażerów i symulatorów w programowalnym środowisku symulacji wirtualnej VBS3
Roman Wantoch-Rekowski
Symulacja wirtualna oraz rozszerzona w coraz większym stopniu stają się elementem zaawansowanych systemów szkoleniowych. Symulatory wirtualne znajdują szerokie zastosowanie ponieważ prowadzenie szkoleń na rzeczywistych urządzeniach jest drogie i wiąże się z dużym ryzykiem ich uszkodzenia. W szczególności dotyczy to szkolenia na początkowym etapie. Często też występuje potrzeba szkolenia w zakresie sytuacji awaryjnych oraz skrajnie niebezpiecznych. Ćwiczenie takich sytuacji na rzeczywistych urządzeniach oraz w realnym terenie byłoby skomplikowane oraz niejednokrotnie niemożliwe do przeprowadzenia. Obok szkolenia związanego z pojedynczymi urządzeniami lub stanowiskami możliwe jest także stosowania symulatorów wirtualnych do budowania wirtualnej sytuacji decyzyjnej. Takie zastosowanie zwane serious game jest głównym celem ich stosowania. Aby było to możliwe to narzędzia programowe wykorzystywane do budowy trenażerów i symulatorów muszą charakteryzować się dużą dokładnością odwzorowania obiektów z zachowaniem podstawowych zjawisk fizyki. Wysokiej jakości algorytmy symulacyjne oraz możliwość odwzorowania graficznego pojedynczych obiektów dodatkowo wprowadza realizm sytuacji dla osób ćwiczących. Publikacja przeznaczona jest dla osób chcących zapoznać się z możliwościami zastosowania symulatorów wirtualnych do prowadzenia różnego rodzaju ćwiczeń wspomaganych komputerowo prowadzonych na niskim szczeblu oraz dla osób chcących nauczyć się programowania środowiska symulacji wirtualnej oraz narzędzi dodatkowych związanych z budową obiektów i map cyfrowych.

You are here

Piotr Kosiuczenko

January 2022

Recent projects

Recent publications