Maciej Szreter

According to our database, Maciej Szreter authored at least 27 papers between 2000 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Combining ontology reductions with new approaches to automated abstract planning of Planics.

Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz, Maciej Szreter, Agata Pólrola

Appl. Soft Comput., 2017

2016

A Graph-based Reduction in Planics Abstract Planning, Based on Partial Orders of Services (extended abstract).

Maciej Szreter

Proceedings of the 25th International Workshop on Concurrency, 2016

2015

Automated Two-Phase Composition of Timed Web Services.

Maciej Szreter

Proceedings of the Perspectives of System Informatics, 2015

2014

SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework.

Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki

Fundam. Informaticae, 2014

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

2013

Modularity and Openness in Modeling Multi-Agent Systems.

Wojciech Jamroga, Artur Meski, Maciej Szreter

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

2012

Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios.

Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny

Fundam. Informaticae, 2012

Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge.

Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny

Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

Bounded Model Checking for Linear Time Temporal-Epistemic Logic.

Artur Meski, Wojciech Penczek, Maciej Szreter

Proceedings of the 2012 Imperial College Computing Student Workshop, 2012

Bounded model checking for knowledge and linear time.

Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Runtime Monitoring of Contract Regulated Web Services.

Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter

Fundam. Informaticae, 2011

PlanICS - a Web Service Composition Toolset.

Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny

Fundam. Informaticae, 2011

2010

Bounded Parametric Model Checking for Elementary Net Systems.

Michal Knapik, Maciej Szreter, Wojciech Penczek

Trans. Petri Nets Other Model. Concurr., 2010

Parametric Model Checking with VerICS.

Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny

Trans. Petri Nets Other Model. Concurr., 2010

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics.

Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola

Fundam. Informaticae, 2010

2009

A New Approach to Model Checking of UML State Machines.

Artur Niewiadomski, Wojciech Penczek, Maciej Szreter

Fundam. Informaticae, 2009

Simulation of Security Protocols based on Scenarios of Attacks.

Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter

Fundam. Informaticae, 2009

Towards Checking Parametric Reachability for UML State Machines.

Artur Niewiadomski, Wojciech Penczek, Maciej Szreter

Proceedings of the Perspectives of Systems Informatics, 2009

2008

SAT-based Unbounded Model Checking of Timed Automata.

Wojciech Penczek, Maciej Szreter

Fundam. Informaticae, 2008

VerICS 2007 - a Model Checker for Knowledge and Real-Time.

Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny

Fundam. Informaticae, 2008

2006

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

Fundam. Informaticae, 2006

2005

Selective Search in Bounded Model Checking of Reachability Properties.

Maciej Szreter

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

Verifying Multi-agent Systems via Unbounded Model Checking.

Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter

Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

2003

Reachability Analysis for Timed Automata Using Partitioning Algorithms.

Agata Pólrola, Wojciech Penczek, Maciej Szreter

Fundam. Informaticae, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Towards Efficient Partition Refinement for Checking Reachability in Timed Automata.

Agata Pólrola, Wojciech Penczek, Maciej Szreter

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2000

Improving Partial Order Reductions for Universal Branching Time Properties.

Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper

Fundam. Informaticae, 2000