Publications 2003

Most of the papers available from this document appear in print, and the corresponding copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited.

Year 2003

• (co-author M. Kacprzak and A. Lomuscio) Unbounded model checking for knowledge and time, ICS PAS Report 966, 2003 (revised version), PS file - report966-UMC03.ps

• (co-author A. Polrola) Minimization algorithms for Time Petri Nets, Proc. of CS&P'03, 2003, PS.gz file - csp03-pp.ps.gz

• (co-author B. Konikowska) On designated values in multi-valued CTL* model checking, Proc. of CS&P'03, 2003, PS.gz file - kp-csp03.ps.gz

• (co-author M. Kacprzak and A. Lomuscio) Unbounded model checking for knowledge and time, Proc. of CS&P'03, 2003, PS.gz file - klp-csp03.ps.gz

• (co-author P. Dembinski, A. Janowska, P. Janowski, A. Polrola, M. Szreter, B. Wozna, A. Zbrzezny) VERICS: Weryfikator dla automatow czasowych i specyfikacji zapisanych w jezyku ESTELLE, Proc. of SCR'03, PS.gz file - scr03.ps.gz

• (co-author A. Polrola, M. Szreter) Reachability Analysis for Timed Automata based on Partitioning, ICS PAS Report 961, 2003, PS.gz file - tr961.ps.gz

• (co-author P. Dembinski, A. Janowska, P. Janowski, A. Polrola, M. Szreter, B. Wozna, A. Zbrzezny) VERICS: A Tool for Verifying Timed Automata and Estelle Specifications, Proc. of TACAS'03, LNCS 2619, pp. 278 -- 283, 2003. PS.gz file - verics.ps.gz

• (co-author A. Lomuscio, T. Lasica) Bounded Model Checking for interpreted systems: preliminary experimental results, Proc. of FAABS II, LNCS 2699, 2003. PS.gz file - faabs2003.ps.gz

• (co-author A. Lomuscio) Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking, Proc. of AAMAS'03, in T. Sandholm, editor, 2003. PS.gz file - aamas2003.ps.gz

• (co-author M. Kacprzak, A. Lomuscio) Bounded versus Unbounded Model Checking for Interpreted Systems, invited talk at FAAMAS'03, pp. 5 - 20, B. Dunin-Keplicz, R. Verbrugge, editors, 2003.

• (co-author A. Polrola, M. Szreter) Reachability Analysis for Timed Automata Using Partitioning Algorithms, Fundamenta Informaticae, Vol. 55(2), pp. 203-221, 2003, PS.gz file - fi-pps03.ps.gz

• (co-author A. Lomuscio) Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking, Fundamenta Informaticae, Vol. 55(2), pp. 167-185, 2003, PS.gz file - fi-pl03.ps.gz

• (co-author B. Wozna, A. Zbrzezny) Checking Reachability Properties for Timed Automata via SAT, Fundamenta Informaticae, Vol. 55(2), pp. 223-241, 2003, PS.gz file - fi-pps03.ps.gz