Towards formal verification of ToolBus scripts (2008)
Fokkink, W., Klint, P., Lisser, B., Usenko, Y.S.
ToolBus allows one to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. Tscript was originally designed to enable...
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...
Discrete-time Process Algebra and the Semantics of SDL (2007)
J. A. Bergstra, C. A. Middelburg, Y. S. Usenko
development of high integrity computing systems, (ii) highest level post-graduate university teaching, (iii) international level research, and, through the above, (iv) use of as sophisticated...
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications (2006)
Hermanns, H., Jansen, D.N., Usenko, Y.S.
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment to show the...
Synthesis and Stochastic Assessment of Cost-Optimal Schedules (2006)
Mader, A.H., Bohnenkamp, H.C., Usenko, Y.S., Jansen, D.N., Hurink, J.L., Hermanns, H.
We present a novel approach to synthesize good schedules for a class of scheduling problems that is slightly more general than the scheduling problem FJm,a|gpr,r_j,d_j|early/tardy. The idea is to...
A comparative reliability analysis of ETCS train radio communications (2005)
Hermanns, H., Jansen, D.N., Usenko, Y.S.
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and were applied in the context of train radio reliability assessment to show the principal...
Synthesis and stochastic assessment of schedules for lacquer production (2004)
Bohnenkamp, H.C., Hermanns, H., Klaren, R., Mader, A., Usenko, Y.S.
The MODEST modeling language pairs modeling features from stochastic process algebra and from timed and probabilistic automata with light-weight notations such as exception handling. It is supported...
Synthesis and stochastic assessment of schedules for lacquer production (2004)
Bohnenkamp, H.C., Hermanns, H., Klaren, J., Mader, A.H., Usenko, Y.S.
The MODEST modeling language pairs modeling features from stochastic process algebra and from timed and probabilistic automata with light-weight notations such as exception handling. It is supported...
Synthesis and stochastic assessment of schedules for lacquer production (2004)
Bohnenkamp, H.C., Hermanns, H., Klaren, R., Mader, A., Usenko, Y.S.
The MODEST modeling language pairs modeling features from stochastic process algebra and from timed and probabilistic automata with light-weight notations such as exception handling. It is supported...
Synthesis and stochastic assessment of schedules for lacquer production (2004)
Bohnenkamp, H.C., Klaren, R., Mader, Dr. A.H., Usenko, Y.S.
The MODEST modeling language pairs modeling features from stochastic process algebra and from timed and probabilistic automata with light-weight notations such as exception handling. It is supported...
Synthesis and stochastic assessment of schedules for lacquer production (2004)
Bohnenkamp, H.C., Hermanns, H., Klaren, R., Mader, A., Usenko, Y.S.
The MODEST modeling language pairs modeling features from stochastic process algebra and from timed and probabilistic automata with light-weight notations such as exception handling. It is supported...
Synthesis and stochastic assessment of schedules for lacquer production (2004)
Bohnenkamp, H.C., Hermanns, H., Klaren, R., Mader, A., Usenko, Y.S.
The MODEST modeling language pairs modeling features from stochastic process algebra and from timed and probabilistic automata with light-weight notations such as exception handling. It is supported...
Hybrid Modeling of a Vehicle Surveillance System with Real-Time Data Processing (2003)
Gebremichael, B., Hermanns, H., Krilavicius, T., Usenko, Y.S.
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...
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...
Towards a Unified Toolset for Embedded Systems Development (2000)
A. G. Bakhmurov, V. I. Chervin, M. V. Chistolinov, J. F. Groote, V. A. Kostenko, R.L. Smeliansky, ...
This paper contains a comparative analysis of three toolsets and associated techniques for development of embedded systems. The comparison is based on the experience acquired by applying the...
A comparison of Spin and the CRL toolset on HAVi leader election protocol (1999)
for promotion of mathematics and computer science and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Discrete Time Process Algebra and the Semantics of SDL (1998)
Issn -x, J. A. Bergstra, J. A. Bergstra, C. A. Middelburg, C. A. Middelburg, Y. S. Usenko, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Discrete-time Process Algebra and the Semantics of SDL (1998)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, J.A. Bergstra, J. A. Bergstra, C. A. Middelburg, ...
We present an extension of discrete time process algebra with relative timing where recursion, propositional signals and conditions, a counting process creation operator, and the state operator are...
Discrete Time Process Algebra and the Semantics of SDL (1998)
J.A. Bergstra, C.A. Middelburg, Y.S. Usenko
We present an extension of discrete time process algebra with relative timing where recursion, propositional signals and conditions, a counting process creation operator, and the state operator are...
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
Jansen, Dr. D.N., Usenko, Y.S.
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment to show the...
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
Hermanns, H., Jansen, D.N., Usenko, Y.S.
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment to show the...