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
2
  • Formal verification of embedded systems using the Alvis approach
3
  • GRADIS – środowisko dla Rozproszonych Transformacji Grafowych (z perspektywy pięciu lat badań)
4
  • Graph representation of hierarchical Alvis model structure
5
  • Inter-agent communication protocol supporting distributed graph transformations
6
  • Introduction to modelling embedded systems with Alvis
7
  • Labelled transition system generation from Alvis language
8
  • Modelling of signals handling with Alvis
9
  • Multi-agent system for distributed adaptive design
10
  • Parallel graph transformations supported by replicated complementary graphs
11
  • Snapshot reachability graphs for Alvis models
12
  • Solving large-scale multipoint lighting design problem using multi-agent environment
13
  • Specification of embedded systems environment behaviour with Alvis modelling language