Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation. - Marcin Szpyrka; Piotr Matyasik; Michal Wypych (CS&P, 2013)

Alvis Language with Time Dependence. - Marcin Szpyrka; Piotr Matyasik; Michal Wypych (FedCSIS, 2013)

Communication between agents in Alvis language. - Piotr Matyasik; Marcin Szpyrka; Michal Wypych; Jerzy Biernacki (MIXDES, 2016)

Priority management in Alvis language. - Marcin Szpyrka; Agnieszka Biernacka; Jerzy Biernacki; Michal Wypych (MIXDES, 2016)

Hierarchical Communication Diagrams. - Marcin Szpyrka; Piotr Matyasik; Jerzy Biernacki; Agnieszka Biernacka; Michal Wypych; Leszek Kotulski (Comput. Informatics, 2016)

Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models. - Anna Suchenia; Krzysztof Kluza; Krystian Jobczyk; Piotr Wisniewski 003; Michal Wypych; Antoni Ligeza (ICAISC (2), 2017)

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

Heuristic Optimization of a Sensor Network Lifetime Under Coverage Constraint. - Krzysztof Trojanowski; Artur Mikitiuk; Frédéric Guinand; Michal Wypych (ICCCI (1), 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)