Andrzej Zbrzezny

	2011
19		Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny: The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems. EPIA 2011: 551-565
18		Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny: PlanICS - a Web Service Composition Toolset. Fundam. Inform. 112(1): 47-71 (2011)
	2010
17		Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny: SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets. T. Petri Nets and Other Models of Concurrency 4: 72-97 (2010)
16		Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny: Parametric Model Checking with VerICS. T. Petri Nets and Other Models of Concurrency 4: 98-120 (2010)
	2009
15		Artur Rataj, Bozena Wozna, Andrzej Zbrzezny: A Translator of Java Programs to TADDs. Fundam. Inform. 93(1-3): 305-324 (2009)
	2008
14		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)
13		Andrzej Zbrzezny: Improving the Translation from ECTL to SAT. Fundam. Inform. 85(1-4): 513-531 (2008)
12		Andrzej Zbrzezny, Bozena Wozna: Towards Verification of Java Programs in perICS. Fundam. Inform. 85(1-4): 533-548 (2008)
	2007
11		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)
10		Andrzej Zbrzezny, Agata Pólrola: SAT-Based Reachability Checking for Timed Automata with Discrete Data. Fundam. Inform. 79(3-4): 579-593 (2007)
	2006
9		Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny: SAT-Based Verification of Security Protocols Via Translation to Networks of Automata. MoChArt 2006: 146-165
8		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
7		Andrzej Zbrzezny: SAT-based Reachability Checking for Timed Automata with Diagonal Constraints. Fundam. Inform. 67(1-3): 303-322 (2005)
	2004
6		Andrzej Zbrzezny: Improvements in SAT-based Reachability Analysis for Timed Automata. Fundam. Inform. 60(1-4): 417-434 (2004)
	2003
5		Bozena Wozna, Andrzej Zbrzezny: Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking. FORMATS 2003: 18-33
4		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
3		Bozena Wozna, Andrzej Zbrzezny, Wojciech Penczek: Checking Reachability Properties for Timed Automata via SAT. Fundam. Inform. 55(2): 223-241 (2003)
	2002
2		Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny: Towards Bounded Model Checking for the Universal Fragment of TCTL. FTRTFT 2002: 265-290
1		Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny: Bounded Model Checking for the Universal Fragment of CTL. Fundam. Inform. 51(1-2): 135-156 (2002)

Coauthor Index

1	Piotr Dembinski	[4]
2	Dariusz Doliwa	[18]
3	Wojciech Horzelski	[18]
4	Agata Janowska	[4]
5	Pawel Janowski	[4]
6	Mariusz Jarocki	[18]
7	Magdalena Kacprzak	[14]
8	Michal Knapik	[16]
9	Miroslaw Kurkowski	[9]
10	Alessio Lomuscio	[8]
11	Wojciech Nabialek	[14]
12	Artur Niewiadomski	[14] [16] [18]
13	Wojciech Penczek	[1] [2] [3] [4] [9] [14] [16] [17] [18]
14	Agata Pólrola	[4] [10] [14] [16] [17] [18]
15	Artur Rataj	[15]
16	Maciej Szreter	[4] [14] [16] [18]
17	Bozena Wozna (Bozena Wozna-Szczesniak)	[1] [2] [3] [4] [5] [8] [11] [12] [14] [15] [19]
18	Agnieszka Zbrzezny	[19]

Last update Thu Feb 9 23:21:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page