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
  • [referat w czasopiśmie, 2013]
  • TytułApplication of deductive reasoning to the verification of ArchiMate behavioral elements
    AutorzyRadosław KLIMEK, Piotr SZWED, Stanisław JĘDRUSIK
    ŹródłoPrace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu ; 29. Informatyka Ekonomiczna = Business Informatics. — 2013 nr 3, s. 76–97

  • 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:

2
  • [artykuł w czasopiśmie, 2013]
  • TytułFrom workflow design patterns to logical specifications
    AutorzyRadosław KLIMEK
    ŹródłoAutomatyka. — 2013 vol. 17 no. 1, s. 59–63. — 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

3
  • [fragment książki, 2013]
  • TytułProblemy bezpieczeństwa w inteligentnych sieciach energetycznych
    AutorzyLeszek KOTULSKI, Sebastian ERNST, Radosław KLIMEK, Rafał MRÓWKA, Adam SĘDZIWY, Igor WOJNICKI
    ŹródłoNowoczesne 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. — S. 518–538

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Igor Wojnicki, Adam Sędziwy, Sebastian Ernst, Leszek Kotulski, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

4
  • [referat, 2013]
  • TytułTowards deductive-based support for software development processes
    AutorzyRadosław KLIMEK
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — S. 105

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • [referat, 2013]
  • TytułVerification of ArchiMate process specifications based on deductive temporal reasoning
    AutorzyRadosław KLIMEK, Piotr SZWED
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — S. 88

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

6
  • [referat, 2013]
  • TytułVerifying data integration agents with deduction-based models
    AutorzyRadosław KLIMEK, Łukasz FABER, Marek KISIEL-DOROHINICKI
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — S. 84

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marek Kisiel-Dorohinicki, Łukasz Faber

    cyfrowy identyfikator dokumentu: