Anton Tarasyuk

Learn More
Low-molecular-weight mimetics of loops 1 and 4 of the brain-derived neurotrophic factor (BDNF) have been designed and synthesized. The compounds represent monomeric and dimeric amides of N-acyldipeptides. Their dipeptide fragments coincide in sequence with the central regions of beta-turns of the corresponding neurotrophin loops, and acyl groups are the(More)
Certification of safety-critical systems requires formal verification of system properties and behaviour as well as quantitative demonstration of safety. Usually, formal modelling frameworks do not include quantitative assessment of safety. This has a negative impact on productivity and predictability of system development. In this paper we present an(More)
Dependability is a property of a computer system to deliver services that can be justifiably trusted. Formal modelling and verification techniques are widely used for development of dependable computer-based systems to gain confidence in the correctness of system design. Such techniques include Event-B—a state-based formalism that enables development of(More)
A series of dipeptide mimetics of nerve growth factor were synthesized, one of which, bis-(monosuccinyl-Lglutamyl-L-lysine) hexamethylenediamide (GK-2), constructed on the basis of the β-turn of its fourth loop, was selected for development as a potential neuroprotective drug. This study describes the first phase in the creation of a technology for(More)
Formal methods, in particular the B Method and its extension Event-B, have demonstrated their value in the development of complex control systems. However, while providing us with a powerful development platform, these frameworks poorly support quantitative assessment of dependability attributes. Yet, by assessing dependability at the early design phase we(More)