Simulation of Multi-agent Systems with Alvis Toolkit. - Marcin Szpyrka; Piotr Matyasik; Lukasz Podolski; Michal Wypych (ICAISC (2), 2017)

Modelling and Verification of Real-Time Systems with Alvis. - Marcin Szpyrka; Lukasz Podolski; Michal Wypych (KKIO Software Engineering Conference, 2017)

Discrete-Time Systems Modeling and Verification With Alvis Language and Tools. - Marcin Szpyrka; Michal Wypych; Jerzy Biernacki; Lukasz Podolski (IEEE Access, 2018)