Wykaz publikacji wybranego autora

Marcin Szpyrka, 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-0003-4925-3271 orcid iD

ResearcherID: B-8372-2013

Scopus: 6507007631

PBN: 5e70922c878c28a047391204

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
  • Alvis – modelling language for concurrent systems
2
  • Detekcja zakleszczenia w systemie ABS z zastosowaniem języka Alvis
3
  • Formal verification of embedded systems using the Alvis approach
4
  • Graph representation of hierarchical Alvis model structure
5
  • Introduction to Alvis modelling language
6
  • Introduction to Alvis modelling language
7
  • Introduction to modelling embedded systems with Alvis
8
  • Labelled transition system generation from Alvis language
9
  • Metody modelowania, oceny jakości oraz weryfikacji reguł i procesów biznesowych
10
  • Modelling concurrent systems with Alvis
11
  • Modelling of signals handling with Alvis
12
  • Practical approach to modelling and verification of concurrent systems with Alvis
13
  • Priority inversion detection in alvis models
14
  • Proposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods
15
  • Proposal of formal verification of selected BPMN models with Alvis modeling language
16
  • Prototypes of a Web system for citizen provided information, automatic knowledge extraction, knowledge management and GIS integration
17
  • Snapshot reachability graphs for Alvis models
18
  • Specification of embedded systems environment behaviour with Alvis modelling language
19
  • Specyfikacja otoczenia systemów wbudowanych modelowanych w języku Alvis