Wykaz publikacji wybranego autora

Radosław Klimek, dr inż.

adiunkt

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej


ORCID: 0000-0002-9061-561X
ResearcherID: brak



Opisy publikacji wcześniejszych zobacz: bpp.agh.edu.pl/old.


Liczba pozycji spełniających powyższe kryteria selekcji: 39, z ogólnej liczby 39 publikacji Autora


1
  • Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowychFormal verification of planning problems in the business process context : analysis of feasibility / Radosław KLIMEK, Sebastian ERNST // Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192. Informatyka Ekonomiczna = Business Informatics ; ISSN 1507-3858. — 2011 nr 22, s. 169–183. — Bibliogr. s. 181–183, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

2
  • Application of deductive reasoning to the verification of ArchiMate behavioral elementsZastosowanie wnioskowania dedukcyjnego do weryfikacji opisów zachowania w języku ArchiMate / Radosław KLIMEK, Piotr SZWED, Stanisław JĘDRUSIK // Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; 29. Informatyka Ekonomiczna = Business Informatics ; ISSN 1507-3858. — 2013 nr 3, s. 76–97. — Bibliogr. s. 96–97, Abstr., Streszcz.. — AITM'2013 : 11th conference on Advanced Information Technologies for Management : Cracow, September 8–11, 2013

  • słowa kluczowe: metoda tablic semantycznych, ArchiMate, wnioskowanie dedukcyjne, weryfikacja oprogramowania, liniowa logika temporalna

    keywords: semantic tableaux method, ArchiMate, deductive temporal reasoning, software verification, Linear Temporal Logic

3
  • Automatyczna weryfikacja modelu na etapie analizy wymagańAutomatic verification of the model at the stage of requirements analysis / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: Inżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk). — ISBN: 978-83-926806-5-9. — S. 209–216. — Bibliogr. s. 216, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

4
  • A deduction-based system for formal verification of agent-ready Web services / Radosław KLIMEK // W: Advanced methods and technologies for agent and multi-agent systems : KES-AMSTA 2013 : [7th KES Conference on Agent and Multi-Agent Systems – Technologies and Applications : May 27–29, 2013, Hue, Vietnam] / eds. Dariusz Barbucha, [et al.]. — Amsterdam : IOS Press, cop. 2013. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 252). — ISBN: 978-1-61499-253-0 ; e-ISBN: 978-1-61499-254-7. — S. 203–212. — Bibliogr. s. 212, Abstr.

  • keywords: design patterns, agents, temporal logic, deduction, semantic tableaux, verification, web services, BPEL

5
  • A system for deduction-based formal verification of workflow-oriented software models / Radosław KLIMEK // International Journal of Applied Mathematics and Computer Science ; ISSN 1641-876X. — 2014 vol. 24 no. 4, s. 941–956. — Bibliogr. s. 954–956

  • keywords: temporal logic, semantic tableaux, BPMN, formal verification, deductive reasoning, generating logical specification, workflow patterns, logical primitives, business models

6
  • Behavior recognition and analysis in smart environments for context-aware applications / Radosław KLIMEK // W: SMC 2015 [Dokument elektroniczny] : the 2015 IEEE international conference on Systems, Man, and Cybernetics : 9–12 October 2015, Hong Kong : proceedings. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : IEEE, cop. 2015. — e-ISBN: 978-1-4799-8696-5. — S. 1949–1955. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=7379472 [2016-01-27]. — Bibliogr. s. 1955, Abstr.

  • keywords: temporal logic, semantic tableaux, context-awareness, unified logical framework, sensorized environment

7
  • Business process formal verification approach based on deductive reasoning / Radosław KLIMEK, Paweł SKRZYŃSKI // W: Zarządzanie przedsiębiorstwem – teoria i praktyka [Dokument elektroniczny] : XII międzynarodowa konferencja naukowa : 27–28 maja 2010, Kraków : materiały konferencyjne / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Zarządzania. — Wersja do Windows. — Dane tekstowe. — Kraków : WZ AGH, 2010. — 1 dysk optyczny. — Opis częśc. wg CD-ROM-u. — S. [1–11]. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. [11], Summ.

  • brak zdefiniowanych słów kluczowych

8
  • Business process formal verification approach based on deductive reasoning / Radosław KLIMEK, Paweł SKRZYŃSKI // W: Production engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — ISBN: 978-83-7464-370-2. — S. 115–125. — Bibliogr. s. 125, Abstr.

  • brak zdefiniowanych słów kluczowych

9
  • Context-aware and pro-active queue management systems in intelligent environments / Radosław KLIMEK // W: FedCSIS [Dokument elektroniczny] : proceedings of the 2017 Federated Conference on Computer Science and Information Systems : September, 3–6, 2017, Prague, Czech Republic / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : PTI, IEEE, [2017]. — S. 1093–1100. — Wymagania systemowe: Adobe Reader ; Dysk Flash. — Bibliogr. s. 1100, Abstr.

  • keywords: context-awareness, IoT, queue, intelligent environment, queue management system

10
  • Deduction-based formal verification of requirements models with automatic generation of logical specifications / Radosław KLIMEK // W: Evaluation of Novel Approaches to Software Engineering : 7th international conference ENASE 2012 : Wrocław, Poland, June 29–30, 2012 : revised selected papers / eds. Leszek A. Maciaszek, Joaquim Filipe. — Berlin ; Heidelberg : Springer, cop. 2013. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 410). — ISBN: 978-3-642-45421-9 ; e-ISBN: 978-3-642-45422-6. — S. 157–171

  • keywords: design patterns, UML, temporal logic, requirements engineering, formal verification, deductive reasoning, use case scenarios, semantic tableaux method, workflows, use case diagram, activity diagram, logical modeling, generation formulas

11
  • Deduction-based modelling and verification of agent-based systems for data integration / Radosław KLIMEK, Łukasz FABER, Marek KISIEL-DOROHINICKI // W: Man-machine interactions 3 : [ICMMI 2013 : 3rd International Conference on Man-Machine Interactions : Brenna, October 22nd–25th, 2013] / eds. Aleksandra Gruca, Tadeusz Czachórski, Stanisław Kozielski. — Switzerland : Springer International Publishing, cop. 2014. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 242). — ISBN: 978-3-319-02308-3 ; e-ISBN: 978-3-319-02309-0. — S. 361–368. — Bibliogr. s. 368, Abstr.

  • keywords: multi-agent systems, temporal logic, formal verification, deductive reasoning, activity diagrams, workflows patterns

12
  • Deduction based verification of business modelsWeryfikacja modeli biznesowych metodą dedukcyjną / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: Advanced information technologies for management : AITM 2010 / eds. Jerzy Korczak, Helena Dudycz, Mirosław Dyczkowski. — Wrocław : Publishing House of Wrocław University of Economics, 2010. — (Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; nr 147). — ISBN: 978-83-7695-083-9. — S. 173–188. — Bibliogr. s. 187–188, Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

13
  • Formalna analiza poprawności modeli usług sieciowych[Formal analysis of correctness of the web services models] / Radosław KLIMEK, Grzegorz ROGUS // W: Integracja systemów informatycznych – nowe wyzwania / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2011. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk ; 10). — ISBN: 978-83-926806-7-3. — S. 213–220. — Bibliogr. s. 220

  • brak zdefiniowanych słów kluczowych

14
  • Formal analysis of use case diagramsFormalna analiza diagramów przypadków użycia / Radosław KLIMEK, Piotr SZWED // Computer Science ; ISSN 1508-2806. — 2010 vol. 11, s. 115–131. — Bibliogr. s. 130–131. — tekst: http://journals.bg.agh.edu.pl/COMPUTER/2010/cs2010-08.pdf

  • słowa kluczowe: UML, przypadek użycia, model formalny, weryfikacja, weryfikacja modelowa, logika temporalna, metoda tablic semantycznych

    keywords: UML, use case, formal model, verification, model checking, temporal logic, semantic tableau

15
  • From extraction of logical specifications to deduction-based formal verification of requirements models / Radosław KLIMEK // W: Software Engineering and Formal Methods : 11th international conference, SEFM 2013 : Madrid, Spain, September 25–27, 2013 : proceedings / eds. Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. — Berlin ; Heidelberg : Springer-Verlag, cop. 2013. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; 8137). — ISBN: 978-3-642-40560-0 ; e-ISBN: 978-3-642-40561-7. — S. 61–75. — Bibliogr. s. 75, Abstr.

  • keywords: temporal logic, requirements engineering, formal verification, deductive reasoning, use case diagrams, use case scenarios, activity diagrams, workflows patterns, logical specifications, semantic tableaux method

16
  • From workflow design patterns to logical specificationsOdwzorowanie wzorców projektowych w specyfikację logiczną systemu / Radosław KLIMEK // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2013 vol. 17 no. 1, s. 59–63. — Bibliogr. s. 63, Summ., Streszcz.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.1/automat.2013.17.1.59.pdf

  • słowa kluczowe: wzorce projektowe, logika temporalna, weryfikacja formalna, dedukcja, tablice semantyczne, generowanie specyfikacji logicznej

    keywords: design patterns, temporal logic, deduction, formal verification, semantic tableux, generating logical specification

17
  • Mapping population and mobile pervasive datasets into individual behaviours for urban ecosystems / Radosław KLIMEK // W: Artificial intelligence and soft computing : 15th international conference, ICAISC 2016 : Zakopane, Poland, June 12–16, 2016 : proceedings, Pt. 1 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — (Lecture Notes in Artificial Intelligence ; ISSN 0302-9743 ; 9692). — ISBN: 978-3-319-39377-3 ; e-ISBN: 978-3-319-39378-0. — S. 683–694. — Bibliogr. s. 694, Abstr.. — Toż na Dysku Flash

  • keywords: multi-agent system, pervasive dataset, mobile phone network, base transaceiver station, urban ecosystem, individual behavior recognition, tourist movement

18
19
  • Modeling context-aware and agent-ready systems for the outdoor smart lighting / Radosław KLIMEK, Grzegorz ROGUS // W: Artificial Intelligence and Soft Computing : 13th International Conference, ICAISC 2014 : Zakopane, Poland, June 1–5, 2014 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham, [etc.] : Springer, cop. 2014. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 8468). — ISBN: 978-3-319-07175-6 ; e-ISBN: 978-3-319-07176-3. — S. 257–268. — Bibliogr. s. 267–268, Abstr.

  • keywords: context-awareness, activity diagrams, smart lighting, system architecture, pervasive computing, Ambient Intelligence, Context-Modeling Language

20
  • Preference models and their elicitation and analysis for context-aware applications / Radosław KLIMEK // W: Man-machine interactions 3 : [ICMMI 2013 : 3rd International Conference on Man-Machine Interactions : Brenna, October 22nd–25th, 2013] / eds. Aleksandra Gruca, Tadeusz Czachórski, Stanisław Kozielski. — Switzerland : Springer International Publishing, cop. 2014. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 242). — ISBN: 978-3-319-02308-3 ; e-ISBN: 978-3-319-02309-0. — S. 353–360. — Bibliogr. s. 360, Abstr.

  • keywords: temporal logic, requirements engineering, deductive reasoning, context-aware systems, preference models, preference patterns, pervasive applications

21
  • Problemy bezpieczeństwa w inteligentnych sieciach energetycznych[Security considerations of smart grid networks] / Leszek KOTULSKI, Sebastian ERNST, Radosław KLIMEK, Rafał MRÓWKA, Adam SĘDZIWY, Igor WOJNICKI // W: Nowoczesne systemy łączności i transmisji danych na rzecz bezpieczeństwa : szanse i zagrożenia / red. nauk. Andrzej R. Pach, Zbigniew Rau, Michał Wągrowski. — Warszawa : Wolters Kluwer Polska SA, 2013. — ISBN: 978-83-264-4255-1. — S. 518–538. — Bibliogr. s. 536–537, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

22
  • Proposal of a context-aware smart home ecosystem / Radosław KLIMEK, Grzegorz ROGUS // W: Artificial Intelligence and Soft Computing : 14th International Conference, ICAISC 2015 : Zakopane, Poland, June 14–18, 2015 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham, [etc.] : Springer, cop. 2015. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; LNAI 9120). — ISBN: 978-3-319-19368-7 ; e-ISBN: 978-3-319-19369-4. — S. 412–423. — Bibliogr. s. 422–423, Abstr.

  • keywords: SOA, context-awareness, web service, pervasive computing, smart home, ecosystem, smart scenario, context modeling, context reasoning, architecture for smart homes

23
  • Proposal of a multiagent-based smart environment for the IoT / Radosław KLIMEK, Leszek KOTULSKI // W: Workshop proceedings of the 10th international conference on intelligent environments / eds. Juan C. Augusto, Tongzhen Zhang. — Amsterdam: IOS Press BV, cop. 2014. — (Ambient Intelligence and Smart Environments ; ISSN 1875-4163 ; Vol. 18). — ISBN: 978-61499-410-7 ; e-ISBN: 978-1-61499-411-4. — S. 37–44. — Bibliogr. s. 44, Abstr.

  • keywords: reasoning, agents, temporal logic, context-awareness, preference models, graph structure

24
  • Proposal of a multi-agent system for a smart outdoor lighting environment / Radosław KLIMEK // W: Artificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; LNAI 10246). — Toż na Dysku Flash. — ISBN: 978-3-319-59059-2 ; e-ISBN: 978-3-319-59060-8. — S. 255–266. — Bibliogr. s. 266, Abstr.

  • keywords: multi-agent system, pervasive computing, smart scenario, IoT, smart outdoor lighting, JADE

25
  • Proposal to improve the requirements process through formal verification using deductive approach / Radosław KLIMEK // W: ENASE 2012 : proceedings of the 7th international conference on Evaluation of Novel Approaches to Software Engineering : Wrocław, Poland, 29–30 June, 2012 / eds. Joaquim Filipe, Leszek Maciaszek. — Portugal : SciTePress – Science and Technology Publications, cop. 2012 + CD-ROM. — ISBN: 978-989-8565-13-6. — S. 105–114. — Bibliogr. s. 113–114, Abstr.

  • brak zdefiniowanych słów kluczowych