Wykaz publikacji wybranego autora

Piotr Szwed, dr inż.

adiunkt

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-0003-1231-3867 połącz konto z ORCID

ResearcherID: C-8474-2013

Scopus: 55188460100

PBN: 5e70922c878c28a047391206

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
  • Architektury hurtowni danych
2
  • Implementacja semaforów i kolejek komunikatów w systemie CrOS
3
  • INSIGMA [Dokument elektroniczny]
4
  • INSIGMA [Dokument elektroniczny]
5
  • INSIGMA [Dokument elektroniczny]
6
  • Integracja modeli ontologicznych metodyk zarządzania projektami IT na przykładzie zarządzania zmianą
7
  • IOEM – metodyka inżynierii ontologii w projekcie INSIGMA
8
  • Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
9
  • Metody i problemy systemów decyzyjnych
10
  • Poprawność względna sieci Petriego dla liniowej funkcji obserwacji
11
  • Propozycja architektury systemu CrOS
12
  • Reprezentacja ontologiczna klasycznej metodyki zarządzania projektami PMBOK
13
  • SMESDaD – synergetyczna metodyka rozwijania i wdrażania oprogramowania korporacyjnego
14
  • Symulator systemu operacyjnego czasu rzeczywistego uCRTOS
15
  • System i sposób zarządzania regułami sterowania sygnalizacją świetlną na skrzyżowaniu
16
  • System wbudowany z bezpiecznym asynchronicznym interfejsem www
17
  • Weryfikacja poprawności względnej sieci Petriego
18
  • Wykorzystanie ontologii do modelowania zwinnej metodyki zarządzania projektami Scrum
19
  • XQPN – kolorowane sieci Petriego do przetwarzania danych XML za pomocą języka XQUERY
20
  • Zastosowanie diagramów OBDD do weryfikacji tablicowych systemów regułowych
21
  • Zastosowanie języka LOTOS w procesie weryfikacji systemów reaktywnych
22
  • Zastosowanie liniowej funkcji obserwacji do analizy poprawności oprogramowania współbieżnego
23
  • Zastosowanie liniowej funkcji obserwacji do analizy poprawności systemów czasu rzeczywistego
24
  • Zastosowanie liniowej funkcji obserwacji do weryfikacji poprawności systemów czasu rzeczywistego
25
  • Zastosowanie ontologii do wspomagania decyzji w podsystemie wyznaczania trasy INSIGMA