Marcin Szpyrka

48 papers B 1C 4Misc 2Journal 15Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Aggregation-Based Ensemble Classifier Versus Neural Networks Models for Recognizing Phishing Attacks. IEEE Access Wojciech Galka, Jan G. Bazan, Urszula Bentkowska, Kamil Szwed, Marcin Mrukowicz, Pawel Drygas, Lech Zareba, Marcin Szpyrka, Piotr Suszalski, Sebastian Obara
2023	J	`jnl`	Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation. IEEE Access Edyta Brzychczy, Marcin Szpyrka, Jacek Korski, Grzegorz J. Nalepa
2022	J	`jnl`	Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment. IEEE Access Marcin Szpyrka, Jaroslaw Baniewicz, Andrei Karatkevich
2019	J	`jnl`	An Entropy-Based Car Failure Detection Method Based on Data Acquisition Pipeline. Entropy Bartosz Kowalik, Marcin Szpyrka
2018	—	`conf`	Alvis Data Graphs. MIXDES Marcin Szpyrka
2018	J	`jnl`	Discrete-Time Systems Modeling and Verification With Alvis Language and Tools. IEEE Access Marcin Szpyrka, Michal Wypych, Jerzy Biernacki, Lukasz Podolski
2017	J	`jnl`	Evaluation of Cyber Security and Modelling of Risk Propagation with Petri Nets. Symmetry Marcin Szpyrka, Bartosz Jasiul
2017	J	`jnl`	From Process Models to Concurrent Systems in Alvis Language. Informatica Marcin Szpyrka, Grzegorz J. Nalepa, Krzysztof Kluza
2017	—	`conf`	Modelling and Verification of Real-Time Systems with Alvis. KKIO Software Engineering Conference Marcin Szpyrka, Lukasz Podolski, Michal Wypych
2017	—	`conf`	Simulation of Multi-agent Systems with Alvis Toolkit. ICAISC (2) Marcin Szpyrka, Piotr Matyasik, Lukasz Podolski, Michal Wypych
2016	J	`jnl`	Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data. Fundam. Informaticae Jan G. Bazan, Adam Szczur, Lukasz Dydo, Hubert Wojtowicz, Marcin Szpyrka
2016	—	`conf`	Communication between agents in Alvis language. MIXDES Piotr Matyasik, Marcin Szpyrka, Michal Wypych, Jerzy Biernacki
2016	J	`jnl`	Hierarchical Communication Diagrams. Comput. Informatics Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki, Agnieszka Biernacka, Michal Wypych, Leszek Kotulski
2016	—	`conf`	Priority management in Alvis language. MIXDES Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki, Michal Wypych
2015	J	`jnl`	An Entropy-Based Network Anomaly Detection Method. Entropy Przemyslaw Berezinski, Bartosz Jasiul, Marcin Szpyrka
2015	—	`conf`	Extracting of temporal patterns from data for hierarchical classifiers construction. CYBCONF Marcin Szpyrka, Adam Szczur, Jan G. Bazan, Lukasz Dydo
2015	—	`conf`	Formal methods - Support or scientific decoration in software development? MIXDES Tomasz Szmuc, Marcin Szpyrka
2014	—	`conf`	Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data. CS&P Jan G. Bazan, Marcin Szpyrka, Adam Szczur, Lukasz Dydo, Hubert Wojtowicz
2014	J	`jnl`	Detection and Modeling of Cyber Attacks with Petri Nets. Entropy Bartosz Jasiul, Marcin Szpyrka, Joanna Sliwa
2014	J	`jnl`	Formal Description of Alvis Language with α Fundam. Informaticae Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka, Leszek Kotulski
2014	C	`conf`	Identification of malware activities with rules. FedCSIS Bartosz Jasiul, Joanna Sliwa, Kamil Gleba, Marcin Szpyrka
2014	—	`conf`	Malware Behavior Modeling with Colored Petri Nets. CISIM Bartosz Jasiul, Marcin Szpyrka, Joanna Sliwa
2014	—	`conf`	Methods of Translation of Petri Nets to NuSMV Language. CS&P Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki
2014	—	`conf`	Network Anomaly Detection Using Parameterized Entropy. CISIM Przemyslaw Berezinski, Marcin Szpyrka, Bartosz Jasiul, Michal Mazur
2013	C	`conf`	Alvis Language with Time Dependence. FedCSIS Marcin Szpyrka, Piotr Matyasik, Michal Wypych
2013	—	`ch.`	Design and Verification of Rule-Based Systems for Alvis Models. Rough Sets and Intelligent Systems (2) Marcin Szpyrka, Tomasz Szmuc
2013	—	`conf`	Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation. CS&P Marcin Szpyrka, Piotr Matyasik, Michal Wypych
2013	—	`conf`	Telecommunications Networks Risk Assessment with Bayesian Networks. CISIM Marcin Szpyrka, Bartosz Jasiul, Konrad S. Wrona, Filip Dziedzic
2012	—	`ed.`	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 CEE-SET Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka
2011	—	`ch.`	Alvis - Modelling Language for Concurrent Systems. Intelligent Decision Systems in Large-Scale Distributed Environments Marcin Szpyrka, Piotr Matyasik, Rafal Mrówka
2011	—	`conf`	Labelled Transition System Generation from Alvis Language. KES (1) Leszek Kotulski, Marcin Szpyrka, Adam Sedziwy
2011	C	`conf`	Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS. ECMS Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka
2011	Misc	`conf`	Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language. IDC Marcin Szpyrka, Grzegorz J. Nalepa, Antoni Ligeza, Krzysztof Kluza
2011	—	`conf`	Prototypes of a Web System for Citizen Provided Information, Automatic Knowledge Extraction, Knowledge Management and GIS Integration. MCSS Antoni Ligeza, Weronika T. Adrian, Sebastian Ernst, Grzegorz J. Nalepa, Marcin Szpyrka, Michal Czapko, Pawel Grzesiak, Marcin Krzych
2011	—	`conf`	Snapshot Reachability Graphs for Alvis Models. KES (1) Marcin Szpyrka, Leszek Kotulski
2009	J	`jnl`	Formal Definition of XCCS Modelling Language. Fundam. Informaticae Krzysztof Balicki, Marcin Szpyrka
2008	—	`conf`	Exclusion rule-based systems - case study. IMCSIT Marcin Szpyrka
2008	C	`conf`	Formal Modelling and Verification of Concurrent Systems with XCCS. ISPDC Piotr Matyasik, Marcin Szpyrka
2007	—	`conf`	A Note on Granular Sets and Their Relation to Rough Sets. RSEISP Antoni Ligeza, Marcin Szpyrka
2007	J	`jnl`	Analysis of VME-Bus communication protocol - RTCP-net approach. Real Time Syst. Marcin Szpyrka
2007	—	`conf`	Decision Tables in Petri Net Models. RSEISP Marcin Szpyrka, Tomasz Szmuc
2006	J	`jnl`	Analysis of RTCP-nets with Reachability Graphs. Fundam. Informaticae Marcin Szpyrka
2006	—	`conf`	Integrated Approach to Modelling and Analysis using RTCP-nets. SET Marcin Szpyrka, Tomasz Szmuc
2006	B	`conf`	Verification of Automatic Train Protection Systems with RTCP-Nets. SAFECOMP Marcin Szpyrka, Tomasz Szmuc
2005	—	`ch.`	Development of Safety-Critical Systems with RTCP-Nets Support. Software Engineering: Evolution and Emerging Technologies Marcin Szpyrka
2005	—	`ch.`	Formal Approach to Prototyping and Analysis of Modular Rule-Based Systems. Software Engineering: Evolution and Emerging Technologies Marcin Szpyrka, Grzegorz J. Nalepa
2004	Misc	`conf`	Reduction of Tabular Systems. ICAISC Antoni Ligeza, Marcin Szpyrka
2004	—	`conf`	Theory of Collective Intelligence provides formal relations between Intelligence, Life, and Evolution. Intelligent Information Systems Tadeusz Szuba, Marcin Szpyrka