| 2026 | ENASE | Generating Synthetic Datasets for Process Mining. | Jakub Sawczuk, Marcin Szpyrka |
| 2017 | ICAISC | Simulation of Multi-agent Systems with Alvis Toolkit. | Marcin Szpyrka, Piotr Matyasik, Lukasz Podolski, Michal Wypych |
| 2014 | FedCSIS | Identification of malware activities with rules. | Bartosz Jasiul, Joanna Sliwa, Kamil Gleba, Marcin Szpyrka |
| 2013 | FedCSIS | Alvis Language with Time Dependence. | Marcin Szpyrka, Piotr Matyasik, Michal Wypych |
| 2011 | ECMS | Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS. | Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka |
| 2011 | IDC | Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language. | Marcin Szpyrka, Grzegorz J. Nalepa, Antoni Ligeza, Krzysztof Kluza |
| 2011 | KES | Labelled Transition System Generation from Alvis Language. | Leszek Kotulski, Marcin Szpyrka, Adam Sedziwy |
| 2011 | KES | Snapshot Reachability Graphs for Alvis Models. | Marcin Szpyrka, Leszek Kotulski |
| 2008 | ISPDC | Formal Modelling and Verification of Concurrent Systems with XCCS. | Piotr Matyasik, Marcin Szpyrka |
| 2006 | SAFECOMP | Verification of Automatic Train Protection Systems with RTCP-Nets. | Marcin Szpyrka, Tomasz Szmuc |
| 2004 | ICAISC | Reduction of Tabular Systems. | Antoni Ligeza, Marcin Szpyrka |