2010
1. "Towards Checking Parametric Reachability for UML State Machines", Perspectives of Systems Informatics, LNCS 5947/2010,
pp. 319-330, Springer, 2010
A. Niewiadomski, W. Penczek, and M. Szreter

2. "Towards Automatic Composition of Web Services: Abstract Planning Phase" [Automatyczna kompozycja uslug sieciowych - faza planowania abstrakcyjnego]
ICS PAS Tech. Report 1017, Warsaw 2010
M. Jarocki, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter


2009
1. "A new approach to model checking of UML state machines",
Fundamenta Informaticae, 93 (1-3) 2009, pp. 289-303
A. Niewiadomski, W. Penczek, and M. Szreter

2. "Towards checking parametric reachability for UML state machines",
In Proc. of the 7th Int. Ershov Memorial Conf. Perspective of System Informatics (PSI'09), pp. 229-240, Novosibirsk 2009
A. Niewiadomski, W. Penczek, and M. Szreter

3. "VerICS 2008 - a Model Checker for Time Petri Nets and High-Level
Languages", In Proc. of International Workshop on Petri Nets and Software Engineering (PNSE'09), pp. 119-132, Univ. of Hamburg 2009.
M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter,
B. Wozna, and A. Zbrzezny

4. "Ograniczona Weryfikacja Modelowa Maszyn Stanowych UML",
Systemy Czasu Rzeczywistego. Postepy badan i zastosowania.
ISBN 978-83-206-1746-7, sect. 1, pp. 13-22,
Wydawnictwa Komunikacji i Lacznosci, Warszawa 2009
A. Niewiadomski, W. Penczek, M. Szreter (in Polish)

5. "Parametric Model Checking with VerICS",
In Proc. of the International Workshop onConcurrency, Specification, and Programming (CS&P 2009), pp. 443-454, Warsaw University 2009
A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, and A. Zbrzezny


2008
1. "VerICS 2007 - a Model Checker for Knowledge and Real-Time",
Fundamenta Informaticae 85 (1-4) 2008, pp. 313-328
M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, B. Wozna, A. Zbrzezny

2. "Verics 2008 - a Model Checker for High-Level Languages",
in Artificial Intelligence Studies vol 5 (28)/2008 (proc. of X International Conference on Artificial Intelligence), pp.131-140 , Publishing House of University of Podlasie
M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, B. Wozna, A. Zbrzezny

3. "Towards Bounded Model Checking for UML",
in proc. of CS&P 2008, pp. 386-397
A. Niewiadomski, W.Penczek, M.Szreter

4. "Semantyka operacyjna wybranych diagramow UML",
ICS PAS Tech. Report 1009
A. Niewiadomski, W.Penczek, M.Szreter (in Polish)

5. "Semantyka operacyjna maszyn stanowych UML",
Modele i zastosowania systemow czasu rzeczywistego, sect. 4., pp. 45-54, ISBN 978-83-206-1702-3, wyd. Komunikacji i Lacznosci 2008
A. Niewiadomski, W.Penczek, M.Szreter (in Polish)



2007
1. "Verics 2006 - a Model Checker for Real-Time and Multi-Agent Systems"
In Proceedings of CS&P'2007,
M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, B. Wozna, A. Zbrzezny

2. "UML Verification with Verics"
Studia Informatica, Publishing House of University of Podlasie 2007, A. Niewiadomski, W.Penczek

3. "Verics2006 - weryfikator dla systemow czasowych i wieloagentowych",
Systemy Czasu Rzeczywistego. Metody i Zastosowania, s. 243, Wydawnictwa Komunikacji i Lacznosci 2007,
M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola, M. Szreter, B. Wozna, A. Zbrzezny (in Polish)



2006
1. "Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol",
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter;
Fundamenta Informaticae 72 (2006) 1-20, IOS Press

2. "Weryfikacja UML z wykorzystaniem systemu Verics",
A. Niewiadomski, W. Penczek, S. Lasota, J. Kowalski;
Systemy Czasu Rzeczywistego 2006, Systemy informatyczne z ograniczeniami czasowymi, p. 79, Wydawnictwa Komunikacji i Lacznosci (in Polish)

2005
"Model Checking Dining Cryptographers with Verics",
A. Niewiadomski, W. Penczek, M. Szreter, M. Kacprzak;
Concurrent Specification and Programming, CS&P'2005, vol. 2, p.359


2004
"VerICS 2004: A model checker for real time and multi-agent systems",
Nabialek W., Niewiadomski A., Penczek W., Polrola A., Szreter M.;
Proceedings of CS&P'04, volume 170(1) of Informatik-Berichte, p. 88, Humboldt University, 2004