Wykaz publikacji wybranego autora

Michał Wypych, mgr inż.

asystent

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

ORCID: 0000-0002-6239-2949 połącz konto z ORCID

ResearcherID: brak

Scopus: 56005385500

PBN: 5e7092ae878c28a04739a9ef



Statystyka obejmuje publikacje afiliowane AGH od 2008 roku włącznie

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem13193
202211
2018211
2017321
2016321
201522
201322
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem13112
202211
201822
201733
201633
201522
201322
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem1367
202211
201822
2017312
2016321
201522
201322
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem13211
202211
2018211
201733
2016312
201522
201322
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem13121
202211
201822
201733
201633
201522
2013211
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem13121
202211
201822
201733
201633
201522
2013211



1
2
  • [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:

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, non blocking 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
  • [fragment monografii pokonferencyjnej, 2022]
  • TytułJęzyk modelowania Alvis
    AutorzyMarcin SZPYRKA, Michał WYPYCH, Andrei KARATKEVICH, Konrad ZAWORSKI
    ŹródłoNauka – technika – technologia : seria wydawnicza AGH, T. 4. — Kraków : Wydawnictwa AGH, 2022. — S. 135–144
  • słowa kluczowe: systemy czasu rzeczywistego, metody formalne, systemy wbudowane, systemy współbieżne, weryfikacja modelowa, język Alvis

    keywords: formal methods, real time systems, embedded systems, concurrent systems, Alvis language, model verification

    cyfrowy identyfikator dokumentu: 10.7494/978-83-66727-89-2_8

10
  • [referat, 2018]
  • TytułModelling and verification of real-time systems with Alvis
    AutorzyMarcin SZPYRKA, Łukasz PODOLSKI, Michał WYPYCH
    ŹródłoTowards a synergistic combination of research and practice in software engineering : 19th KKIO software engineering conference (KKIO) : Rzeszow, Poland, September 14-16, 2017. — Switzerland : Springer, cop. 2018. — S. 165–178
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-65208-5_12

11
  • [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

12
  • [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

13
  • [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