Marcin Szpyrka

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 13

Top Topics

Behavioral Patterns

Telecommunications Networks

Network Anomaly Detection

Top Venues

Publications

Edyta Brzychczy, Marcin Szpyrka, Jacek Korski, Grzegorz J. Nalepa
Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation. IEEE Access 11 (2023)
Marcin Szpyrka, Jaroslaw Baniewicz, Andrei Karatkevich
Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment. IEEE Access 10 (2022)
Bartosz Kowalik, Marcin Szpyrka
An Entropy-Based Car Failure Detection Method Based on Data Acquisition Pipeline. Entropy 21 (4) (2019)
Marcin Szpyrka
Alvis Data Graphs. MIXDES (2018)
Marcin Szpyrka, Michal Wypych, Jerzy Biernacki, Lukasz Podolski
Discrete-Time Systems Modeling and Verification With Alvis Language and Tools. IEEE Access 6 (2018)
Marcin Szpyrka, Piotr Matyasik, Lukasz Podolski, Michal Wypych
Simulation of Multi-agent Systems with Alvis Toolkit. ICAISC (2) (2017)
Marcin Szpyrka, Bartosz Jasiul
Evaluation of Cyber Security and Modelling of Risk Propagation with Petri Nets. Symmetry 9 (3) (2017)
Marcin Szpyrka, Lukasz Podolski, Michal Wypych
Modelling and Verification of Real-Time Systems with Alvis. KKIO Software Engineering Conference (2017)
Marcin Szpyrka, Grzegorz J. Nalepa, Krzysztof Kluza
From Process Models to Concurrent Systems in Alvis Language. Informatica 28 (3) (2017)
Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki, Michal Wypych
Priority management in Alvis language. MIXDES (2016)
Piotr Matyasik, Marcin Szpyrka, Michal Wypych, Jerzy Biernacki
Communication between agents in Alvis language. MIXDES (2016)
Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki, Agnieszka Biernacka, Michal Wypych, Leszek Kotulski
Hierarchical Communication Diagrams. Comput. Informatics 35 (1) (2016)
Jan G. Bazan, Adam Szczur, Lukasz Dydo, Hubert Wojtowicz, Marcin Szpyrka
Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data. Fundam. Informaticae 143 (1-2) (2016)
Przemyslaw Berezinski, Bartosz Jasiul, Marcin Szpyrka
An Entropy-Based Network Anomaly Detection Method. Entropy 17 (4) (2015)
Tomasz Szmuc, Marcin Szpyrka
Formal methods - Support or scientific decoration in software development? MIXDES (2015)
Marcin Szpyrka, Adam Szczur, Jan G. Bazan, Lukasz Dydo
Extracting of temporal patterns from data for hierarchical classifiers construction. CYBCONF (2015)
Bartosz Jasiul, Joanna Sliwa, Kamil Gleba, Marcin Szpyrka
Identification of malware activities with rules. FedCSIS (2014)
Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka, Leszek Kotulski
System Layer. Fundam. Informaticae 129 (1-2) (2014)
Przemyslaw Berezinski, Marcin Szpyrka, Bartosz Jasiul, Michal Mazur
Network Anomaly Detection Using Parameterized Entropy. CISIM (2014)
Jan G. Bazan, Marcin Szpyrka, Adam Szczur, Lukasz Dydo, Hubert Wojtowicz
Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data. CS&P (2014)
Bartosz Jasiul, Marcin Szpyrka, Joanna Sliwa
Detection and Modeling of Cyber Attacks with Petri Nets. Entropy 16 (12) (2014)
Bartosz Jasiul, Marcin Szpyrka, Joanna Sliwa
Malware Behavior Modeling with Colored Petri Nets. CISIM (2014)
Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki
Methods of Translation of Petri Nets to NuSMV Language. CS&P (2014)
Marcin Szpyrka, Piotr Matyasik, Michal Wypych
Alvis Language with Time Dependence. FedCSIS (2013)
Marcin Szpyrka, Bartosz Jasiul, Konrad S. Wrona, Filip Dziedzic
Telecommunications Networks Risk Assessment with Bayesian Networks. CISIM (2013)
Marcin Szpyrka, Piotr Matyasik, Michal Wypych
Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation. CS&P (2013)
Leszek Kotulski, Marcin Szpyrka, Adam Sedziwy
Labelled Transition System Generation from Alvis Language. KES (1) (2011)
Marcin Szpyrka, Leszek Kotulski
Snapshot Reachability Graphs for Alvis Models. KES (1) (2011)
Antoni Ligeza, Weronika T. Adrian, Sebastian Ernst, Grzegorz J. Nalepa, Marcin Szpyrka, Michal Czapko, Pawel Grzesiak, Marcin Krzych
Prototypes of a Web System for Citizen Provided Information, Automatic Knowledge Extraction, Knowledge Management and GIS Integration. MCSS (2011)
Marcin Szpyrka, Grzegorz J. Nalepa, Antoni Ligeza, Krzysztof Kluza
Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language. IDC (2011)
Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka
Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS. ECMS (2011)
Krzysztof Balicki, Marcin Szpyrka
Formal Definition of XCCS Modelling Language. Fundam. Informaticae 93 (1-3) (2009)
Marcin Szpyrka
Exclusion rule-based systems - case study. IMCSIT (2008)
Piotr Matyasik, Marcin Szpyrka
Formal Modelling and Verification of Concurrent Systems with XCCS. ISPDC (2008)
Antoni Ligeza, Marcin Szpyrka
A Note on Granular Sets and Their Relation to Rough Sets. RSEISP (2007)
Marcin Szpyrka
Analysis of VME-Bus communication protocol - RTCP-net approach. Real Time Syst. 35 (1) (2007)
Marcin Szpyrka, Tomasz Szmuc
Decision Tables in Petri Net Models. RSEISP (2007)
Marcin Szpyrka, Tomasz Szmuc
Integrated Approach to Modelling and Analysis using RTCP-nets. SET (2006)
Marcin Szpyrka, Tomasz Szmuc
Verification of Automatic Train Protection Systems with RTCP-Nets. SAFECOMP (2006)
Marcin Szpyrka
Analysis of RTCP-nets with Reachability Graphs. Fundam. Informaticae 74 (2-3) (2006)
Antoni Ligeza, Marcin Szpyrka
Reduction of Tabular Systems. ICAISC (2004)
Tadeusz Szuba, Marcin Szpyrka
Theory of Collective Intelligence provides formal relations between Intelligence, Life, and Evolution. Intelligent Information Systems (2004)