Maciej Szreter
Maciej Szreter
Research Assisstant, Institute of Computer Science, Polish Academy of Sciences
ipipan.waw.pl의 이메일 확인됨
제목
인용
인용
연도
Verics 2007-a model checker for knowledge and real-time
M Kacprzak, W Nabiałek, A Niewiadomski, W Penczek, A Półrola, ...
Fundamenta Informaticae 85 (1-4), 313-328, 2008
1142008
√ erics: a tool for verifying timed automata and estelle specifications
P Dembiński, A Janowska, P Janowski, W Penczek, A Półrola, M Szreter, ...
Tools and Algorithms for the Construction and Analysis of Systems, 278-283, 2003
862003
Comparing BDD and SAT based techniques for model checking Chaum's dining cryptographers protocol
M Kacprzak, A Lomuscio, A Niewiadomski, W Penczek, F Raimondi, ...
Fundamenta Informaticae 72 (1-3), 215-234, 2006
522006
Improving partial order reductions for universal branching time properties
W Penczek, M Szreter, R Gerth, R Kuiper
Fundamenta Informaticae 43 (1-4), 245-267, 2000
412000
Planics-a web service composition toolset
D Doliwa, W Horzelski, M Jarocki, A Niewiadomski, W Penczek, A Półrola, ...
Fundamenta Informaticae 112 (1), 47-71, 2011
402011
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance
A Mȩski, W Penczek, M Szreter, B Woźna-Szcześniak, A Zbrzezny
Autonomous Agents and Multi-Agent Systems 28 (4), 558-604, 2014
392014
VerICS 2004: A model checker for real time and multi-agent systems
W Nabialek, A Niewiadomski, W Penczek, A Polrola, M Szreter
Proceedings of the International Workshop on Concurrency, Specification and …, 2004
352004
Partial order reductions preserving simulations
W Penczek, R Gerth, R Kuiper, M Szreter
Submitted for publication, 1999
241999
A new approach to model checking of UML state machines
A Niewiadomski, W Penczek, M Szreter
Fundamenta Informaticae 93 (1-3), 289-303, 2009
232009
Runtime monitoring of contract regulated web services.
A Lomuscio, M Solanki, W Penczek, M Szreter
AAMAS, 1449-1450, 2010
162010
Verifying multi-agent systems via unbounded model checking
M Kacprzak, A Lomuscio, T Łasica, W Penczek, M Szreter
International Workshop on Formal Approaches to Agent-Based Systems, 189-212, 2004
162004
Modularity and openness in modeling multi-agent systems
W Jamroga, A Mȩski, M Szreter
arXiv preprint arXiv:1307.4477, 2013
132013
SMT versus genetic and openopt algorithms: Concrete planning in the planics framework
A Niewiadomski, J Skaruz, W Penczek, M Szreter, M Jarocki
Fundamenta Informaticae 135 (4), 451-466, 2014
122014
Bounded parametric verification for distributed time Petri nets with discrete-time semantics
M Knapik, W Penczek, M Szreter
Fundamenta Informaticae 101 (1-2), 9-27, 2010
122010
Parametric Model Checking with VerICS
M Knapik, A Niewiadomski, W Penczek, A Półrola, M Szreter, A Zbrzezny
Transactions on Petri nets and other models of concurrency IV, 98-120, 2010
112010
Towards checking parametric reachability for UML state machines
A Niewiadomski, W Penczek, M Szreter
International Andrei Ershov Memorial Conference on Perspectives of System …, 2009
112009
Web services composition-from ontology to plan by query
D Doliwa, W Horzelski, M Jarocki, A Niewiadomski, W Penczek, A Półrola, ...
Control and Cybernetics 40, 315-336, 2011
92011
Runtime monitoring of contract regulated web services
A Lomuscio, W Penczek, M Solanki, M Szreter
Fundamenta Informaticae 111 (3), 339-355, 2011
92011
Bounded parametric model checking for elementary net systems
M Knapik, M Szreter, W Penczek
Transactions on Petri Nets and Other Models of Concurrency IV, 42-71, 2010
92010
SAT-based unbounded model checking of timed automata
W Penczek, M Szreter
Fundamenta Informaticae 85 (1-4), 425-440, 2008
92008
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20