Search the dblp DataBase

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 I²C 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]