Yaroslav S. Usenko

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann L. Hurink, Holger Hermanns
Synthesis and stochastic assessment of cost-optimal schedules. Int. J. Softw. Tools Technol. Transf. 12 (5) (2010)
Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko
C Linux Driver. FMICS (2009)
Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
Automated Translation and Analysis of a ToolBus Script for Auctions. FSEN (2009)
Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
Towards Formal Verification of ToolBusScripts. AMAST (2008)
Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
Verification of networks of timed automata using mCRL2. IPDPS (2008)
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)
Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko
Analysis of a Session-Layer Protocol in mCRL2. FMICS (2007)
Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko
From µCRL to mCRL2: Motivation and Outline. Electron. Notes Theor. Comput. Sci. 162 (2006)
Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
Discretization of Timed Automata in Timed mu. Electron. Notes Theor. Comput. Sci. 162 (2006)
Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
Time abstraction in timed μCRL a la regions. IPDPS (2006)
Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg
The Formal Specification Language mCRL2. MMOSS (2006)
Michel A. Reniers, Yaroslav S. Usenko
Analysis of Timed Processes with Data Using Algebraic Transformations. TIME (2005)
Holger Hermanns, David N. Jansen, Yaroslav S. Usenko
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. WOSP (2005)
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)
Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko
Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST (2004)
Yaroslav S. Usenko
State space generation for the HAVi leader election protocol. Sci. Comput. Program. 43 (1) (2002)
Wan J. 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)
Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko
Linearization in parallel pCRL. J. Log. Algebraic Methods Program. 48 (1-2) (2001)
Alban Ponse, Yaroslav S. Usenko
Equivalence of recursive specifications in process algebra. Inf. Process. Lett. 80 (1) (2001)