E-LIB Suche - Ergebnisse für: Szpyrka, Marcin

1

Imperative vs. Declarative Modeling of Industrial Process. ..:

Brzychczy, Edyta ; Szpyrka, Marcin ; Korski, Jacek.
IEEE Access. 11 (2023) - p. 54495-54508 , 2023

Link: https://doi.org/10.1109/..

2

Email Campaign Evaluation Based on User and Mail Server Res..:

Szpyrka, Marcin ; Suszalski, Piotr ; Obara, Sebastian.
Applied Sciences. 13 (2023) 3 - p. 1630 , 2023

Link: https://doi.org/10.3390/..

3

Alvis Approach to Modeling and Verification of Real-Time Sy..:

Szpyrka, Marcin ; Baniewicz, Jaroslaw ; Karatkevich, Andrei
IEEE Access. 10 (2022) - p. 104178-104189 , 2022

Link: https://doi.org/10.1109/..

4

Conformance Checking of a Longwall Shearer Operation Based ..:

Szpyrka, Marcin ; Brzychczy, Edyta ; Napieraj, Aneta..
Energies. 13 (2020) 24 - p. 6630 , 2020

Link: https://doi.org/10.3390/..

5

Patient Managed Patient Health Record Based on Blockchain T..:

, In: Advances in Diagnostics of Processes and Systems; Studies in Systems, Decision and Control,

Zaworski, Konrad ; Szpyrka, Marcin - p. 173-184 , 2020

Link: https://doi.org/10.1007/..

6

Architecture of on-line data acquisition system for car on-..:

Kowalik, Bartosz ; Szpyrka, Marcin ; Kulisz, M....
MATEC Web of Conferences. 252 (2019) - p. 02003 , 2019

Link: https://doi.org/10.1051/..

7

An Entropy-Based Car Failure Detection Method Based on Data..:

Kowalik, Bartosz ; Szpyrka, Marcin
Entropy. 21 (2019) 4 - p. 426 , 2019

Link: https://doi.org/10.3390/..

8

Evaluation of Cyber Security and Modelling of Risk Propagat..:

Szpyrka, Marcin ; Jasiul, Bartosz
Symmetry. 9 (2017) 3 - p. 32 , 2017

Link: https://doi.org/10.3390/..

9

Tools and Methods for RTCP-Nets Modeling and Verification:

Szpyrka, Marcin ; Biernacki, Jerzy ; Biernacka, Agnieszka
Archives of Control Sciences. 26 (2016) 3 - p. 339-365 , 2016

Link: https://doi.org/10.1515/..

10

An Entropy-Based Network Anomaly Detection Method:

Bereziński, Przemysław ; Jasiul, Bartosz ; Szpyrka, Marcin
Entropy. 17 (2015) 4 - p. 2367-2408 , 2015

Link: https://doi.org/10.3390/..

11

Detection and Modeling of Cyber Attacks with Petri Nets:

Jasiul, Bartosz ; Szpyrka, Marcin ; Śliwa, Joanna
Entropy. 16 (2014) 12 - p. 6602-6623 , 2014

Link: https://doi.org/10.3390/..

12

Advances in Software Engineering Techniques

4th IFIP TC 2 Central and East European Conference on Softw... Lecture Notes in Computer Science ; 7054;SpringerLink, Bücher

Szmuc, Tomasz ; Szpyrka, Marcin ; Zendulka, Jaroslav , 2012

Link: https://doi.org/10.1007/..

13

Analysis of VME-Bus communication protocol - RTCP-net appro..:

Szpyrka, Marcin
Real-Time Systems. 35 (2006) 1 - p. 91-108 , 2006

Link: https://doi.org/10.1007/..

14

FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS:

Szpyrka, Marcin
https://journals.agh.edu.pl/csci/article/view/3582/2388. , 2020

Link: https://journals.agh.edu..

15

Conformance checking of a longwall shearer operation based ..:

Szpyrka, Marcin ; Brzychczy, Edyta ; Napieraj, Aneta..
Energies, T. 13, nr 24. , 2020

Link: https://ruj.uj.edu.pl/xm..