Bożena Woźna-Szcześniak

Available identifiers

Publication	Date of Publication	Type
SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties	2022-10-17	Paper
On the SMT-based Verification of Communicative Commitments	2022-10-17	Paper
A GPGPU–based Simulator for Prism: Statistical Verification of Results of PMC	2022-10-17	Paper
Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking	2018-05-03	Paper
SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata*	2017-12-05	Paper
SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems	2017-03-22	Paper
Checking EMTLK properties of timed interpreted systems via bounded model checking	2016-09-07	Paper
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking	2015-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q5407112	2014-04-04	Paper
A Translation of the Existential Model Checking Problem from MITL to HLTL	2013-04-18	Paper
Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems	2012-10-29	Paper

This page was built for person: Bożena Woźna-Szcześniak