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

    cyfrowy identyfikator dokumentu: 10.3233/978-1-61499-254-7-203

2

  • 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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-45422-6_11

3

  • 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 ; LNCS 8137. Programming and Software Engineering ; ISSN 2945-915X). — 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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-40561-7_5

4

  • State-space reduction through preference modeling / Radosław KLIMEK, Igor WOJNICKI, Sebastian ERNST // W: Artificial Intelligence and Soft Computing : 12th International Conference, ICAISC 2013 : Zakopane, Poland, June 9–13, 2013 : proceedings, Pt. 2 / eds. Leszek Rutkowski [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2013. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 7895. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-38609-1 ; e-ISBN: 978-3-642-38610-7. — s. 363–374. — Bibliogr. s. 373–374, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-38610-7_34

5

  • Temporal preference models and their deduction-based analysis for pervasive applications / Radosław KLIMEK // W: PECCS 2013 : proceedings of the 3rd international conference on Pervasive Embedded Computing and Communication Systems : Barcelona, Spain 19–21 February, 2013 / ed. César Benavente-Peces, Joaquim Filipe. — [Barcelona] : SCITEPRESS, cop. 2013. — ISBN: 978-989-8565-43-3. — S. 131–134. — Bibliogr. s. 134, Abstr.

  • keywords: temporal logic, preference modeling, context aware applications, patterns, deduction, semantic tableaux

    cyfrowy identyfikator dokumentu:

6

  • Towards deductive-based support for software development processes / Radosław KLIMEK // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — Opis częśc. wg okł.. — ISBN: 978-1-4673-4471-5. — S. 105. — Pełny tekst na dołączonym Dysku Flash. — S. 1439–1442. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1442, Abstr.. — W bazie Web of Science wersja drukowana: 2013 Federated Conference on Computer Science and Information Systems (FEDCSIS). — ISBN 978-1-4673-4471-5. — S. 1389–1392

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7

  • Verification of ArchiMate process specifications based on deductive temporal reasoning / Radosław KLIMEK, Piotr SZWED // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — Opis częśc. wg okł.. — ISBN: 978-1-4673-4471-5. — S. 88. — Pełny tekst na dołączonym Dysku Flash. — S. 1135–1142. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1142, Abstr.. — W bazie Web of Science wersja drukowana: 2013 Federated Conference on Computer Science and Information Systems (FEDCSIS). — ISBN 978-1-4673-4471-5. — S. 1109–1116

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

8

  • Verifying data integration agents with deduction-based models / Radosław KLIMEK, Łukasz FABER, Marek KISIEL-DOROHINICKI // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — Opis częśc. wg okł.. — ISBN: 978-1-4673-4471-5. — S. 84. — Pełny tekst na dołączonym Dysku Flash. — S. 1053–1059. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1059, Abstr.. — W bazie Web of Science wersja drukowana: 2013 Federated Conference on Computer Science and Information Systems (FEDCSIS). — ISBN 978-1-4673-4471-5. — S. 1029–1035

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: