Ondrej Sery

Ondřej Šerý

	2009
10		Michal Kebrt, Ondrej Sery: UnitCheck: Unit Testing and Model Checking Combined. ATVA 2009: 97-103
9		Ondrej Sery: Enhanced Property Specification and Verification in BLAST. FASE 2009: 456-469
8		Jan Kofron, Pavel Parizek, Ondrej Sery: On Teaching Formal Methods: Behavior Models and Code Analysis. TFM 2009: 144-157
7		Jan Kofron, Frantisek Plasil, Ondrej Sery: Modes in component behavior specification via EBP and their application in product lines. Information & Software Technology 51(1): 31-41 (2009)
	2007
6		Ondrej Sery, Frantisek Plasil: Slicing of Component Behavior Specification with Respect to Their Composition. CBSE 2007: 189-202
5		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
4		Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parizek, Frantisek Plasil, Tomás Poch, Ondrej Sery, Petr Tuma: CoCoME in SOFA. CoCoME 2007: 388-417
3		Cyril Brom, Ondrej Sery, Tomás Poch: Simulation Level of Detail for Virtual Humans. IVA 2007: 1-14
	2006
2		Ondrej Sery, Tomás Poch, Pavel Safrata, Cyril Brom: Level-of-Detail in Behaviour of Virtual Humans. SOFSEM 2006: 565-574
	2005
1		Cyril Brom, Ondrej Sery, Tomás Poch, Pavel Safrata: GAL: Towards Large Simulations with Tens of Agents. IVA 2005: 493

Coauthor Index

1	Cyril Brom	[1] [2] [3]
2	Lubomír Bulej	[5]
3	Tomás Bures	[4] [5]
4	Thierry Coupaye	[5]
5	Martin Decký	[4] [5]
6	Petr Hnetynka	[4]
7	Pavel Jezek	[5]
8	Michal Kebrt	[10]
9	Jan Kofron	[4] [7] [8]
10	Pavel Parizek	[4] [5] [8]
11	Frantisek Plasil	[4] [5] [6] [7]
12	Tomás Poch	[1] [2] [3] [4] [5]
13	Nicolas Rivierre	[5]
14	Pavel Safrata	[1] [2]
15	Petr Tuma	[4] [5]

Colors in the list of coauthors