Bożena Woźna

Available identifiers

Publication	Date of Publication	Type
Bounded model checking for deontic interpreted systems	2013-09-25	Paper
Towards Bounded Model Checking for the Universal Fragment of TCTL	2011-04-08	Paper
A SAT-based technique to analyse networks of finite automata	2010-06-22	Paper
A translator of Java programs to TADDs	2009-08-10	Paper
Bounded model checking for knowledge and real time	2009-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q5506391	2009-01-28	Paper
VERICS 2007 -- a model checker for knowledgee and real-time	2009-01-28	Paper
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems	2008-10-09	Paper
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation	2007-11-01	Paper
Verification of the TESLA protocol in MCMAS-X	2007-10-17	Paper
Bounded model checking for the existential fragment of \(\mathrm{TCTL}_{-G}\) and diagonal timed automata	2007-10-17	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
Computational Logic in Multi-Agent Systems	2005-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4654277	2005-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4461759	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4417931	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q3146278	2002-10-21	Paper

This page was built for person: Bożena Woźna