Wykaz publikacji wybranego autora

Leszek Kotulski, prof. dr hab.

profesor zwyczajny

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

[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-0164-0048 orcid iD

ResearcherID: C-8435-2013

Scopus: 22980169200

PBN: 5e70922b878c28a04739116a

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
  • [artykuł w czasopiśmie, 2011]
  • TytułAlgorytm scalania diagramów stanu w modelowaniu systemów wbudowanych
    AutorzyLeszek KOTULSKI, Adam SĘDZIWY
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2011 t. 15 z. 3, s. 377–388. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-03/Auto_2011_3_26.pdf

  • słowa kluczowe: systemy wbudowane, Alvis, grafy LTS

    keywords: embedded systems, Alvis, LTS graphs

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy

    cyfrowy identyfikator dokumentu:

2
3
  • [artykuł w czasopiśmie, 2011]
  • TytułGRADIS – środowisko dla Rozproszonych Transformacji Grafowych (z perspektywy pięciu lat badań)
    AutorzyLeszek KOTULSKI
    ŹródłoPAR Pomiary Automatyka Robotyka. — 2011 R. 15 nr 12, s. 150–151

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • [referat, 2011]
  • TytułGraph representation of hierarchical Alvis model structure
    AutorzyL. KOTULSKI, M. SZPYRKA
    ŹródłoFCS 2011 : proceedings of the 2011 international conference on Foundations of Computer Science : Worldcomp'11 : July 18–21, 2011, Las Vegas Nevada, USA / eds. Hamid R. Arabnia, George A. Gravvanis, Ashu M. G. Solo. — USA : CSREA Press, cop. 2011. — S. 95–101

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

5
  • [fragment książki, 2011]
  • TytułInter-agent communication protocol supporting distributed graph transformations
    AutorzyLeszek KOTULSKI, Adam SĘDZIWY
    ŹródłoProblems of dependability and modelling / eds. Jacek Mazurkiewicz, [et al.]. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2011. — S. 143–156

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy

    cyfrowy identyfikator dokumentu:

6
  • [artykuł w czasopiśmie, 2011]
  • TytułIntroduction to modelling embedded systems with Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Leszek KOTULSKI
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2011 t. 15 z. 2, s. 435–442. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-02/Auto43.pdf

  • słowa kluczowe: metody formalne, Alvis, weryfikacja systemów wbudowanych, modelowanie systemów wbudowanych

    keywords: formal methods, Alvis, embedded systems modelling, embedded systems verification

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

7
  • [referat, 2011]
  • TytułLabelled transition system generation from Alvis language
    AutorzyLeszek KOTULSKI, Marcin SZPYRKA, Adam SĘDZIWY
    ŹródłoKnowledge-based and intelligent information and engineering systems : 15th international conference, KES 2011 : Kaiserslautern, Germany, September 12–14, 2011 : proceedings, Pt. 1 / eds. Andreas König, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 180–189

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Adam Sędziwy

    cyfrowy identyfikator dokumentu:

8
  • [referat, 2011]
  • TytułModelling of signals handling with Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI
    ŹródłoMIXDES 2011 : mixed design of integrated circuits and systems : 18textsuperscript{th} international conference : Gliwice, Poland, 16–18 June, 2011 : book of abstracts / ed. Andrzej Napieralski. — Łódź : Technical University of Łódź. Department of Microelectronics & Computer Science, cop. 2011. — S. 160

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

9
  • [referat w czasopiśmie, 2011]
  • TytułMulti-agent system for distributed adaptive design
    AutorzyLeszek KOTULSKI, Barbara Strug
    ŹródłoKey Engineering Materials. — 2011 vol. 486 spec. iss., s. 217–220

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.4028/www.scientific.net/KEM.486.217

10
  • [referat, 2011]
  • TytułParallel graph transformations supported by replicated complementary graphs
    AutorzyLeszek KOTULSKI, Adam SĘDZIWY
    ŹródłoAdaptive and natural computing algorithms : 10th International Conference, ICANNGA 2011 : Ljubljana, Slovenia, April 14–16, 2011 : proceedings, Pt. 2 / eds. Andrej Dobnikar, Uroš Lotrič, Branko Šter. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 254–264

  • keywords: distributed computing, graph transformations

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy

    cyfrowy identyfikator dokumentu:

11
  • [referat, 2011]
  • TytułSnapshot reachability graphs for Alvis models
    AutorzyMarcin SZPYRKA, Leszek KOTULSKI
    ŹródłoKnowledge-based and intelligent information and engineering systems : 15th international conference, KES 2011 : Kaiserslautern, Germany, September 12–14, 2011 : proceedings, Pt. 1 / eds. Andreas König, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 190–199

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

12
13
  • [referat, 2011]
  • TytułSpecification of embedded systems environment behaviour with Alvis modelling language
    AutorzyM. SZPYRKA, L. KOTULSKI, P. MATYASIK
    ŹródłoESA 2011 : proceedings of the 2011 international conference on Embedded Systems & Applications : July 18–21, 2011, Las Vegas / eds. Hamid R. Arabnia, Ashu M. G. Solo. — USA : CSREA Press, cop. 2011. — S. 79–85

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik

    cyfrowy identyfikator dokumentu: