Bożena Woźna-Szcześniak

MaRDI QIDQ310080zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
SAT-based bounded model checking for timed interpreted systems and the RTECTLK properties Scientific Issues Jan Długosz University in Częstochowa. Mathematics	2022-10-17	Paper
On the SMT-based verification of communicative commitments Scientific Issues Jan Długosz University in Częstochowa. Mathematics	2022-10-17	Paper
A GPGPU-based simulator for Prism: statistical verification of results of PMC Scientific Issues Jan Długosz University in Częstochowa. Mathematics	2022-10-17	Paper
Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking Fundamenta Informaticae	2018-05-03	Paper
SMT-based searching for \(k\)-quasi-optimal runs in weighted timed automata Fundamenta Informaticae	2017-12-05	Paper
SAT-based bounded model checking for weighted deontic interpreted systems Fundamenta Informaticae	2017-03-22	Paper
Checking EMTLK properties of timed interpreted systems via bounded model checking Studia Logica	2016-09-07	Paper
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking Fundamenta Informaticae	2015-06-26	Paper
Verifying RTECTL properties of a train controller systems	2014-04-04	Paper
A translation of the existential model checking problem from MITL to HLTL Fundamenta Informaticae	2013-04-18	Paper
Towards SAT-based BMC for LTLK over interleaved interpreted systems Fundamenta Informaticae	2012-10-29	Paper

Research outcomes over time

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