default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarcin Szpyrka
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j14]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: 54495-54508 (2023)- 2022
- [j13]Marcin Szpyrka, Jaroslaw Baniewicz, Andrei Karatkevich:
Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment. IEEE Access 10: 104178-104189 (2022)
2010 – 2019
- 2019
- [j12]Bartosz Kowalik, Marcin Szpyrka:
An Entropy-Based Car Failure Detection Method Based on Data Acquisition Pipeline. Entropy 21(4): 426 (2019) - 2018
- [j11]Marcin Szpyrka, Michal Wypych, Jerzy Biernacki, Lukasz Podolski:
Discrete-Time Systems Modeling and Verification With Alvis Language and Tools. IEEE Access 6: 78766-78779 (2018) - [c28]Marcin Szpyrka:
Alvis Data Graphs. MIXDES 2018: 409-415 - 2017
- [j10]Marcin Szpyrka, Grzegorz J. Nalepa, Krzysztof Kluza:
From Process Models to Concurrent Systems in Alvis Language. Informatica 28(3): 525-545 (2017) - [j9]Marcin Szpyrka, Bartosz Jasiul:
Evaluation of Cyber Security and Modelling of Risk Propagation with Petri Nets. Symmetry 9(3): 32 (2017) - [c27]Marcin Szpyrka, Piotr Matyasik, Lukasz Podolski, Michal Wypych:
Simulation of Multi-agent Systems with Alvis Toolkit. ICAISC (2) 2017: 599-608 - [c26]Marcin Szpyrka, Lukasz Podolski, Michal Wypych:
Modelling and Verification of Real-Time Systems with Alvis. KKIO Software Engineering Conference 2017: 165-178 - 2016
- [j8]Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki, Agnieszka Biernacka, Michal Wypych, Leszek Kotulski:
Hierarchical Communication Diagrams. Comput. Informatics 35(1): 55-83 (2016) - [j7]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): 19-34 (2016) - [c25]Piotr Matyasik, Marcin Szpyrka, Michal Wypych, Jerzy Biernacki:
Communication between agents in Alvis language. MIXDES 2016: 448-453 - [c24]Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki, Michal Wypych:
Priority management in Alvis language. MIXDES 2016: 464-468 - 2015
- [j6]Przemyslaw Berezinski, Bartosz Jasiul, Marcin Szpyrka:
An Entropy-Based Network Anomaly Detection Method. Entropy 17(4): 2367-2408 (2015) - [c23]Marcin Szpyrka, Adam Szczur, Jan G. Bazan, Lukasz Dydo:
Extracting of temporal patterns from data for hierarchical classifiers construction. CYBCONF 2015: 330-335 - [c22]Tomasz Szmuc, Marcin Szpyrka:
Formal methods - Support or scientific decoration in software development? MIXDES 2015: 24-31 - 2014
- [j5]Bartosz Jasiul, Marcin Szpyrka, Joanna Sliwa:
Detection and Modeling of Cyber Attacks with Petri Nets. Entropy 16(12): 6602-6623 (2014) - [j4]Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka, Leszek Kotulski:
Formal Description of Alvis Language with α0 System Layer. Fundam. Informaticae 129(1-2): 161-176 (2014) - [c21]Przemyslaw Berezinski, Marcin Szpyrka, Bartosz Jasiul, Michal Mazur:
Network Anomaly Detection Using Parameterized Entropy. CISIM 2014: 465-478 - [c20]Bartosz Jasiul, Marcin Szpyrka, Joanna Sliwa:
Malware Behavior Modeling with Colored Petri Nets. CISIM 2014: 667-679 - [c19]Jan G. Bazan, Marcin Szpyrka, Adam Szczur, Lukasz Dydo, Hubert Wojtowicz:
Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data. CS&P 2014: 22-33 - [c18]Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki:
Methods of Translation of Petri Nets to NuSMV Language. CS&P 2014: 245-256 - [c17]Bartosz Jasiul, Joanna Sliwa, Kamil Gleba, Marcin Szpyrka:
Identification of malware activities with rules. FedCSIS 2014: 101-110 - 2013
- [c16]Marcin Szpyrka, Bartosz Jasiul, Konrad S. Wrona, Filip Dziedzic:
Telecommunications Networks Risk Assessment with Bayesian Networks. CISIM 2013: 277-288 - [c15]Marcin Szpyrka, Piotr Matyasik, Michal Wypych:
Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation. CS&P 2013: 409-420 - [c14]Marcin Szpyrka, Piotr Matyasik, Michal Wypych:
Alvis Language with Time Dependence. FedCSIS 2013: 1553-1558 - [p4]Marcin Szpyrka, Tomasz Szmuc:
Design and Verification of Rule-Based Systems for Alvis Models. Rough Sets and Intelligent Systems (2) 2013: 539-558 - 2012
- [e1]Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka:
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. Lecture Notes in Computer Science 7054, Springer 2012, ISBN 978-3-642-28037-5 [contents] - 2011
- [c13]Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka:
Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS. ECMS 2011: 539-545 - [c12]Marcin Szpyrka, Grzegorz J. Nalepa, Antoni Ligeza, Krzysztof Kluza:
Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language. IDC 2011: 249-255 - [c11]Leszek Kotulski, Marcin Szpyrka, Adam Sedziwy:
Labelled Transition System Generation from Alvis Language. KES (1) 2011: 180-189 - [c10]Marcin Szpyrka, Leszek Kotulski:
Snapshot Reachability Graphs for Alvis Models. KES (1) 2011: 190-199 - [c9]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: 268-276 - [p3]Marcin Szpyrka, Piotr Matyasik, Rafal Mrówka:
Alvis - Modelling Language for Concurrent Systems. Intelligent Decision Systems in Large-Scale Distributed Environments 2011: 315-341
2000 – 2009
- 2009
- [j3]Krzysztof Balicki, Marcin Szpyrka:
Formal Definition of XCCS Modelling Language. Fundam. Informaticae 93(1-3): 1-15 (2009) - 2008
- [c8]Marcin Szpyrka:
Exclusion rule-based systems - case study. IMCSIT 2008: 237-242 - [c7]Piotr Matyasik, Marcin Szpyrka:
Formal Modelling and Verification of Concurrent Systems with XCCS. ISPDC 2008: 454-458 - 2007
- [j2]Marcin Szpyrka:
Analysis of VME-Bus communication protocol - RTCP-net approach. Real Time Syst. 35(1): 91-108 (2007) - [c6]Antoni Ligeza, Marcin Szpyrka:
A Note on Granular Sets and Their Relation to Rough Sets. RSEISP 2007: 251-260 - [c5]Marcin Szpyrka, Tomasz Szmuc:
Decision Tables in Petri Net Models. RSEISP 2007: 648-657 - 2006
- [j1]Marcin Szpyrka:
Analysis of RTCP-nets with Reachability Graphs. Fundam. Informaticae 74(2-3): 375-390 (2006) - [c4]Marcin Szpyrka, Tomasz Szmuc:
Integrated Approach to Modelling and Analysis using RTCP-nets. SET 2006: 115-120 - [c3]Marcin Szpyrka, Tomasz Szmuc:
Verification of Automatic Train Protection Systems with RTCP-Nets. SAFECOMP 2006: 344-357 - 2005
- [p2]Marcin Szpyrka, Grzegorz J. Nalepa:
Formal Approach to Prototyping and Analysis of Modular Rule-Based Systems. Software Engineering: Evolution and Emerging Technologies 2005: 294-304 - [p1]Marcin Szpyrka:
Development of Safety-Critical Systems with RTCP-Nets Support. Software Engineering: Evolution and Emerging Technologies 2005: 394-399 - 2004
- [c2]Antoni Ligeza, Marcin Szpyrka:
Reduction of Tabular Systems. ICAISC 2004: 903-908 - [c1]Tadeusz Szuba, Marcin Szpyrka:
Theory of Collective Intelligence provides formal relations between Intelligence, Life, and Evolution. Intelligent Information Systems 2004: 151-160
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-19 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
