Yaroslav S. Usenko

20 papers A 2B 1C 3Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2010 J jnl
Synthesis and stochastic assessment of cost-optimal schedules.
Int. J. Softw. Tools Technol. Transf.
Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann L. Hurink, Holger Hermanns
2009 — conf
Automated Translation and Analysis of a ToolBus Script for Auctions.
FSEN
Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
2009 C conf
Behavioural Analysis of an I
FMICS
Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko
2008 — conf
Towards Formal Verification of ToolBusScripts.
AMAST
Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
2008 A conf
Verification of networks of timed automata using mCRL2.
IPDPS
Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
2007 C conf
Analysis of a Session-Layer Protocol in mCRL2.
FMICS
Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko
2007 — conf
Transformation of BPMN Models for Behaviour Analysis.
MSVVEIS
Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers
2006 — conf
The Formal Specification Language mCRL2.
MMOSS
Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg
2006 A conf
Time abstraction in timed μCRL a la regions.
IPDPS
Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
2005 C conf
Analysis of Timed Processes with Data Using Algebraic Transformations.
TIME
Michel A. Reniers, Yaroslav S. Usenko
2005 — conf
Discretization of Timed Automata in Timed mu.
APC 25
Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
2005 — conf
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications.
WOSP
Holger Hermanns, David N. Jansen, Yaroslav S. Usenko
2005 — conf
From µCRL to mCRL2: Motivation and Outline.
APC 25
Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko
2004 — conf
An industrial-strength formal method -- A Modest survey.
ISoLA (Preliminary proceedings)
Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko
2004 — conf
Synthesis and Stochastic Assessment of Schedules for Lacquer Production.
QEST
Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko
2002 B conf
Refinement and Verification Applied to an In-Flight Data Acquisition Unit.
CONCUR
Wan J. Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein
2002 J jnl
State space generation for the HAVi leader election protocol.
Sci. Comput. Program.
Yaroslav S. Usenko
2001 — ch.
Discrete Time Process Algebra and the Semantics of SDL.
Handbook of Process Algebra
Jan A. Bergstra, Cornelis A. Middelburg, Yaroslav S. Usenko
2001 J jnl
Equivalence of recursive specifications in process algebra.
Inf. Process. Lett.
Alban Ponse, Yaroslav S. Usenko
2001 J jnl
Linearization in parallel pCRL.
J. Log. Algebraic Methods Program.
Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko