Yaroslav S. Usenko - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2007

Analysis of a Session-Layer Protocol in mCRL2Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko. fmics 2008: 182-199 [doi]

2006

From µCRL to mCRL2: Motivation and OutlineJan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko. ENTCS, 162:191-196, 2006. [doi]

Discretization of Timed Automata in Timed muJan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko. ENTCS, 162:197-202, 2006. [doi]

Time abstraction in timed /spl mu/CRL a la regionsJan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko. ipps 2006: [doi]

2005

From StoCharts to MoDeST: a comparative reliability analysis of train radio communicationsHolger Hermanns, David N. Jansen, Yaroslav S. Usenko. wosp 2005: 13-23 [doi]

2004

Synthesis and Stochastic Assessment of Schedules for Lacquer ProductionHenrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko. qest 2004: 28-37 [doi]

An industrial-strength formal method -- A Modest surveyHenrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko. isola 2004: 284-295

2002

Refinement and Verification Applied to an In-Flight Data Acquisition UnitWan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein. concur 2002: 1-23 [doi]

2001

Linearization in parallel pCRLJan Friso Groote, Alban Ponse, Yaroslav S. Usenko. jlp, 48(1-2):39-70, 2001.

Equivalence of recursive specifications in process algebraAlban Ponse, Yaroslav S. Usenko. ipl, 80(1):59-65, 2001. [doi]