Publications 2002
Year 2002
-
(co-author B. Wozna and A. Zbrzezny)
Bounded Model Checking for the Universal fragment of CTL,
Fundamenta Informaticae, 2002.
PS.gz file - fi02-abw.ps.gz
-
(co-author B. Konikowska)
Model Checking for Multi-Valued CTL*,
a chapter in the book on Multi-Valued Logics,
M. Fitting and E. Orlowska eds., 2002.
PS.gz file - MVL-bookchapter.ps.gz
-
(co-author P. Dembinski and A. Polrola)
Verification of Timed Automata Based on Similarity,
Fundamenta Informaticae, 2002.
PS.gz file - fi02-dpp.ps.gz
-
(co-author B. Wozna and A. Zbrzezny)
Bounded Model Checking for Elementary Nets Systems,
ICS PAS Report 940, 2002.
PS.gz file - raport940-abw02.ps.gz
-
(co-author B. Konikowska)
Reducing Model Checking from Multi-Valued CTL* to CTL*,
Proc. of CONCUR'02, LNCS 2421, 2002.
PS.gz file - concur02.ps.gz
-
(co-author B. Wozna and A. Zbrzezny)
Towards Bounded Model Checking for the Universal Fragment of TCTL,
Proc. of FTRTFT'02, LNCS 2469, 2002.
PS.gz file - ftrtft02.ps.gz
-
(co-author H. Hansen and A. Valmari)
Stuttering-Insensitive Automata for On-the-fly Detection of
Livelock Properties,
Proc. of FMICS'02, 2002.
PS.gz file - fmics02.ps.gz
-
(co-author A. Lomuscio)
Bounded Model Checking for Interpreted Systems,
ICS PAS Report 946, 2002.
PS.gz file - TR946.ps.gz
-
(co-author B. Wozna and A. Zbrzezny)
Towards Bounded Model Checking for the Universal Fragment of TCTL,
ICS PAS Report 947, 2002.
PS.gz file - TR947.ps.gz
-
(co-author B. Wozna and A. Zbrzezny)
Checking Reachability Properties via SAT,
ICS PAS Report 949, 2002.
PS.gz file - report949.ps.gz