Alvis Data Graphs

Authors: Szpyrka, Marcin

Source: 2018 25th International Conference "Mixed Design of Integrated Circuits and System" (MIXDES) "Mixed Design of Integrated Circuits and System" (MIXDES), 2018 25th International Conference. :409-415 Jun, 2018

Relation: 2018 25th International Conference "Mixed Design of Integrated Circuits and System" (MIXDES)

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

Authors: Brzychczy, Edyta, Szpyrka, Marcin, Korski, Jacek, Nalepa, Grzegorz J.

Source: IEEE access. 11:54495-54508

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100185031315.0x000001&indx=1&recIds=ETOCvdc_100185031315.0x000001

Communication between agents in Alvis language

Authors: Matyasik, Piotr, Szpyrka, Marcin, Wypych, Michal, Biernacki, Jerzy

Source: 2016 MIXDES - 23rd International Conference Mixed Design of Integrated Circuits and Systems Mixed Design of Integrated Circuits and Systems, 2016 MIXDES - 23rd International Conference. :448-453 Jun, 2016

Relation: 2016 MIXDES - 23rd International Conference "Mixed Design of Integrated Circuits and Systems"

Priority management in Alvis language

Authors: Szpyrka, Marcin, Biernacka, Agnieszka, Biernacki, Jerzy, Wypych, Michal

Source: 2016 MIXDES - 23rd International Conference Mixed Design of Integrated Circuits and Systems Mixed Design of Integrated Circuits and Systems, 2016 MIXDES - 23rd International Conference. :464-468 Jun, 2016

Relation: 2016 MIXDES - 23rd International Conference "Mixed Design of Integrated Circuits and Systems"

Formal methods — Support or scientific decoration in software development?

Authors: Szmuc, Tomasz, Szpyrka, Marcin

Source: 2015 22nd International Conference Mixed Design of Integrated Circuits & Systems (MIXDES) Mixed Design of Integrated Circuits & Systems (MIXDES), 2015 22nd International Conference. :24-31 Jun, 2015

Relation: 2015 MIXDES - 22nd International Conference "Mixed Design of Integrated Circuits & Systems"

Extracting of temporal patterns from data for hierarchical classifiers construction

Authors: Szpyrka, Marcin, Szczur, Adam, Bazan, Jan G., Dydo, Lukasz

Source: 2015 IEEE 2nd International Conference on Cybernetics (CYBCONF) Cybernetics (CYBCONF), 2015 IEEE 2nd International Conference on. :330-335 Jun, 2015

Relation: 2015 IEEE 2nd International Conference on Cybernetics (CYBCONF)

Identification of malware activities with rules

Authors: Jasiul, Bartosz, Sliwa, Joanna, Gleba, Kamil, Szpyrka, Marcin

Source: 2014 Federated Conference on Computer Science and Information Systems Computer Science and Information Systems (FedCSIS), 2014 Federated Conference on. :101-110 Sep, 2014

Relation: 2014 Federated Conference on Computer Science and Information Systems (FedCSIS)

Alvis language with time dependence

Authors: Szpyrka, Marcin, Matyasik, Piotr, Wypych, Michal

Source: 2013 Federated Conference on Computer Science and Information Systems Computer Science and Information Systems (FedCSIS), 2013 Federated Conference on. :1565-1570 Sep, 2013

Relation: 2013 Federated Conference on Computer Science and Information Systems (FedCSIS)

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

Authors: Szpyrka, Marcin, Baniewicz, Jaroslaw, Karatkevich, Andrei

Source: IEEE access. 10:104178-104189

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100165287262.0x000001&indx=1&recIds=ETOCvdc_100165287262.0x000001

Priority inversion detection in Alvis models

Authors: Baniewicz, Jaroslaw, Szpyrka, Marcin

Source: Proceedings of the 18th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2011 Mixed Design of Integrated Circuits and Systems (MIXDES), 2011 Proceedings of the 18th International Conference. :638-643 Jun, 2011

Relation: 2011 MIXDES - 18th International Conference "Mixed Design of Integrated Circuits & Systems"

Modelling of signals handling with alvis

Authors: Szpyrka, Marcin, Matyasik, Piotr, Mrowka, Rafal, Kotulski, Leszek

Source: Proceedings of the 18th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2011 Mixed Design of Integrated Circuits and Systems (MIXDES), 2011 Proceedings of the 18th International Conference. :627-631 Jun, 2011

Relation: 2011 MIXDES - 18th International Conference "Mixed Design of Integrated Circuits & Systems"

Alvis approach to Hexor robot controller development

Authors: Szpyrka, Marcin, Matyasik, Piotr, Mrowka, Rafal

Source: Proceedings of the 17th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2010 Mixed Design of Integrated Circuits and Systems (MIXDES), 2010 Proceedings of the 17th International Conference. :595-600 Jun, 2010

Relation: 2010 MIXDES - 17th International Conference "Mixed Design of Integrated Circuits & Systems"

Email Campaign Evaluation Based on User and Mail Server Response.

Authors: Szpyrka, Marcin¹, mszpyrka@agh.edu.pl, Suszalski, Piotr², Obara, Sebastian², Nalepa, Grzegorz J.³

Source: Applied Sciences (2076-3417); Feb2023, Vol. 13 Issue 3, p1630, 8p

Exclusion rule-based systems—case study

Authors: Szpyrka, Marcin

Source: 2008 International Multiconference on Computer Science and Information Technology Computer Science and Information Technology, 2008. IMCSIT 2008. International Multiconference on. :237-242 Oct, 2008

Relation: 2008 International Multiconference on Computer Science and Information Technology (IMCSIT)

Formal Modelling and Verification of Concurrent Systems with XCCS

Authors: Matyasik, Piotr, Szpyrka, Marcin

Source: 2008 International Symposium on Parallel and Distributed Computing Parallel and Distributed Computing, 2008. ISPDC '08. International Symposium on. :454-458 Jul, 2008

Relation: 2008 International Symposium on Parallel and Distributed Computing (ISPDC)

Simulation of Multi-agent Systems with Alvis Toolkit
Artificial Intelligence and soft Computing

Authors: Szpyrka, Marcin, Matyasik, Piotr, Podolski, Łukasz, Wypych, Michał

Source: Lecture notes in computer science. 10246:599-608

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN602451341&indx=1&recIds=ETOCCN602451341

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

Authors: Szpyrka, Marcin, Wypych, Michal, Biernacki, Jerzy, Podolski, Lukasz

Source: IEEE access. 6:78766-78779

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100099488908.0x000001&indx=1&recIds=ETOCvdc_100099488908.0x000001

Modelling and Verification of Real-Time Systems with Alvis

Authors: Szpyrka, Marcin, Podolski, Łukasz, Wypych, Michał

Source: Studies in computational intelligence. 733:165-178

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN612434863&indx=1&recIds=ETOCRN612434863

Tools and Methods for RTCP-Nets Modeling and Verification

Authors: Szpyrka Marcin, Biernacki Jerzy, Biernacka Agnieszka

Source: Archives of Control Sciences, Vol 26, Iss 3, Pp 339-365 (2016)

Subject Terms: RTCP-nets, Petri nets, model checking, coverability graphs, nuXmv, CADP, Information technology, T58.5-58.64, Mathematics, QA1-939

File Description: electronic resource

Relation: http://www.degruyter.com/view/j/acsc.2016.26.issue-3/acsc-2016-0019/acsc-2016-0019.xml?format=INT; https://doaj.org/toc/2300-2611

Access URL: https://doaj.org/article/918fbb455a6a4391b5853509784133b2

Architecture of on-line data acquisition system for car on-board diagnostics

Authors: Kowalik Bartosz, Szpyrka Marcin

Source: MATEC Web of Conferences, Vol 252, p 02003 (2019)

Subject Terms: Engineering (General). Civil engineering (General), TA1-2040

File Description: electronic resource

Relation: https://doaj.org/toc/2261-236X

Access URL: https://doaj.org/article/8a3fccb6eb184c2f80dd337d00ea81c5