Maciej Szreter

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 2

Top Topics

Linear Temporal Logic

Web Service Composition

Bounded Model Checking

Top Venues

Fundam. Informaticae

Auton. Agents Multi Agent Syst.

Ershov Memorial Conference

Publications

Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz, Maciej Szreter, Agata Pólrola
Combining ontology reductions with new approaches to automated abstract planning of Planics. Appl. Soft Comput. 53 (2017)
Maciej Szreter
A Graph-based Reduction in Planics Abstract Planning, Based on Partial Orders of Services (extended abstract). CS&P (2016)
Maciej Szreter
Automated Two-Phase Composition of Timed Web Services. Ershov Memorial Conference (2015)
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance. Auton. Agents Multi Agent Syst. 28 (4) (2014)
Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki
SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework. Fundam. Informaticae 135 (4) (2014)
Wojciech Jamroga, Artur Meski, Maciej Szreter
Modularity and Openness in Modeling Multi-Agent Systems. GandALF (2013)
Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios. Fundam. Informaticae 120 (2) (2012)
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge. KES-AMSTA (2012)
Artur Meski, Wojciech Penczek, Maciej Szreter
Bounded Model Checking for Linear Time Temporal-Epistemic Logic. ICCSW (2012)
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Bounded model checking for knowledge and linear time. AAMAS (2012)
Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
PlanICS - a Web Service Composition Toolset. Fundam. Informaticae 112 (1) (2011)
Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter
Runtime Monitoring of Contract Regulated Web Services. Fundam. Informaticae 111 (3) (2011)
Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
Parametric Model Checking with VerICS. Trans. Petri Nets Other Model. Concurr. 4 (2010)
Alessio Lomuscio, Monika Solanki, Wojciech Penczek, Maciej Szreter
Runtime monitoring of contract regulated web services. AAMAS (2010)
Michal Knapik, Maciej Szreter, Wojciech Penczek
Bounded Parametric Model Checking for Elementary Net Systems. Trans. Petri Nets Other Model. Concurr. 4 (2010)
Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola
Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics. Fundam. Informaticae 101 (1-2) (2010)
Artur Niewiadomski, Wojciech Penczek, Maciej Szreter
Towards Checking Parametric Reachability for UML State Machines. Ershov Memorial Conference (2009)
Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter
Simulation of Security Protocols based on Scenarios of Attacks. Fundam. Informaticae 93 (1-3) (2009)
Artur Niewiadomski, Wojciech Penczek, Maciej Szreter
A New Approach to Model Checking of UML State Machines. Fundam. Informaticae 93 (1-3) (2009)
Wojciech Penczek, Maciej Szreter
SAT-based Unbounded Model Checking of Timed Automata. Fundam. Informaticae 85 (1-4) (2008)
Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundam. Informaticae 85 (1-4) (2008)
Wojciech Penczek, Maciej Szreter
SAT-based Unbounded Model Checking of Timed Automata. ACSD (2007)
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. Fundam. Informaticae 72 (1-3) (2006)
Maciej Szreter
Selective Search in Bounded Model Checking of Reachability Properties. ATVA (2005)
Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter
Verifying Multi-agent Systems via Unbounded Model Checking. FAABS (2004)
Agata Pólrola, Wojciech Penczek, Maciej Szreter
Reachability Analysis for Timed Automata Using Partitioning Algorithms. Fundam. Informaticae 55 (2) (2003)
Agata Pólrola, Wojciech Penczek, Maciej Szreter
Towards Efficient Partition Refinement for Checking Reachability in Timed Automata. FORMATS (2003)
Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
Verics: A Tool for Verifying Timed Automata and Estelle Specifications. TACAS (2003)
Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper
Improving Partial Order Reductions for Universal Branching Time Properties. Fundam. Informaticae 43 (1-4) (2000)