Bozena Wozna

20 papers A 4Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2009 J jnl
A Translator of Java Programs to TADDs.
Fundam. Informaticae
Artur Rataj, Bozena Wozna, Andrzej Zbrzezny
2008 J jnl
Towards Verification of Java Programs in perICS.
Fundam. Informaticae
Andrzej Zbrzezny, Bozena Wozna
2008 J jnl
VerICS 2007 - a Model Checker for Knowledge and Real-Time.
Fundam. Informaticae
Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
2007 A conf
A temporal epistemic logic with a reset operation.
AAMAS
Alessio Lomuscio, Bozena Wozna
2007 J jnl
Bounded Model Checking for the Existential Fragment of TCTL
Fundam. Informaticae
Bozena Wozna, Andrzej Zbrzezny
2007 J jnl
Bounded model checking for knowledge and real time.
Artif. Intell.
Alessio Lomuscio, Wojciech Penczek, Bozena Wozna
2007 J jnl
Verification of the TESLA protocol in MCMAS-X.
Fundam. Informaticae
Alessio Lomuscio, Franco Raimondi, Bozena Wozna
2006 — conf
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems.
DEON
Alessio Lomuscio, Bozena Wozna
2006 A conf
A complete and decidable security-specialised logic and its application to the TESLA protocol.
AAMAS
Alessio Lomuscio, Bozena Wozna
2006 — conf
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.
MoChArt
Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny
2005 — conf
A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results.
DALT
Alessio Lomuscio, Bozena Wozna
2005 A conf
Bounded model checking for knowledge and real time.
AAMAS
Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
2004 — conf
A Logic for Knowledge, Correctness, and Real Time.
CLIMA
Bozena Wozna, Alessio Lomuscio
2004 J jnl
ACTLS properties and Bounded Model Checking.
Fundam. Informaticae
Bozena Wozna
2004 — conf
Bounded Model Checking for Deontic Interpreted Systems.
LCMAS
Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
2003 — conf
Checking ACTL
FORMATS
Bozena Wozna, Andrzej Zbrzezny
2003 J jnl
Checking Reachability Properties for Timed Automata via SAT.
Fundam. Informaticae
Bozena Wozna, Andrzej Zbrzezny, Wojciech Penczek
2003 A conf
Verics: A Tool for Verifying Timed Automata and Estelle Specifications.
TACAS
Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
2002 J jnl
Bounded Model Checking for the Universal Fragment of CTL.
Fundam. Informaticae
Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny
2002 — conf
Towards Bounded Model Checking for the Universal Fragment of TCTL.
FTRTFT
Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny