Discrete Time Process Algebra and the Semantics of SDL. - Jan A. Bergstra; Cornelis A. Middelburg; Yaroslav S. Usenko (Handbook of Process Algebra, 2001)

Equivalence of recursive specifications in process algebra. - Alban Ponse; Yaroslav S. Usenko (Inf. Process. Lett., 2001)

Linearization in parallel pCRL. - Jan Friso Groote; Alban Ponse; Yaroslav S. Usenko (J. Log. Algebraic Methods Program., 2001)

Refinement and Verification Applied to an In-Flight Data Acquisition Unit. - Wan J. Fokkink; Natalia Ioustinova; Ernst Kesseler; Jaco van de Pol; Yaroslav S. Usenko; Yuri A. Yushtein (CONCUR, 2002)

State space generation for the HAVi leader election protocol. - Yaroslav S. Usenko (Sci. Comput. Program., 2002)

An industrial-strength formal method – A Modest survey. - Henrik C. Bohnenkamp; Holger Hermanns; David N. Jansen; Joost-Pieter Katoen; Yaroslav S. Usenko (ISoLA (Preliminary proceedings), 2004)

Synthesis and Stochastic Assessment of Schedules for Lacquer Production. - Henrik C. Bohnenkamp; Holger Hermanns; Ric Klaren; Angelika Mader; Yaroslav S. Usenko (QEST, 2004)

Analysis of Timed Processes with Data Using Algebraic Transformations. - Michel A. Reniers; Yaroslav S. Usenko (TIME, 2005)

From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. - Holger Hermanns; David N. Jansen; Yaroslav S. Usenko (WOSP, 2005)

From µCRL to mCRL2: Motivation and Outline. - Jan Friso Groote; Aad Mathijssen; Muck van Weerdenburg; Yaroslav S. Usenko (APC 25, 2005)

Discretization of Timed Automata in Timed mu. - Jan Friso Groote; Michel A. Reniers; Yaroslav S. Usenko (APC 25, 2005)

The Formal Specification Language mCRL2. - Jan Friso Groote; Aad Mathijssen; Michel A. Reniers; Yaroslav S. Usenko; Muck van Weerdenburg (MMOSS, 2006)

Time abstraction in timed μCRL a la regions. - Jan Friso Groote; Michel A. Reniers; Yaroslav S. Usenko (IPDPS, 2006)

Analysis of a Session-Layer Protocol in mCRL2. - Marko C. J. D. van Eekelen; Stefan ten Hoedt; René Schreurs; Yaroslav S. Usenko (FMICS, 2007)

Transformation of BPMN Models for Behaviour Analysis. - Ivo Raedts; Marija Petkovic; Yaroslav S. Usenko; Jan Martijn E. M. van der Werf; Jan Friso Groote; Lou J. Somers (MSVVEIS, 2007)

Towards Formal Verification of ToolBusScripts. - Wan J. Fokkink; Paul Klint; Bert Lisser; Yaroslav S. Usenko (AMAST, 2008)

Verification of networks of timed automata using mCRL2. - Jan Friso Groote; Michel A. Reniers; Yaroslav S. Usenko (IPDPS, 2008)

Behavioural Analysis of an I2C Linux Driver. - Dragan Bosnacki; Aad Mathijssen; Yaroslav S. Usenko (FMICS, 2009)

Automated Translation and Analysis of a ToolBus Script for Auctions. - Wan J. Fokkink; Paul Klint; Bert Lisser; Yaroslav S. Usenko (FSEN, 2009)

Synthesis and stochastic assessment of cost-optimal schedules. - Angelika Mader; Henrik C. Bohnenkamp; Yaroslav S. Usenko; David N. Jansen; Johann L. Hurink; Holger Hermanns (Int. J. Softw. Tools Technol. Transf., 2010)