Æȷοì
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
1272008
¡î 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
912003
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
562006
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
472000
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, 558-604, 2014
442014
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
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
251999
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
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
192004
Modularity and openness in modeling multi-agent systems
W Jamroga, A Mȩski, M Szreter
arXiv preprint arXiv:1307.4477, 2013
162013
Runtime monitoring of contract regulated web services.
A Lomuscio, M Solanki, W Penczek, M Szreter
AAMAS, 1449-1450, 2010
152010
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
142014
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
122010
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
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 (2), 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
Towards automatic composition of web services: Abstract planning phase
M Jarocki, A Niewiadomski, W Penczek, A Pó©©rola, M Szreter
Polish Academy of Sciences [PAS]. Institute of Computer Science, 2010
82010
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20