Yaroslav S. Usenko

	2010
19		Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns: Synthesis and stochastic assessment of cost-optimal schedules. STTT 12(5): 305-318 (2010)
	2009
18		Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko: Behavioural Analysis of an I2C Linux Driver. FMICS 2009: 205-206
17		Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko: Automated Translation and Analysis of a ToolBus Script for Auctions. FSEN 2009: 308-323
	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] [19]
2	Dragan Bosnacki	[18]
3	Marko C. J. D. van Eekelen	[14]
4	Wan Fokkink	[4] [16] [17]
5	Jan Friso Groote	[1] [9] [10] [11] [12] [13] [15]
6	Holger Hermanns	[5] [6] [7] [19]
7	Stefan ten Hoedt	[14]
8	Johann Hurink (Johann L. Hurink)	[19]
9	Natalia Ioustinova	[4]
10	David N. Jansen	[6] [7] [19]
11	Joost-Pieter Katoen	[6]
12	Ernst Kesseler	[4]
13	Ric Klaren	[5]
14	Paul Klint	[16] [17]
15	Bert Lisser	[16] [17]
16	Angelika Mader	[5] [19]
17	Aad Mathijssen	[10] [11] [18]
18	Marija Petkovic	[13]
19	Jaco van de Pol	[4]
20	Alban Ponse	[1] [2]
21	Ivo Raedts	[13]
22	Michel A. Reniers	[8] [9] [11] [12] [15]
23	René Schreurs	[14]
24	Lou J. Somers	[13]
25	Muck van Weerdenburg	[10] [11]
26	Jan Martijn E. M. van der Werf	[13]
27	Yuri A. Yushtein	[4]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page