BPP AGH

Wojciech Szmuc, dr inż.

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-0247-6507 ResearcherID: brak Scopus: 36626711900 PBN: 5e70922c878c28a047391202	OPI Nauka Polska System Informacyjny AGH (SkOs)

Identyfikatory Autora

Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-0247-6507 orcid iD

ResearcherID: brak

Scopus: 36626711900

PBN: 5e70922c878c28a047391202

OPI Nauka Polska

System Informacyjny AGH (SkOs)


Zakres roczników od
Typ publikacji
Publikacje z LF
Publikacje z PM

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

wydruk:

sortowanie:

1

A formal approach to modelling of real-time systems using RTCP-nets
A formal approach to modelling of real-time systems using RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC, Piotr MATYASIK, Wojciech SZMUC // Foundations of Computing and Decision Sciences ; ISSN 0867-6356. — 2005 vol. 30 no. 1, s. 61–71. — Bibliogr. s. 70–71, Abstr.. — National Software Engineering Conference (KKIO'2004) sympozjum : 5-8 October 2004, Gdańsk, Poland. — tekst: http://fcds.cs.put.poznan.pl/FCDS/ArticleDetails.aspx?articleId=31

2

A scheme for censorship of sensitive image content with high-quality reconstruction ability
A scheme for censorship of sensitive image content with high-quality reconstruction ability / P. KORUS, W. SZMUC, A. DZIECH // W: ICME 2010 [Dokument elektroniczny] : 2010 IEEE International Conference on Multimedia & Expo : July 19–23, 2010 : Singapore / [Institute of Electrical and Electronics Engineers]. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : IEEE, cop. 2010. — (Proceedings (IEEE International Conference on Multimedia and Expo. Online) ; ISSN 1945-788X). — e-ISBN: 978-1-4244-7492-9. — S. 1073–1078. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. 1078, Abstr.

3

Consistency preserving development of embedded systems using AADL
Consistency preserving development of embedded systems using AADL / Tomasz SZMUC, Wojciech SZMUC // W: MIXDES 2020 [Dokument elektroniczny] : proceedings of 27\textsuperscript{th} international conference Mixed Design of integrated circuits and systems : Łódź, Poland, June 25–27, 2020 / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology, cop. 2020. — Dod. e-ISBN: 978-83-63578-18-3 ; Print on Demand(PoD) ISBN: 978-1-7281-9781-4. — e-ISBN: 978-83-63578-17-6. — S. 245–248. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2020.pdf [2020-08-27]. — Bibliogr. s. 248, Abstr.. — Publikacja dostępna online od: 2020-08-04. — Toż po adresem {https://ieeexplore-1ieee-1org-1000047s4002e.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==9155806}

4

Cross modeling of embedded systems using SysML and Petri Nets
Cross modeling of embedded systems using SysML and Petri Nets / Wojciech SZMUC, Tomasz SZMUC // International Journal of Microelectronics and Computer Science ; ISSN 2080-8755. — 2018 vol. 9 no. 2, s. 60–65. — Bibliogr. s. 64–65, Abstr.. — tekst: https://ijmcs.dmcs.pl/documents/10630/360081/IJMCS_2_2018_2.pdf

5

From UML object behavior description into Petri net models
From UML object behavior description into Petri net models : towards systematic development of embedded systems / Wojciech SZMUC, Tomasz SZMUC // International Journal of Microelectronics and Computer Science ; ISSN 2080-8755. — 2016 vol. 7 no. 2, s. 60–64. — Bibliogr. s. 63–64, Abstr.. — tekst: https://ijmcs.dmcs.pl/documents/10630/212938/IJMCS_2_2016_4.pdf

6

Hybrid modeling of software systems – UML/Petri nets approach
Hybrid modeling of software systems – UML/Petri nets approach / Wojciech SZMUC // W: Proceedings of the 16th international conference on Systems science : 4–6 September 2007, Wrocław, Poland. Vol. 3, Applications of systems analysis to technical systems ; Applications of systems analysis to non-technical systems ; Applications of systems analysis to biomedical systems / ed. Adam Grzech. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2007. — ISBN: 978-83-7493-341-4. — S. 389–398. — Bibliogr. s. 398

7

INSIGMA [Dokument elektroniczny]
INSIGMA [Dokument elektroniczny] : Inteligentny System Informacyjny dla Globalnego Monitoringu, Detekcji i Identyfikacji Zagrożeń. Raport techniczny D4.1, Analiza i identyfikacja wzorców zagrożeń — [INSIGMA : Intelligent System for Identification and Detection]. D4.1, Analysis and identification of threat patterns / Wojciech SZMUC, Andrzej GŁOWACZ, Michał Jaśkiewicz, Paweł KORUS, Michał GREGA, Marcin Hartung, Marcin Faryna, Tomasz Pawlicki, Bartłomiej Pawlik. — Wersja do Windows. — Dane tekstowe. — [Kraków : AGH], [2009]. — 31 s.. — Tryb dostępu: http://insigma.kt.agh.edu.pl/ [2012-02-24]. — Dostępny po zalogowaniu w Internecie

8

Method and system for restricting access to sensitive contents of digital images
Method and system for restricting access to sensitive contents of digital images / AGH University of Science and Technology ; wynalazca: Andrzej DZIECH, Andrzej GŁOWACZ, Paweł KORUS, Wojciech SZMUC. — Int.Cl.: G06K 9/36\textsuperscript{(2006.01)}. — Stany Zjednoczone. — Opis zgłoszeniowy wynalazku ; US 20120321127 A1 ; Opubl. 2012-12-20 z dn. 2012-06-15. — tekst: http://patenty.bg.agh.edu.pl/pelneteksty/US20120321127A1.pdf

9

Method and system for restricting access to sensitive contents of digital images
Method and system for restricting access to sensitive contents of digital images / AGH University of Science and Technology ; wynalazca: Andrzej DZIECH, Andrzej GŁOWACZ, Paweł KORUS, Wojciech SZMUC. — Int.Cl.: G06K 9/00\textsuperscript{(2006.01)}. — Stany Zjednoczone. — Opis patentowy ; US 8687843 B2 ; Udziel. 2014-04-01 ; Opubl. 2014-04-01. — Zgłosz. nr US201213524609 z dn. 2012-06-15. — tekst: http://patenty.bg.agh.edu.pl/pelneteksty/US8687843B2.pdf

10

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego — [Formal methods in real-time software engineering] / Tomasz SZMUC, Marcin SZPYRKA ; współautorzy: Radosław KLIMEK, Konrad KUŁAKOWSKI, Antoni LIGĘZA, Piotr MATYASIK, Grzegorz J. NALEPA, Jacek PIWOWARCZYK, Agata Półrola, Grzegorz ROGUS, Sławomir Samolej, Wojciech SZMUC, Piotr SZWED, Bartosz Trybus, Bożena Woźna-Szcześniak. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2010. — VI, 464 s.. — Bibliogr. s. 438–456, Indeks. — ISBN: 978-83-204-3669-3

11

Modeling UML object event handling with Petri Nets
Modeling UML object event handling with Petri Nets : towards improvement of embedded systems analysis and design / Wojciech SZMUC, Tomasz SZMUC // W: MIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23\textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — Dysk Flash. — e-ISBN: 978-8-3635-7808-4. — S. 129. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 129. — Pełny tekst pod adresem {http://wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==7529785}. — S.454–457. - Bibliogr. s.457, Abstr.

12

Modelowanie konstrukcji obiektowych języka UML z zastosowaniem kolorowych sieci Petriego
Modelowanie konstrukcji obiektowych języka UML z zastosowaniem kolorowych sieci Petriego — Coloured Petri nets in UML object concept modelling / Wojciech SZMUC // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2007 t. 11 z. 1–2, s. 287–295. — Bibliogr. s. 295, Streszcz., Summ.. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2007-1-2/Auto24.pdf

13

Nowoczesne metody wytwarzania oprogramowania systemów cyberfizycznych
Nowoczesne metody wytwarzania oprogramowania systemów cyberfizycznych — Modern methods in software development of cyber-physical systems / Tomasz SZMUC, Rafał MRÓWKA, Paweł SKRZYŃSKI, Grzegorz ROGUS, Wojciech SZMUC, Jacek PIWOWARCZYK, Marek Brańka, Jakub Ficoń // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-84-7 ; e-ISBN: 978-83-67427-00-5. — S. 83–98. — Bibliogr. s. 96–98, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0602/NTT_tom5_083.pdf

14

Rigorous development of embedded systems supported by formal tools
Rigorous development of embedded systems supported by formal tools / Tomasz SZMUC, Wojciech SZMUC // W: MIXDES 2020 [Dokument elektroniczny] : proceedings of 27\textsuperscript{th} international conference Mixed Design of integrated circuits and systems : Łódź, Poland, June 25–27, 2020 / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology, cop. 2020. — Dod. e-ISBN: 978-83-63578-18-3 ; Print on Demand(PoD) ISBN: 978-1-7281-9781-4. — e-ISBN: 978-83-63578-17-6. — S. 272–276. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2020.pdf [2020-08-27]. — Bibliogr. s. 276, Abstr.. — Publikacja dostępna online od: 2020-08-04. — Toż pod adresem {https://ieeexplore-1ieee-1org-1000047s4002e.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==9155782}

15

RTCP-sieci – formalne podejście do szybkiego modelowania systemów czasu rzeczywistego
RTCP-sieci – formalne podejście do szybkiego modelowania systemów czasu rzeczywistego — [RTCP-nets – a formal approach to fast modelling of real-time systems] / Marcin SZPYRKA, Tomasz SZMUC, Piotr MATYASIK, Wojciech SZMUC // W: Inżynieria oprogramowania : nowe wyzwania : VI Krajowa Konferencja Inżynierii Oprogramowania KKIO'2004 : Gdańsk, 5–8 października 2004 / red. Janusz Górski, Andrzej Wardziński ; Polskie Towarzystwo Informatyczne. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — Opis częśc. wg okł.. — S. 315–328. — Bibliogr. s. 327–328, Streszcz.

16

Sposób i układ do zabezpieczania dostępu do wrażliwych treści obrazów cyfrowych
Sposób i układ do zabezpieczania dostępu do wrażliwych treści obrazów cyfrowych — [The method and system for restricting access to sensitive contents of digital images] / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; wynalazca: DZIECH Andrzej, GŁOWACZ Andrzej, KORUS Paweł, SZMUC Wojciech. — Int.Cl.: G06F 12/14\textsuperscript{(2006.01)}. — Polska. — Opis zgłoszeniowy wynalazku ; PL 395303 A1 ; Opubl. 2012-12-17. — Zgłosz. nr P.395303 z dn. 2011-06-16 // Biuletyn Urzędu Patentowego ; ISSN 0137-8015 ; 2012 nr 26, s. 55. — tekst: http://patenty.bg.agh.edu.pl/pelneteksty/PL395303A1.pdf

17

Towards embedded systems formal verification
Towards embedded systems formal verification / Wojciech SZMUC, Tomasz SZMUC // W: MIXDES 2018 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : book of abstracts of 25\textsuperscript{th} international conference : Gdynia, Poland, June 21–23, 2018 / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2018. — ISBN na podstawie bazy Web of Science. — ISBN: 978-8-3635-7814-5. — S. 120. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2018_BoA.pdf [2018-06-28]. — Bibliogr. s. 120. — Pełny tekst dostępny online: {https://ieeexplore-1ieee-1org-1000047w20065.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==8436870} [2018-11-23]. — S.420–423. — Wymagania systemowe: Adobe Reader. — Bibliogr. s.423, Abstr.

18

Wytwarzanie oprogramowania czasu rzeczywistego wspomagane metodą formalną: SDL – kolorowane sieci Petriego
Wytwarzanie oprogramowania czasu rzeczywistego wspomagane metodą formalną: SDL – kolorowane sieci Petriego — Development of real-time software supported by formal method: SDL – colored Petri nets / Wojciech SZMUC // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2003 t. 7 z. 1–2, s. 267–273. — Bibliogr. s. 272–273, Streszcz., Summ.. — Materiał był prezentowany na XV [piętnastym] międzynarodowym sympozjum „Zastosowania teorii systemów” : Zakopane '2003

Bibiografia Publikacji Pracowników Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie

Wykaz publikacji wybranego autora

Wojciech Szmuc, dr inż.