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
  • Formal verification of embedded systems using the Alvis approach
2
  • Graph representation of hierarchical Alvis model structure
3
  • Labelled transition system generation from Alvis language
4
  • Multi-agent system for distributed adaptive design
5
  • Parallel graph transformations supported by replicated complementary graphs
6
  • Snapshot reachability graphs for Alvis models
7
  • Solving large-scale multipoint lighting design problem using multi-agent environment
8
  • Specification of embedded systems environment behaviour with Alvis modelling language