We stand with Ukraine

We stand with Ukraine

Marcin Szpyrka

Orcid: 0000-0003-4925-3271

According to our database¹, Marcin Szpyrka authored at least 45 papers between 2004 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation.

[BibT_eX]

[DOI]

Edyta Brzychczy

,

,

,

Grzegorz J. Nalepa

IEEE Access, 2023

2022

Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment.

[BibT_eX]

[DOI]

,

Jaroslaw Baniewicz

,

Andrei Karatkevich

IEEE Access, 2022

2019

An Entropy-Based Car Failure Detection Method Based on Data Acquisition Pipeline.

[BibT_eX]

[DOI]

Bartosz Kowalik

,

Entropy, 2019

2018

Discrete-Time Systems Modeling and Verification With Alvis Language and Tools.

[BibT_eX]

[DOI]

,

,

Jerzy Biernacki

,

Lukasz Podolski

IEEE Access, 2018

Alvis Data Graphs.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference "Mixed Design of Integrated Circuits and System", 2018

2017

Evaluation of Cyber Security and Modelling of Risk Propagation with Petri Nets.

[BibT_eX]

[DOI]

,

Symmetry, 2017

From Process Models to Concurrent Systems in Alvis Language.

[BibT_eX]

[DOI]

,

Grzegorz J. Nalepa

,

Krzysztof Kluza

Informatica, 2017

Modelling and Verification of Real-Time Systems with Alvis.

[BibT_eX]

[DOI]

,

Lukasz Podolski

,

Proceedings of the Towards a Synergistic Combination of Research and Practice in Software Engineering [papers from KKIO 2017, 2017

Simulation of Multi-agent Systems with Alvis Toolkit.

[BibT_eX]

[DOI]

,

,

Lukasz Podolski

,

Proceedings of the Artificial Intelligence and Soft Computing, 2017

2016

Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data.

[BibT_eX]

[DOI]

,

,

,

Hubert Wojtowicz

,

Fundam. Informaticae, 2016

Hierarchical Communication Diagrams.

[BibT_eX]

[DOI]

,

,

Jerzy Biernacki

,

Agnieszka Biernacka

,

,

Leszek Kotulski

Comput. Informatics, 2016

Priority management in Alvis language.

[BibT_eX]

[DOI]

,

Agnieszka Biernacka

,

Jerzy Biernacki

,

Proceedings of the 2016 MIXDES, 2016

Communication between agents in Alvis language.

[BibT_eX]

[DOI]

,

,

,

Jerzy Biernacki

Proceedings of the 2016 MIXDES, 2016

2015

An Entropy-Based Network Anomaly Detection Method.

[BibT_eX]

[DOI]

Przemyslaw Berezinski

,

,

Entropy, 2015

Formal methods - Support or scientific decoration in software development?

[BibT_eX]

[DOI]

,

Proceedings of the 22nd International Conference Mixed Design of Integrated Circuits & Systems, 2015

Extracting of temporal patterns from data for hierarchical classifiers construction.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 2nd IEEE International Conference on Cybernetics, 2015

2014

Formal Description of Alvis Language with α<sup>0</sup> System Layer.

[BibT_eX]

[DOI]

,

,

,

Leszek Kotulski

Fundam. Informaticae, 2014

Detection and Modeling of Cyber Attacks with Petri Nets.

[BibT_eX]

[DOI]

,

,

Entropy, 2014

Identification of malware activities with rules.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

Methods of Translation of Petri Nets to NuSMV Language.

[BibT_eX]

[DOI]

,

Agnieszka Biernacka

,

Jerzy Biernacki

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

Malware Behavior Modeling with Colored Petri Nets.

[BibT_eX]

[DOI]

,

,

Proceedings of the Computer Information Systems and Industrial Management, 2014

Network Anomaly Detection Using Parameterized Entropy.

[BibT_eX]

[DOI]

Przemyslaw Berezinski

,

,

,

Proceedings of the Computer Information Systems and Industrial Management, 2014

2013

Design and Verification of Rule-Based Systems for Alvis Models.

[BibT_eX]

[DOI]

,

Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013

Alvis Language with Time Dependence.

[BibT_eX]

[DOI]

,

,

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation.

[BibT_eX]

[DOI]

,

,

Proceedings of the 22nd International Workshop on Concurrency, 2013

Telecommunications Networks Risk Assessment with Bayesian Networks.

[BibT_eX]

[DOI]

,

,

Konrad S. Wrona

,

Proceedings of the Computer Information Systems and Industrial Management, 2013

2011

Alvis - Modelling Language for Concurrent Systems.

[BibT_eX]

[DOI]

,

,

Proceedings of the Intelligent Decision Systems in Large-Scale Distributed Environments, 2011

Prototypes of a Web System for Citizen Provided Information, Automatic Knowledge Extraction, Knowledge Management and GIS Integration.

[BibT_eX]

[DOI]

,

Weronika T. Adrian

,

Sebastian Ernst

,

Grzegorz J. Nalepa

,

,

,

,

Proceedings of the Multimedia Communications, Services and Security, 2011

Snapshot Reachability Graphs for Alvis Models.

[BibT_eX]

[DOI]

,

Leszek Kotulski

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

Labelled Transition System Generation from Alvis Language.

[BibT_eX]

[DOI]

Leszek Kotulski

,

,

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language.

[BibT_eX]

[DOI]

,

Grzegorz J. Nalepa

,

,

Krzysztof Kluza

Proceedings of the Intelligent Distributed Computing V - Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, The Netherlands, 2011

Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS.

[BibT_eX]

[DOI]

,

,

Proceedings of the 25th European Conference on Modelling and Simulation, 2011

2009

Formal Definition of XCCS Modelling Language.

[BibT_eX]

[DOI]

Krzysztof Balicki

,

Fundam. Informaticae, 2009

2008

Formal Modelling and Verification of Concurrent Systems with XCCS.

[BibT_eX]

[DOI]

,

Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 2008

Exclusion rule-based systems - case study.

[BibT_eX]

[DOI]

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

2007

Analysis of VME-Bus communication protocol - RTCP-net approach.

[BibT_eX]

[DOI]

Real Time Syst., 2007

Decision Tables in Petri Net Models.

[BibT_eX]

[DOI]

,

Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

A Note on Granular Sets and Their Relation to Rough Sets.

[BibT_eX]

[DOI]

,

Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

2006

Analysis of RTCP-nets with Reachability Graphs.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Verification of Automatic Train Protection Systems with RTCP-Nets.

[BibT_eX]

[DOI]

,

Proceedings of the Computer Safety, 2006

Integrated Approach to Modelling and Analysis using RTCP-nets.

[BibT_eX]

[DOI]

,

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

2005

Formal Approach to Prototyping and Analysis of Modular Rule-Based Systems.

[BibT_eX]

[DOI]

,

Grzegorz J. Nalepa

Proceedings of the Software Engineering: Evolution and Emerging Technologies, 2005

Development of Safety-Critical Systems with RTCP-Nets Support.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering: Evolution and Emerging Technologies, 2005

2004

Theory of Collective Intelligence provides formal relations between Intelligence, Life, and Evolution.

[BibT_eX]

,

Proceedings of the Intelligent Information Processing and Web Mining, 2004

Reduction of Tabular Systems.

[BibT_eX]

[DOI]

,

Proceedings of the Artificial Intelligence and Soft Computing, 2004

Loading...