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)
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)
In the previous work, we synthesized a dimeric dipeptide mimetic of the 4th loop of BDNF, i.e., hexamethylenediamide bis(N-monosuccinil-L-seryl-L-lysine) (GSB-106), which has neuroprotective activity in vitro in a concentration range of 10−5–10−8 M and antidepressant activity in vivo at intraperitoneal doses of 0.1 and 1 mg/kg in rats. We studied the(More)