Yaroslav S. Usenko

	2009
17		Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko: Behavioural Analysis of an I2C Linux Driver. FMICS 2009: 205-206
	2008
16		Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko: Towards Formal Verification of ToolBusScripts. AMAST 2008: 160-166
15		Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Verification of networks of timed automata using mCRL2. IPDPS 2008: 1-8
	2007
14		Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko: Analysis of a Session-Layer Protocol in mCRL2. FMICS 2007: 182-199
13		Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers: Transformation of BPMN Models for Behaviour Analysis. MSVVEIS 2007: 126-137
	2006
12		Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Time abstraction in timed /spl mu/CRL a la regions. IPDPS 2006
11		Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg: The Formal Specification Language mCRL2. MMOSS 2006
10		Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko: From µCRL to mCRL2: Motivation and Outline. Electr. Notes Theor. Comput. Sci. 162: 191-196 (2006)
9		Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Discretization of Timed Automata in Timed mu. Electr. Notes Theor. Comput. Sci. 162: 197-202 (2006)
	2005
8		Michel A. Reniers, Yaroslav S. Usenko: Analysis of Timed Processes with Data Using Algebraic Transformations. TIME 2005: 192-194
7		Holger Hermanns, David N. Jansen, Yaroslav S. Usenko: From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. WOSP 2005: 13-23
	2004
6		Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko: An industrial-strength formal method -- A Modest survey. ISoLA (Preliminary proceedings) 2004: 284-295
5		Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko: Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST 2004: 28-37
	2002
4		Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein: Refinement and Verification Applied to an In-Flight Data Acquisition Unit. CONCUR 2002: 1-23
3		Yaroslav S. Usenko: State space generation for the HAVi leader election protocol. Sci. Comput. Program. 43(1): 1-33 (2002)
	2001
2		Alban Ponse, Yaroslav S. Usenko: Equivalence of recursive specifications in process algebra. Inf. Process. Lett. 80(1): 59-65 (2001)
1		Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko: Linearization in parallel pCRL. J. Log. Algebr. Program. 48(1-2): 39-70 (2001)

Coauthor Index

1	Henrik C. Bohnenkamp	[5] [6]
2	Dragan Bosnacki	[17]
3	Marko C. J. D. van Eekelen	[14]
4	Wan Fokkink	[4] [16]
5	Jan Friso Groote	[1] [9] [10] [11] [12] [13] [15]
6	Holger Hermanns	[5] [6] [7]
7	Stefan ten Hoedt	[14]
8	Natalia Ioustinova	[4]
9	David N. Jansen	[6] [7]
10	Joost-Pieter Katoen	[6]
11	Ernst Kesseler	[4]
12	Ric Klaren	[5]
13	Paul Klint	[16]
14	Bert Lisser	[16]
15	Angelika Mader	[5]
16	Aad Mathijssen	[10] [11] [17]
17	Marija Petkovic	[13]
18	Jaco van de Pol	[4]
19	Alban Ponse	[1] [2]
20	Ivo Raedts	[13]
21	Michel A. Reniers	[8] [9] [11] [12] [15]
22	René Schreurs	[14]
23	Lou J. Somers	[13]
24	Muck van Weerdenburg	[10] [11]
25	Jan Martijn E. M. van der Werf	[13]
26	Yuri A. Yushtein	[4]

Colors in the list of coauthors