The formal specification language mCRL2 JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg Dagstuhl Seminar Proceedings, 2007 | 234 | 2007 |
Transformation of BPMN models for behaviour analysis I Raedts, M Petković, YS Usenko, JM Van Der Werf, JF Groote, L Somers The 5th International Workshop on Modelling, Simulation, Verification and …, 2007 | 128 | 2007 |
Linearization in muCRL YS Usenko | 97 | 2002 |
Linearization in parallel pCRL JF Groote, A Ponse, YS Usenko The Journal of Logic and Algebraic Programming 48 (1-2), 39-70, 2001 | 76 | 2001 |
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications H Hermanns, DN Jansen, YS Usenko Proceedings of the 5th international workshop on Software and performance, 13-23, 2005 | 52 | 2005 |
Analysis of distributed systems with mCRL2 JF Groote, AHJ Mathijssen, MA Reniers, YS Usenko, ... Process Algebra for Parallel and Distributed Processing 1, 99-128, 2009 | 48 | 2009 |
From μCRL to mCRL2: Motivation and outline JF Groote, A Mathijssen, M van Weerdenburg, Y Usenko Electronic Notes in Theoretical Computer Science 162, 191-196, 2006 | 36 | 2006 |
Discrete time process algebra and the semantics of SDL JA Bergstra, CA Middelburg, YS Usenko Handbook of process algebra, 1209-1268, 2001 | 35 | 2001 |
Synthesis and stochastic assessment of schedules for lacquer production HC Bohnenkamp, H Hermanns, R Klaren, A Mader, YS Usenko First International Conference on the Quantitative Evaluation of Systems …, 2004 | 34 | 2004 |
Process algebraic approach to hybrid systems E Brinksma, T Krilaviĉius, YS Usenko IFAC Proceedings Volumes 38 (1), 325-330, 2005 | 21 | 2005 |
Refinement and Verification Applied to an In-Flight Data Acquisition Unit* W Fokkink, N Ioustinova, E Kesseler, J van de Pol, YS Usenko, ... CONCUR 2002—Concurrency Theory: 13th International Conference Brno, Czech …, 2002 | 20 | 2002 |
Synthesis and stochastic assessment of cost-optimal schedules A Mader, H Bohnenkamp, YS Usenko, DN Jansen, J Hurink, H Hermanns International journal on software tools for technology transfer 12, 305-318, 2010 | 18 | 2010 |
Analysis of a session-layer protocol in mcrl2: verification of a real-life industrial implementation M Van Eekelen, S Ten Hoedt, R Schreurs, YS Usenko International Workshop on Formal Methods for Industrial Critical Systems …, 2007 | 18 | 2007 |
Linearization in parallel pCRL JF Groote, A Ponse, YS Usenko CWI (Centre for Mathematics and Computer Science), 2000 | 14 | 2000 |
A comparative realiability analysis of ETCS train radio communications H Hermanns, DN Jansen, YS Usenko Universität des Saarlandes, 2005 | 13 | 2005 |
Linearization of µCRL specifications YS Usenko Proc. 3rd Workshop on Verification and Computational Logic, Technical Report …, 2002 | 13 | 2002 |
Hybrid modeling of a vehicle surveillance system with real-time data processing B Gebremichael, H Hermanns, T Krilavicius, YS Usenko Proc. Int. Conf. on Dynamical Systems Modeling and Stability Investigation, 419, 2003 | 9 | 2003 |
State space generation for the HAVi leader election protocol YS Usenko Science of Computer Programming 43 (1), 1-33, 2002 | 9 | 2002 |
Towards a unified toolset for embedded systems development MV Chistolinov, IV Epatko, AG Bahmurov, RL Smelyansky, VA Zakharov, ... Proc. of the conference UKRPROG-2000 «Problems of Programming, 316-322, 2000 | 9 | 2000 |
MJ v. Weerdenburg. Analysis of distributed systems with mcrl2 JF Groote, AHJ Mathijssen, MA Reniers, YS Usenko Process Algebra for Parallel and Distributed Processing, 99-128, 0 | 8 | |