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

  • Algorytm scalania diagramów stanu w modelowaniu systemów wbudowanych — Algorithm of state diagrams merging in embedded systems modeling / Leszek KOTULSKI, Adam SĘDZIWY // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 3, s. 377–388. — Bibliogr. s. 387–388, Streszcz., Summ.. — 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

  • Formal verification of embedded systems using the Alvis approach / Leszek KOTULSKI, Marcin SZPYRKA // Key Engineering Materials ; ISSN 1013-9826. — 2011 vol. 486 spec. iss., s. 209–212. — Bibliogr. s. 212, Abstr.. — Zastosowano procedurę peer review. — Advanced design and manufacture IV / guest eds. Daizhong Su, Kai Xue, Shifan Zhu. — tekst: http://www.scientific.net/KEM.486.209.pdf

  • keywords: embedded systems, formal verification, graphical modelling

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

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

3

  • GRADIS – środowisko dla Rozproszonych Transformacji Grafowych (z perspektywy pięciu lat badań) — GRADIS – environment for Distributed Graph Transformation (from the five year perspective) / Leszek KOTULSKI // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 150–151. — Bibliogr. s. 150–151, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4

  • Introduction to modelling embedded systems with Alvis — Wprowadzenie do modelowania systemów wbudowanych w języku Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Leszek KOTULSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 2, s. 435–442. — Bibliogr. s. 442, Streszcz., Summ.. — 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:

5

  • Multi-agent system for distributed adaptive design / Leszek KOTULSKI, Barbara Strug // Key Engineering Materials ; ISSN 1013-9826. — 2011 vol. 486 spec. iss., s. 217–220. — Bibliogr. s. 220, Abstr.. — Zastosowano procedurę peer review. — Advanced design and manufacture IV / guest eds. Daizhong Su, Kai Xue, Shifan Zhu

  • brak zdefiniowanych słów kluczowych

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

6

  • Solving large-scale multipoint lighting design problem using multi-agent environment / SĘDZIWY Adam, KOTULSKI Leszek // Key Engineering Materials ; ISSN 1013-9826. — 2011 vol. 486 spec. iss., s. 179–182. — Bibliogr. s. 182, Abstr.. — Zastosowano procedurę peer review. — Advanced design and manufacture IV / guest eds. Daizhong Su, Kai Xue, Shifan Zhu. — tekst: http://www.scientific.net/KEM.486.179.pdf

  • keywords: graph, distributed computing, lightning design, multi-agent system

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

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