Bozena Wozna

Bozena Wozna-Szczesniak

	2013
j12		Bozena Wozna-Szczesniak, Andrzej Zbrzezny: A Translation of the Existential Model Checking Problem from MITL to HLTL. Fundam. Inform. 122(4): 401-420 (2013)
	2012
j11		Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny: Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems. Fundam. Inform. 119(3-4): 373-392 (2012)
c15		Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny: Bounded model checking for knowledge and linear time. AAMAS 2012: 1447-1448
c14		Bozena Wozna-Szczesniak, Andrzej Zbrzezny: SAT-Based Bounded Model Checking for Deontic Interleaved Interpreted Systems. KES-AMSTA 2012: 494-503
c13		Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny: Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge. KES-AMSTA 2012: 514-523
	2011
c12		Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny: The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems. EPIA 2011: 551-565
	2009
j10		Artur Rataj, Bozena Wozna, Andrzej Zbrzezny: A Translator of Java Programs to TADDs. Fundam. Inform. 93(1-3): 305-324 (2009)
c11		Bozena Wozna-Szczesniak: Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge. CEE-SET 2009: 164-178
	2008
j9		Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny: VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundam. Inform. 85(1-4): 313-328 (2008)
j8		Andrzej Zbrzezny, Bozena Wozna: Towards Verification of Java Programs in perICS. Fundam. Inform. 85(1-4): 533-548 (2008)
	2007
j7		Alessio Lomuscio, Wojciech Penczek, Bozena Wozna: Bounded model checking for knowledge and real time. Artif. Intell. 171(16-17): 1011-1038 (2007)
j6		Bozena Wozna, Andrzej Zbrzezny: Bounded Model Checking for the Existential Fragment of TCTL-G and Diagonal Timed Automata. Fundam. Inform. 79(1-2): 229-256 (2007)
j5		Alessio Lomuscio, Franco Raimondi, Bozena Wozna: Verification of the TESLA protocol in MCMAS-X. Fundam. Inform. 79(3-4): 473-486 (2007)
c10		Alessio Lomuscio, Bozena Wozna: A temporal epistemic logic with a reset operation. AAMAS 2007: 145
	2006
c9		Alessio Lomuscio, Bozena Wozna: A complete and decidable security-specialised logic and its application to the TESLA protocol. AAMAS 2006: 145-152
c8		Alessio Lomuscio, Bozena Wozna: A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. DEON 2006: 238-254
c7		Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny: Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. MoChArt 2006: 95-112
	2005
j4		Bozena Wozna, Alessio Lomuscio, Wojciech Penczek: Bounded Model Checking for Deontic Interpreted Systems. Electr. Notes Theor. Comput. Sci. 126: 93-114 (2005)
c6		Bozena Wozna, Alessio Lomuscio, Wojciech Penczek: Bounded model checking for knowledge and real time. AAMAS 2005: 165-172
c5		Alessio Lomuscio, Bozena Wozna: A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. DALT 2005: 188-204
	2004
j3		Bozena Wozna: ACTLS properties and Bounded Model Checking. Fundam. Inform. 63(1): 65-87 (2004)
c4		Bozena Wozna, Alessio Lomuscio: A Logic for Knowledge, Correctness, and Real Time. CLIMA 2004: 1-15
	2003
j2		Bozena Wozna, Andrzej Zbrzezny, Wojciech Penczek: Checking Reachability Properties for Timed Automata via SAT. Fundam. Inform. 55(2): 223-241 (2003)
c3		Bozena Wozna, Andrzej Zbrzezny: Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking. FORMATS 2003: 18-33
c2		Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny: Verics: A Tool for Verifying Timed Automata and Estelle Specifications. TACAS 2003: 278-283
	2002
j1		Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny: Bounded Model Checking for the Universal Fragment of CTL. Fundam. Inform. 51(1-2): 135-156 (2002)
c1		Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny: Towards Bounded Model Checking for the Universal Fragment of TCTL. FTRTFT 2002: 265-290

Coauthor Index

Last update Sat May 25 09:08:23 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page