Improving Partial Order Reductions for Universal Branching Time Properties. - Wojciech Penczek; Maciej Szreter; Rob Gerth; Ruurd Kuiper 001 (Fundam. Informaticae, 2000)

Towards Efficient Partition Refinement for Checking Reachability in Timed Automata. - Agata Pólrola; Wojciech Penczek; Maciej Szreter (FORMATS, 2003)

Verics: A Tool for Verifying Timed Automata and Estelle Specifications. - Piotr Dembinski; Agata Janowska; Pawel Janowski; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Bozena Wozna; Andrzej Zbrzezny (TACAS, 2003)

Reachability Analysis for Timed Automata Using Partitioning Algorithms. - Agata Pólrola; Wojciech Penczek; Maciej Szreter (Fundam. Informaticae, 2003)

Verifying Multi-agent Systems via Unbounded Model Checking. - Magdalena Kacprzak; Alessio Lomuscio; T. Lasica; Wojciech Penczek; Maciej Szreter (FAABS, 2004)

Selective Search in Bounded Model Checking of Reachability Properties. - Maciej Szreter (ATVA, 2005)

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. - Magdalena Kacprzak; Alessio Lomuscio; Artur Niewiadomski 001; Wojciech Penczek; Franco Raimondi; Maciej Szreter (Fundam. Informaticae, 2006)

VerICS 2007 - a Model Checker for Knowledge and Real-Time. - Magdalena Kacprzak; Wojciech Nabialek; Artur Niewiadomski 001; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Bozena Wozna; Andrzej Zbrzezny (Fundam. Informaticae, 2008)

SAT-based Unbounded Model Checking of Timed Automata. - Wojciech Penczek; Maciej Szreter (Fundam. Informaticae, 2008)

Towards Checking Parametric Reachability for UML State Machines. - Artur Niewiadomski 001; Wojciech Penczek; Maciej Szreter (Ershov Memorial Conference, 2009)

Simulation of Security Protocols based on Scenarios of Attacks. - Gizela Jakubowska; Piotr Dembinski; Wojciech Penczek; Maciej Szreter (Fundam. Informaticae, 2009)

A New Approach to Model Checking of UML State Machines. - Artur Niewiadomski 001; Wojciech Penczek; Maciej Szreter (Fundam. Informaticae, 2009)

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics. - Michal Knapik; Wojciech Penczek; Maciej Szreter; Agata Pólrola (Fundam. Informaticae, 2010)

Parametric Model Checking with VerICS. - Michal Knapik; Artur Niewiadomski 001; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Andrzej Zbrzezny (Trans. Petri Nets Other Model. Concurr., 2010)

Bounded Parametric Model Checking for Elementary Net Systems. - Michal Knapik; Maciej Szreter; Wojciech Penczek (Trans. Petri Nets Other Model. Concurr., 2010)

PlanICS - a Web Service Composition Toolset. - Dariusz Doliwa; Wojciech Horzelski; Mariusz Jarocki; Artur Niewiadomski 001; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Andrzej Zbrzezny (Fundam. Informaticae, 2011)

Runtime Monitoring of Contract Regulated Web Services. - Alessio Lomuscio; Wojciech Penczek; Monika Solanki; Maciej Szreter (Fundam. Informaticae, 2011)

Bounded model checking for knowledge and linear time. - Artur Meski; Wojciech Penczek; Maciej Szreter; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (AAMAS, 2012)

Bounded Model Checking for Linear Time Temporal-Epistemic Logic. - Artur Meski; Wojciech Penczek; Maciej Szreter (ICCSW, 2012)

Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge. - Artur Meski; Wojciech Penczek; Maciej Szreter; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (KES-AMSTA, 2012)

Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios. - Artur Niewiadomski 001; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Andrzej Zbrzezny (Fundam. Informaticae, 2012)

Modularity and Openness in Modeling Multi-Agent Systems. - Wojciech Jamroga; Artur Meski; Maciej Szreter (GandALF, 2013)

BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance. - Artur Meski; Wojciech Penczek; Maciej Szreter; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (Auton. Agents Multi Agent Syst., 2014)

SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework. - Artur Niewiadomski 001; Jaroslaw Skaruz; Wojciech Penczek; Maciej Szreter; Mariusz Jarocki (Fundam. Informaticae, 2014)

Automated Two-Phase Composition of Timed Web Services. - Maciej Szreter (Ershov Memorial Conference, 2015)

A Graph-based Reduction in Planics Abstract Planning, Based on Partial Orders of Services (extended abstract). - Maciej Szreter (CS&P, 2016)

Combining ontology reductions with new approaches to automated abstract planning of Planics. - Artur Niewiadomski 001; Wojciech Penczek; Jaroslaw Skaruz; Maciej Szreter; Agata Pólrola (Appl. Soft Comput., 2017)