Wykaz publikacji wybranego autora

Radosław Klimek, dr hab. inż., prof. AGH

profesor nadzwyczajny

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

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-9061-561X orcid iD

ResearcherID: ABI-5629-2020

Scopus: 55250240200

PBN: 5e70922b878c28a04739115a

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • 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

    cyfrowy identyfikator dokumentu: 10.2478/amcs-2014-0069

2
3

  • Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych — Formal 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Sebastian Ernst

    cyfrowy identyfikator dokumentu:

4

  • Application of deductive reasoning to the verification of ArchiMate behavioral elements — Zastosowanie 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Szwed, Stanisław Jędrusik

    cyfrowy identyfikator dokumentu:

5
6

  • Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services / Radosław KLIMEK // IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2169-3536. — 2018 vol. 6, s. 27127–27155. — Bibliogr. s. 27154–27155, Abstr.. — Publikacja dostępna online od: 2018-05-09. — tekst: https://ieeexplore-1ieee-1org-1000047eg0052.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=8356586

    orcid iD

  • keywords: pervasive computing, ambient intelligence, Internet of Things, middleware, intelligent environment, rescuing activity, SAT solver, message broker, publish-subscribe, context aware services

    cyfrowy identyfikator dokumentu: 10.1109/ACCESS.2018.2834532

7

  • Formal analysis of use case diagrams — Formalna 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, model checking, temporal logic, semantic tableau, verification

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Szwed

    cyfrowy identyfikator dokumentu:

8

  • From workflow design patterns to logical specifications — Odwzorowanie 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

    cyfrowy identyfikator dokumentu: 10.7494/automat.2013.17.1.59

9
10
11

  • Rozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UML — A BPQL language extension for interactive modeling and formal validation of UML activity diagrams / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2010 t. 14 z. 3/2, s. 915–924. — Bibliogr. s. 924, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto22.pdf

  • słowa kluczowe: logika temporalna, weryfikacja, architektura SOA, diagramy UML, przypadki użycia, narzędzia UML, translacja diagramów UML

    keywords: temporal logic, verification, SOA architecture, UML diagrams, use-case, UML tools, UML diagram translation

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński, Michał Turek

    cyfrowy identyfikator dokumentu:

12

  • Sensor-enabled context-aware and pro-active queue management systems in intelligent environments / Radosław KLIMEK // Sensors [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1424-8220. — 2020 vol. 20 iss. 20 art. no. 5837, s. 1–29. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 26–29, Abstr.. — Publikacja dostępna online od: 2020-10-15. — tekst: https://www.mdpi.com/1424-8220/20/20/5837/pdf

    orcid iD

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

    cyfrowy identyfikator dokumentu: 10.3390/s20205837

13
14

  • Towards recognising individual behaviours from pervasive mobile datasets in urban spaces / Radosław KLIMEK // Sustainability [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2071-1050. — 2019 vol. 11 iss. 6 art. no. 1563, s. 1–25. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 23–25, Abstr.. — Publikacja dostępna online od: 2019-03-14. — tekst: https://www-1mdpi-1com-12vzsev9201c9.wbg2.bg.agh.edu.pl/2071-1050/11/6/1563/pdf

    orcid iD

  • keywords: multi-agent system, pervasive dataset, mobile phone network, urban ecosystem, tourist movement, algorithmization, individual trajectory construction

    cyfrowy identyfikator dokumentu: 10.3390/su11061563

15
16
17

  • Weryfikacja aktywności systemów modelowanych na bazie architektury SOA – prowadzona w oparciu o wymagania zadane diagramami przypadków użycia — Verification of activity for SOA-based systems – carried out on a use-case diagrams requirements / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2010 t. 14 z. 3/2, s. 893–903. — Bibliogr. s. 903, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto20.pdf

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński, Michał Turek

    cyfrowy identyfikator dokumentu:

18

  • Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej — Deduction-based formal verification of business models using temporal logic / Radosław KLIMEK // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 190–193. — Bibliogr. s. 193, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

19

  • Weryfikacja procesów biznesowych metodą tablic semantycznych — Automated process verification with a semantic tables approach / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2010 t. 14 z. 3/2, s. 905–914. — Bibliogr. s. 913–914, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto21.pdf

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński, Michał Turek

    cyfrowy identyfikator dokumentu:

20

  • Zastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA — Deduction based formal verification of SOA compliant enterprise software / Radosław KLIMEK, Paweł SKRZYŃSKI // Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; nr 212. Informatyka Ekonomiczna = Business Informatics ; ISSN 1507-3858. — 2011 nr 22, s. 184–195. — Bibliogr. s. 194–195, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński

    cyfrowy identyfikator dokumentu: