AN IMPLEMENTATION OF A µCRL LINEARIZATION ALGORITHM USING REWRITING STRATEGIES (2008)
Sergey V. Goncharov, Arseniy Y. Rudich, Yaroslav S. Usenko
In this abstract we describe an attempt to implement a linearization algorithm [6] for micro Common Representation Language (µCRL) [4]. This algorithm allows transforming specifications in µCRL to...
Discretization of Timed Automata in Timed µCRL à la Regions and Zones (2008)
Jan Friso, Groote Michel, A. Reniers, Yaroslav S. Usenko
We present the first step towards combining the best parts of the real-time verification methods based on timed automata (the use of regions and zones), and of the process-algebraic approach of...
Analysis of timed processes with data using (2008)
Michel A. Reniers, Yaroslav S. Usenko
algebraic transformations
Discretization of Timed Automata in Timed µCRL à la Regions and Zones (2008)
Jan Friso, Groote Michel, A. Reniers, Yaroslav S. Usenko
We present the first step towards combining the best parts of the real-time verification methods based on timed automata (the use of regions and zones), and of the process-algebraic approach of...
Time Abstraction in Timed µCRL à la Regions (2008)
Jan Friso, Groote Michel, A. Reniers, Yaroslav S. Usenko
We present the first step towards combining the best parts of the real-time verification methods based on timed automata (the use of regions and zones), and of the processalgebraic approach of...
Transformation of BPMN models for Behaviour Analysis (2008)
Ivo Raedts, Marija Petković, Yaroslav S. Usenko, Jan Friso Groote, Lou Somers
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business processes can help to...
Linearization of CRL Specifications (2007)
Y. S. Usenko, Yaroslav S. Usenko
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Yaroslav S. Usenko, Yuri A. Yushtein
Abstract. In order to optimise maintenance and increase safety, the Royal Netherlands Navy initiated the development of a multi-channel on-board data acquisition system for its Lynx helicopters. This...
A process-algebraic approach to hybrid systems (2005)
Brinksma, Ed, Krilavicius, Tomas, Usenko, Yaroslav S.
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concurrent discrete event systems that has been developed within computer science in past quarter...
Linearization of µCRL specifications (2002)
Y. S. Usenko, Yaroslav S. Usenko
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
Equivalence of recursive specifications in process algebra (2001)
Alban Ponse, Yaroslav S. Usenko, Issn -x, Copyright Stichting, Mathematisch Centrum, Alban Ponse, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Linearization in parallel pCRL (2001)
J. F. Groote, A. Ponse, Y. S. Usenko, Issn -x, Jan Friso Groote, Alban Ponse, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Linearization in Parallel pCRL (2000)
J. F. Groote, A. Ponse, Y. S. Usenko, Mathematisch Centrum (smc, The Dutch Foundation, Jan Friso Groote, ...
We describe a linearization algorithm for parallel pCRL processes similar to the one implemented in the linearizer of the CRL Toolset. This algorithm finds its roots in formal language theory: the...