Reduction of Tabular Systems. - Antoni Ligeza; Marcin Szpyrka (ICAISC, 2004)

Theory of Collective Intelligence provides formal relations between Intelligence, Life, and Evolution. - Tadeusz Szuba; Marcin Szpyrka (Intelligent Information Systems, 2004)

Development of Safety-Critical Systems with RTCP-Nets Support. - Marcin Szpyrka (Software Engineering: Evolution and Emerging Technologies, 2005)

Formal Approach to Prototyping and Analysis of Modular Rule-Based Systems. - Marcin Szpyrka; Grzegorz J. Nalepa (Software Engineering: Evolution and Emerging Technologies, 2005)

Integrated Approach to Modelling and Analysis using RTCP-nets. - Marcin Szpyrka; Tomasz Szmuc (SET, 2006)

Verification of Automatic Train Protection Systems with RTCP-Nets. - Marcin Szpyrka; Tomasz Szmuc (SAFECOMP, 2006)

Analysis of RTCP-nets with Reachability Graphs. - Marcin Szpyrka (Fundam. Informaticae, 2006)

A Note on Granular Sets and Their Relation to Rough Sets. - Antoni Ligeza; Marcin Szpyrka (RSEISP, 2007)

Decision Tables in Petri Net Models. - Marcin Szpyrka; Tomasz Szmuc (RSEISP, 2007)

Analysis of VME-Bus communication protocol - RTCP-net approach. - Marcin Szpyrka (Real Time Syst., 2007)

Exclusion rule-based systems - case study. - Marcin Szpyrka (IMCSIT, 2008)

Formal Modelling and Verification of Concurrent Systems with XCCS. - Piotr Matyasik; Marcin Szpyrka (ISPDC, 2008)

Formal Definition of XCCS Modelling Language. - Krzysztof Balicki; Marcin Szpyrka (Fundam. Informaticae, 2009)

Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS. - Marcin Szpyrka; Piotr Matyasik; Rafal Mrowka (ECMS, 2011)

Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language. - Marcin Szpyrka; Grzegorz J. Nalepa; Antoni Ligeza; Krzysztof Kluza (IDC, 2011)

Labelled Transition System Generation from Alvis Language. - Leszek Kotulski; Marcin Szpyrka; Adam Sedziwy (KES (1), 2011)

Snapshot Reachability Graphs for Alvis Models. - Marcin Szpyrka; Leszek Kotulski (KES (1), 2011)

Prototypes of a Web System for Citizen Provided Information, Automatic Knowledge Extraction, Knowledge Management and GIS Integration. - Antoni Ligeza; Weronika T. Adrian; Sebastian Ernst; Grzegorz J. Nalepa; Marcin Szpyrka; Michal Czapko; Pawel Grzesiak; Marcin Krzych (MCSS, 2011)

Alvis - Modelling Language for Concurrent Systems. - Marcin Szpyrka; Piotr Matyasik; Rafal Mrówka (Intelligent Decision Systems in Large-Scale Distributed Environments, 2011)

Telecommunications Networks Risk Assessment with Bayesian Networks. - Marcin Szpyrka; Bartosz Jasiul; Konrad S. Wrona; Filip Dziedzic (CISIM, 2013)

Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation. - Marcin Szpyrka; Piotr Matyasik; Michal Wypych (CS&P, 2013)

Alvis Language with Time Dependence. - Marcin Szpyrka; Piotr Matyasik; Michal Wypych (FedCSIS, 2013)

Design and Verification of Rule-Based Systems for Alvis Models. - Marcin Szpyrka; Tomasz Szmuc (Rough Sets and Intelligent Systems (2), 2013)

Network Anomaly Detection Using Parameterized Entropy. - Przemyslaw Berezinski; Marcin Szpyrka; Bartosz Jasiul; Michal Mazur (CISIM, 2014)

Malware Behavior Modeling with Colored Petri Nets. - Bartosz Jasiul; Marcin Szpyrka; Joanna Sliwa 001 (CISIM, 2014)

Methods of Translation of Petri Nets to NuSMV Language. - Marcin Szpyrka; Agnieszka Biernacka; Jerzy Biernacki (CS&P, 2014)

Identification of malware activities with rules. - Bartosz Jasiul; Joanna Sliwa 001; Kamil Gleba; Marcin Szpyrka (FedCSIS, 2014)

Detection and Modeling of Cyber Attacks with Petri Nets. - Bartosz Jasiul; Marcin Szpyrka; Joanna Sliwa 001 (Entropy, 2014)

Formal Description of Alvis Language with α0 System Layer. - Marcin Szpyrka; Piotr Matyasik; Rafal Mrowka; Leszek Kotulski (Fundam. Informaticae, 2014)

Extracting of temporal patterns from data for hierarchical classifiers construction. - Marcin Szpyrka; Adam Szczur; Jan G. Bazan; Lukasz Dydo (CYBCONF, 2015)

Formal methods - Support or scientific decoration in software development? - Tomasz Szmuc; Marcin Szpyrka (MIXDES, 2015)

An Entropy-Based Network Anomaly Detection Method. - Przemyslaw Berezinski; Bartosz Jasiul; Marcin Szpyrka (Entropy, 2015)

Communication between agents in Alvis language. - Piotr Matyasik; Marcin Szpyrka; Michal Wypych; Jerzy Biernacki (MIXDES, 2016)

Priority management in Alvis language. - Marcin Szpyrka; Agnieszka Biernacka; Jerzy Biernacki; Michal Wypych (MIXDES, 2016)

Hierarchical Communication Diagrams. - Marcin Szpyrka; Piotr Matyasik; Jerzy Biernacki; Agnieszka Biernacka; Michal Wypych; Leszek Kotulski (Comput. Informatics, 2016)

Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data. - Jan G. Bazan; Adam Szczur; Lukasz Dydo; Hubert Wojtowicz; Marcin Szpyrka (Fundam. Informaticae, 2016)

Simulation of Multi-agent Systems with Alvis Toolkit. - Marcin Szpyrka; Piotr Matyasik; Lukasz Podolski; Michal Wypych (ICAISC (2), 2017)

Modelling and Verification of Real-Time Systems with Alvis. - Marcin Szpyrka; Lukasz Podolski; Michal Wypych (KKIO Software Engineering Conference, 2017)

From Process Models to Concurrent Systems in Alvis Language. - Marcin Szpyrka; Grzegorz J. Nalepa; Krzysztof Kluza (Informatica, 2017)

Evaluation of Cyber Security and Modelling of Risk Propagation with Petri Nets. - Marcin Szpyrka; Bartosz Jasiul (Symmetry, 2017)

Alvis Data Graphs. - Marcin Szpyrka (MIXDES, 2018)

Discrete-Time Systems Modeling and Verification With Alvis Language and Tools. - Marcin Szpyrka; Michal Wypych; Jerzy Biernacki; Lukasz Podolski (IEEE Access, 2018)

An Entropy-Based Car Failure Detection Method Based on Data Acquisition Pipeline. - Bartosz Kowalik; Marcin Szpyrka (Entropy, 2019)

Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment. - Marcin Szpyrka; Jaroslaw Baniewicz; Andrei Karatkevich (IEEE Access, 2022)

Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation. - Edyta Brzychczy; Marcin Szpyrka; Jacek Korski; Grzegorz J. Nalepa (IEEE Access, 2023)

Aggregation-Based Ensemble Classifier Versus Neural Networks Models for Recognizing Phishing Attacks. - Wojciech Galka; Jan G. Bazan; Urszula Bentkowska; Kamil Szwed; Marcin Mrukowicz; Pawel Drygas; Lech Zareba; Marcin Szpyrka; Piotr Suszalski; Sebastian Obara (IEEE Access, 2025)