Yaroslav S. Usenko

2008
16	EE	Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko: Towards Formal Verification of ToolBusScripts. AMAST 2008: 160-166
15	EE	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Verification of networks of timed automata using mCRL2. IPDPS 2008: 1-8
2007
14	EE	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	EE	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Time abstraction in timed /spl mu/CRL a la regions. IPDPS 2006
11	EE	Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg: The Formal Specification Language mCRL2. MMOSS 2006
10	EE	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	EE	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	EE	Michel A. Reniers, Yaroslav S. Usenko: Analysis of Timed Processes with Data Using Algebraic Transformations. TIME 2005: 192-194
7	EE	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	EE	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	EE	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	EE	Yaroslav S. Usenko: State space generation for the HAVi leader election protocol. Sci. Comput. Program. 43(1): 1-33 (2002)
2001
2	EE	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	Marko C. J. D. van Eekelen	[14]
3	Wan Fokkink	[4] [16]
4	Jan Friso Groote	[1] [9] [10] [11] [12] [13] [15]
5	Holger Hermanns	[5] [6] [7]
6	Stefan ten Hoedt	[14]
7	Natalia Ioustinova	[4]
8	David N. Jansen	[6] [7]
9	Joost-Pieter Katoen	[6]
10	Ernst Kesseler	[4]
11	Ric Klaren	[5]
12	Paul Klint	[16]
13	Bert Lisser	[16]
14	Angelika Mader	[5]
15	Aad Mathijssen	[10] [11]
16	Marija Petkovic	[13]
17	Jaco van de Pol	[4]
18	Alban Ponse	[1] [2]
19	Ivo Raedts	[13]
20	Michel A. Reniers	[8] [9] [11] [12] [15]
21	René Schreurs	[14]
22	Lou J. Somers	[13]
23	Muck van Weerdenburg	[10] [11]
24	Jan Martijn E. M. van der Werf	[13]
25	Yuri A. Yushtein	[4]

Colors in the list of coauthors