Yaroslav S. Usenko

According to our database, Yaroslav S. Usenko authored at least 20 papers between 2001 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Synthesis and stochastic assessment of cost-optimal schedules.

Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann L. Hurink, Holger Hermanns

Int. J. Softw. Tools Technol. Transf., 2010

2009

Automated Translation and Analysis of a ToolBus Script for Auctions.

Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko

Proceedings of the Fundamentals of Software Engineering, 2009

Behavioural Analysis of an I²C Linux Driver.

Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

Verification of networks of timed automata using mCRL2.

Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Towards Formal Verification of ToolBusScripts.

Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Transformation of BPMN Models for Behaviour Analysis.

Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers

Proceedings of the Modelling, 2007

Analysis of a Session-Layer Protocol in mCRL2.

Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006

Time abstraction in timed μCRL a la regions.

Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

The Formal Specification Language mCRL2.

Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

2005

Discretization of Timed Automata in Timed mu.

Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

From µCRL to mCRL2: Motivation and Outline.

Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

From StoCharts to MoDeST: a comparative reliability analysis of train radio communications.

Holger Hermanns, David N. Jansen, Yaroslav S. Usenko

Proceedings of the Fifth International Workshop on Software and Performance, 2005

Analysis of Timed Processes with Data Using Algebraic Transformations.

Michel A. Reniers, Yaroslav S. Usenko

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

2004

Synthesis and Stochastic Assessment of Schedules for Lacquer Production.

Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

An industrial-strength formal method -- A Modest survey.

Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2002

State space generation for the HAVi leader election protocol.

Yaroslav S. Usenko

Sci. Comput. Program., 2002

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

Proceedings of the CONCUR 2002, 2002

2001

Linearization in parallel pCRL.

Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko

J. Log. Algebraic Methods Program., 2001

Equivalence of recursive specifications in process algebra.

Alban Ponse, Yaroslav S. Usenko

Inf. Process. Lett., 2001

Discrete Time Process Algebra and the Semantics of SDL.

Jan A. Bergstra, Cornelis A. Middelburg, Yaroslav S. Usenko

Proceedings of the Handbook of Process Algebra, 2001