Wykaz publikacji wybranego autora

Tomasz Bartłomiej Szmuc, prof. dr hab. inż.

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-4922-5369 orcid iD

ResearcherID: J-3955-2014

Scopus: 6602953396

PBN: 5e70922c878c28a047391201

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
2
  • [materiały konferencyjne (red.), 2012]
  • TytułAdvances in software engineering techniques : 4th IFIP TC 2 Central and East European conference on Software Engineering Techniques, CEE-SET 2009 : Krakow, Poland, October 12–14, 2009 : revised selected papers
    Autorzyeds. Tomasz SZMUC, Marcin SZPYRKA, Jaroslav Zendulka
    DetailsHeidelberg, [etc.] : Springer, cop. 2012. — XII, 256, [1] s.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-28038-2

3
4
5
6
  • [referat, 2020]
  • TytułConsistency preserving development of embedded systems using AADL
    AutorzyTomasz SZMUC, Wojciech SZMUC
    ŹródłoMIXDES 2020 [Dokument elektroniczny] : proceedings of 27textsuperscript{th} international conference Mixed Design of integrated circuits and systems : Łódź, Poland, June 25–27, 2020 / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology, cop. 2020. — S. 245–248

  • keywords: embedded systems, temporal logic verification, translation into CPN, AADL

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Szmuc

    cyfrowy identyfikator dokumentu:

7
8
  • [referat, 2007]
  • TytułDecision tables in Petri net models
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoRough sets and intelligent systems paradigms : international conference, RSEISP 2007 : Warsaw, Poland, June 28–30, 2007 : proceedings / eds. Marzena Kryszkiewicz [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2007. — S. 648–657

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

9
  • [fragment książki, 2013]
  • TytułDesign and verification of rule-based systems for Alvis models
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoRough sets and intelligent systems – Profesor Zdzisław Pawlak in memoriam, Vol. 2 / eds. Andrzej Skowron, Zbigniew Suraj. — Berlin ; Heidelberg : Springer-Verlag, 2013. — S. 539–558

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

10
  • [referat, 2015]
  • TytułFormal methods - support or scientific decoration in software development
    AutorzyTomasz SZMUC, Marcin SZPYRKA
    ŹródłoMIXDES 2015 : mixed design of integrated circuits and systems : Toruń, Poland June 25–27, 2015 : book of abstracts of 22textsuperscript{nd} international conference / ed. Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2015. — S. 19

  • keywords: temporal logic, Petri nets, embedded systems, software development, process algebra, Alvis language

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2015.7208473

11
  • [artykuł w czasopiśmie, 2016]
  • TytułFrom UML object behavior description into Petri net models : towards systematic development of embedded systems
    AutorzyWojciech SZMUC, Tomasz SZMUC
    ŹródłoInternational Journal of Microelectronics and Computer Science. — 2016 vol. 7 no. 2, s. 60–64. — tekst: https://ijmcs.dmcs.pl/documents/10630/212938/IJMCS_2_2016_4.pdf

  • keywords: UML, model, object, formal, Petri, queue, event, state machine

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Szmuc

    cyfrowy identyfikator dokumentu:

12
  • [fragment książki, 2012]
  • TytułGeneral information about the KIC innoenergy Co-Location Center
    AutorzyRafał MRÓWKA, Tomasz SZMUC
    ŹródłoDevelopment of coal, biomass and wastes gasification technologies with particular interest in chemical sequestration of $CO_{2}$ : a monograph / sci. ed. Andrzej Strugała. — Kraków : AKNET, 2012. — S. 9–16

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Rafał Mrówka

    cyfrowy identyfikator dokumentu:

13
  • [artykuł w czasopiśmie, 2010]
  • TytułHTCPNs – based analysis of priority-based Internet requests scheduling
    AutorzySławomir Samolej, Tomasz SZMUC
    ŹródłoPrzegląd Elektrotechniczny / Stowarzyszenie Elektryków Polskich. — 2010 R. 86 nr 9, s. 174–178

  • keywords: performance evaluation, Hierarchical Timed Coloured Petri Nets, Web-Server Systems, Static and dynamic priority-based scheduling algorithms

    cyfrowy identyfikator dokumentu:

14
  • [referat, 2012]
  • TytułHTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration
    AutorzySławomir Samolej, Tomasz SZMUC
    ŹródłoAdvances in software engineering techniques : 4th IFIP TC 2 Central and East European conference on Software Engineering Techniques, CEE-SET 2009 : Krakow, Poland, October 12–14, 2009 : revised selected papers / eds. Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. — Heidelberg, [etc.] : Springer, cop. 2012. — S. 97–108

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15
  • [artykuł w czasopiśmie, 2009]
  • TytułImproving dependability of automation for free electron laser FLASH
    AutorzyBoguslaw Kosęda, Tomasz SZMUC, Wojciech Cichalewski
    ŹródłoJournal of Automation, Mobile Robotics & Intelligent Systems : JAMRIS. — 2009 vol. 3 no. 1, s. 33–39. — tekst: http://www.jamris.org/images/ISSUES/ISSUE-2009-01/007%20JAMRIS%20No9%20-%20Koseda.pdf

  • keywords: formal methods, automation, model checking, prolog, expert system, flash

    cyfrowy identyfikator dokumentu:

16
  • [referat w czasopiśmie, 2011]
  • TytułKIC InnoEnergy Innovation in Sustainable Energy
    AutorzyTomasz SZMUC
    ŹródłoBiuletyn Polskiego Stowarzyszenia Wodoru i Ogniw Paliwowych. — 2011 nr 6, S. 123–124

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

17
  • [artykuł w czasopiśmie, 2010]
  • TytułKrakowski Węzeł we Wspólnocie Wiedzy i Innowacji KIC-InnoEnergy
    AutorzyTomasz SZMUC
    ŹródłoBiuletyn Polskiego Stowarzyszenia Wodoru i Ogniw Paliwowych. — 2010 nr 5, s. 87

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

18
  • [fragment książki, 2008]
  • TytułMetoda modelowania i projektowania klastrów WWW z zastosowaniem kolorowanych sieci Petriego
    AutorzyTomasz SZMUC
    ŹródłoInżynieria oprogramowania – od teorii do praktyki : praca zbiorowa / pod red. Zbigniewa Huzara, Zygmunta Mazura. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2008. — S. 49–58

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

19
20
  • [referat, 2012]
  • TytułModeling robot behavior with CCL
    AutorzyKonrad KUŁAKOWSKI, Tomasz SZMUC
    ŹródłoSimulation, modelling, and programming for autonomous robots : third international conference, SIMPAR 2012 : Tsukuba, Japan, November 5–8, 2012 : proceedings / eds. Itsuki Noda, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2012. — S. 40–51

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Konrad Kułakowski

    cyfrowy identyfikator dokumentu:

21
  • [referat, 2016]
  • TytułModeling UML object event handling with Petri Nets : towards improvement of embedded systems analysis and design
    AutorzyWojciech SZMUC, Tomasz SZMUC
    Ź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. 129

  • keywords: UML, model, object, formal, Petri, queue, event

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Szmuc

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2016.7529785

22
  • [fragment monografii pokonferencyjnej, 2022]
  • TytułNowoczesne metody wytwarzania oprogramowania systemów cyberfizycznych
    AutorzyTomasz SZMUC, Rafał MRÓWKA, Paweł SKRZYŃSKI, Grzegorz ROGUS, Wojciech SZMUC, Jacek PIWOWARCZYK, Marek Brańka, Jakub Ficoń
    ŹródłoNauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — S. 83–98

  • słowa kluczowe: sieci Petriego, rzeczywistość wirtualna, systemy cyberfizyczne, AADL, SysML

    keywords: Petri nets, virtual reality, AADL, SysML, cyber physical systems

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Paweł Skrzyński, Jacek Piwowarczyk, Wojciech Szmuc, Rafał Mrówka

    cyfrowy identyfikator dokumentu: 10.7494/978-83-67427-00-5_6

23
  • [referat, 2020]
  • TytułRigorous development of embedded systems supported by formal tools
    AutorzyTomasz SZMUC, Wojciech SZMUC
    ŹródłoMIXDES 2020 [Dokument elektroniczny] : proceedings of 27textsuperscript{th} international conference Mixed Design of integrated circuits and systems : Łódź, Poland, June 25–27, 2020 / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology, cop. 2020. — S. 272–276

  • keywords: embedded systems, temporal logic verification, translation into formal models

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Szmuc

    cyfrowy identyfikator dokumentu:

24
  • [referat, 2018]
  • TytułTowards embedded systems formal verification
    AutorzyWojciech SZMUC, Tomasz SZMUC
    ŹródłoMIXDES 2018 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : book of abstracts of 25textsuperscript{th} international conference : Gdynia, Poland, June 21–23, 2018 / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2018. — S. 120

  • keywords: embedded systems, formal verification, systems models

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Szmuc

    cyfrowy identyfikator dokumentu: 10.23919/MIXDES.2018.8436870

25
  • [artykuł w czasopiśmie, 2008]
  • TytułWspomnienie o profesorze Antonim Pachu
    AutorzyTomasz SZMUC
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2008 t. 12 z. 1, s. 15–18. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2008-01/Auto01.pdf

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: