The SCEAS System
Navigation Menu

Search the dblp DataBase


Yaroslav S. Usenko: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wan 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. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:1-23 [Conf]
  2. Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
    Time abstraction in timed /spl mu/CRL a la regions. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  3. Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko
    Synthesis and Stochastic Assessment of Schedules for Lacquer Production. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:28-37 [Conf]
  4. Michel A. Reniers, Yaroslav S. Usenko
    Analysis of Timed Processes with Data Using Algebraic Transformations. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:192-194 [Conf]
  5. Holger Hermanns, David N. Jansen, Yaroslav S. Usenko
    From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. [Citation Graph (0, 0)][DBLP]
    WOSP, 2005, pp:13-23 [Conf]
  6. Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
    Discretization of Timed Automata in Timed mu. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:197-202 [Journal]
  7. Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko
    From µCRL to mCRL2: Motivation and Outline. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:191-196 [Journal]
  8. Alban Ponse, Yaroslav S. Usenko
    Equivalence of recursive specifications in process algebra. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:59-65 [Journal]
  9. Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko
    Linearization in parallel pCRL. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2001, v:48, n:1-2, pp:39-70 [Journal]
  10. Yaroslav S. Usenko
    State space generation for the HAVi leader election protocol. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:43, n:1, pp:1-33 [Journal]

  11. Towards Formal Verification of ToolBusScripts. [Citation Graph (, )][DBLP]

  12. The Formal Specification Language mCRL2. [Citation Graph (, )][DBLP]

  13. Verification of networks of timed automata using mCRL2. [Citation Graph (, )][DBLP]

  14. An industrial-strength formal method -- A Modest survey. [Citation Graph (, )][DBLP]

  15. Transformation of BPMN Models for Behaviour Analysis. [Citation Graph (, )][DBLP]

  16. Behavioural Analysis of an I2C Linux Driver. [Citation Graph (, )][DBLP]

  17. Analysis of a Session-Layer Protocol in mCRL2. [Citation Graph (, )][DBLP]

  18. Automated Translation and Analysis of a ToolBus Script for Auctions. [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002