Pavel Jezek

	2011
5		Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery: Strengthening Component Architectures by Modeling Fine-Grained Entities. EUROMICRO-SEAA 2011: 124-128
	2009
4		Pavel Jezek, Tomás Bures, Petr Hnetynka: Supporting Real-Life Applications in Hierarchical Component Systems. SERA (selected papers) 2009: 107-118
3		Tomas Matousek, Pavel Jezek: DeSpec: Modeling the Windows Driver Environment. Electr. Notes Theor. Comput. Sci. 203(7): 55-69 (2009)
	2007
2		Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parizek, Frantisek Plasil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma: CoCoME in Fractal. CoCoME 2007: 357-387
	2006
1		Pavel Jezek, Jan Kofron, Frantisek Plasil: Model Checking of Component Behavior Specification: A Real Life Experience. Electr. Notes Theor. Comput. Sci. 160: 197-210 (2006)

Coauthor Index

1	Lubomír Bulej	[2]
2	Tomás Bures	[2] [4] [5]
3	Thierry Coupaye	[2]
4	Martin Decký	[2]
5	Petr Hnetynka	[4]
6	Jan Kofron	[1]
7	Michal Malohlava	[5]
8	Tomas Matousek	[3]
9	Pavel Parizek	[2]
10	Frantisek Plasil	[1] [2]
11	Tomás Poch	[2] [5]
12	Nicolas Rivierre	[2]
13	Ondrej Sery	[2] [5]
14	Petr Tuma	[2]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page