Maciej Szreter

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