2008 |
16 | EE | Wan Fokkink,
Paul Klint,
Bert Lisser,
Yaroslav S. Usenko:
Towards Formal Verification of ToolBusScripts.
AMAST 2008: 160-166 |
15 | EE | Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko:
Verification of networks of timed automata using mCRL2.
IPDPS 2008: 1-8 |
2007 |
14 | EE | Marko C. J. D. van Eekelen,
Stefan ten Hoedt,
René Schreurs,
Yaroslav S. Usenko:
Analysis of a Session-Layer Protocol in mCRL2.
FMICS 2007: 182-199 |
13 | | Ivo Raedts,
Marija Petkovic,
Yaroslav S. Usenko,
Jan Martijn E. M. van der Werf,
Jan Friso Groote,
Lou J. Somers:
Transformation of BPMN Models for Behaviour Analysis.
MSVVEIS 2007: 126-137 |
2006 |
12 | EE | Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko:
Time abstraction in timed /spl mu/CRL a la regions.
IPDPS 2006 |
11 | EE | Jan Friso Groote,
Aad Mathijssen,
Michel A. Reniers,
Yaroslav S. Usenko,
Muck van Weerdenburg:
The Formal Specification Language mCRL2.
MMOSS 2006 |
10 | EE | Jan Friso Groote,
Aad Mathijssen,
Muck van Weerdenburg,
Yaroslav S. Usenko:
From µCRL to mCRL2: Motivation and Outline.
Electr. Notes Theor. Comput. Sci. 162: 191-196 (2006) |
9 | EE | Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko:
Discretization of Timed Automata in Timed mu.
Electr. Notes Theor. Comput. Sci. 162: 197-202 (2006) |
2005 |
8 | EE | Michel A. Reniers,
Yaroslav S. Usenko:
Analysis of Timed Processes with Data Using Algebraic Transformations.
TIME 2005: 192-194 |
7 | EE | Holger Hermanns,
David N. Jansen,
Yaroslav S. Usenko:
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications.
WOSP 2005: 13-23 |
2004 |
6 | | Henrik C. Bohnenkamp,
Holger Hermanns,
David N. Jansen,
Joost-Pieter Katoen,
Yaroslav S. Usenko:
An industrial-strength formal method -- A Modest survey.
ISoLA (Preliminary proceedings) 2004: 284-295 |
5 | EE | Henrik C. Bohnenkamp,
Holger Hermanns,
Ric Klaren,
Angelika Mader,
Yaroslav S. Usenko:
Synthesis and Stochastic Assessment of Schedules for Lacquer Production.
QEST 2004: 28-37 |
2002 |
4 | EE | 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.
CONCUR 2002: 1-23 |
3 | EE | Yaroslav S. Usenko:
State space generation for the HAVi leader election protocol.
Sci. Comput. Program. 43(1): 1-33 (2002) |
2001 |
2 | EE | Alban Ponse,
Yaroslav S. Usenko:
Equivalence of recursive specifications in process algebra.
Inf. Process. Lett. 80(1): 59-65 (2001) |
1 | | Jan Friso Groote,
Alban Ponse,
Yaroslav S. Usenko:
Linearization in parallel pCRL.
J. Log. Algebr. Program. 48(1-2): 39-70 (2001) |