Wykaz publikacji wybranego autora

Michał Wypych, mgr inż.

asystent

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

[dyscyplina wiodąca] 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-6239-2949

ResearcherID: brak

Scopus: 56005385500

PBN: 3928255

System Informacyjny AGH (SkOs)





Liczba pozycji spełniających powyższe kryteria selekcji: 12, z ogólnej liczby 12 publikacji Autora


1
  • [referat, 2013]
  • TytułAlvis language with time dependence
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Michał WYPYCH
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — S. 114
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • [artykuł w czasopiśmie, 2017]
  • TytułA survey of Alvis communication modes
    AutorzyMarcin SZPYRKA, Jerzy BIERNACKI, Piotr MATYASIK, Michał WYPYCH
    ŹródłoInternational Journal of Microelectronics and Computer Science. — 2017 vol. 8 no. 1, s. 1–9
  • keywords: real-time systems, Alvis language, communication modes, concurrent systems

    cyfrowy identyfikator dokumentu:

3
  • [referat, 2016]
  • TytułCommunication between agents in Alvis language
    AutorzyPiotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI
    ŹródłoMIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — S. 128
  • keywords: embedded systems, concurrent systems, Alvis language, nonblocking communication, blocking communication

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2016.7529784

4
5
  • [referat, 2015]
  • TytułExtension of Alvis Compiler front-end
    AutorzyMichał WYPYCH, Marcin SZPYRKA, Piotr MATYASIK
    ŹródłoICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — S. 100015-1–100015-4
  • keywords: formal verification, Alvis language, Alvis Compiler, compiler plugins

    cyfrowy identyfikator dokumentu: 10.1063/1.4938892

6
  • [referat, 2015]
  • TytułGeneration of Java code from Alvis model
    AutorzyPiotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH
    ŹródłoICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — S. 100013-1–100013-4
  • keywords: embedded systems, formal verification, Alvis modelling language, Alvis to Java translation, executable model

    cyfrowy identyfikator dokumentu: 10.1063/1.4938890

7
  • [referat, 2013]
  • TytułGeneration of labelled transition systems for Alvis models using Haskell model representation
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Michał WYPYCH
    ŹródłoCS&P'2013 [Dokument elektroniczny] : proceedings of the international workshop : Warsaw, 25–27 September 2013 / eds. Marcin Szczuka, Ludwik Czaja, Magdalena Kacprzak. — Białystok : Białystok University of Technology, 2013. — S. [1–12]
  • keywords: formal verification, Alvis, Haskell, labelled transition system

    cyfrowy identyfikator dokumentu:

8
  • [artykuł w czasopiśmie, 2016]
  • TytułHierarchical communication diagrams
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Jerzy BIERNACKI, Agnieszka BIERNACKA, Michał WYPYCH, Leszek KOTULSKI
    ŹródłoComputing and Informatics / Slovak Academy of Sciences. Institute of Informatics. — 2016 vol. 35 no. 1, s. 55–83
  • keywords: Alvis language, hierarchical communication diagrams, flat representation, analysis operation, synthesis operation

    cyfrowy identyfikator dokumentu:

9
10
  • [referat, 2016]
  • TytułPriority management in Alvis language
    AutorzyMarcin SZPYRKA, Agnieszka BIERNACKA, Jerzy BIERNACKI, Michał WYPYCH
    ŹródłoMIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — S. 131
  • keywords: real-time systems, concurrent systems, Alvis language, priorities of processes

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2016.7529787

11
  • [referat, 2017]
  • TytułSimulation of multi-agent systems with Alvis Toolkit
    AutorzyMarcin SZPYRKA, Piotr Matysiak, Łukasz PODOLSKI, Michał WYPYCH
    ŹródłoArtificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — S. 599–608
  • keywords: multi-agent systems, simulation, Alvis language, Alvis Toolkit, AI systems

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-59060-8_54

12
  • [referat, 2017]
  • TytułSupporting BPMN process models with UML sequence diagrams for representing time issues and testing models
    AutorzyAnna Suchenia (Mroczek), Krzysztof KLUZA, Krystian JOBCZYK, Piotr WIŚNIEWSKI, Michał WYPYCH, Antoni LIGĘZA
    ŹródłoArtificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — S. 589–598
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-59060-8_53