Yaroslav S. Usenko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2002–2009
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | FMICS | Behavioural Analysis of an I | Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko |
| 2007 | FMICS | Analysis of a Session-Layer Protocol in mCRL2. | Marko C. J. D. van Eekelen, Stefan ten Hoedt, Ren Schreurs, Yaroslav S. Usenko |
| 2005 | TIME | Analysis of Timed Processes with Data Using Algebraic Transformations. | Michel A. Reniers, Yaroslav S. Usenko |
| 2004 | ISoLA | An industrial-strength formal method -- A Modest survey. | Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko |
| 2002 | CONCUR | 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 |