• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
ФКН
Contacts

109028, Moscow,
11, Pokrovsky boulevard

Phone: +7 (495) 531-00-00 *27254

Email: computerscience@hse.ru

 

Administration
First Deputy Dean Tamara Voznesenskaya
Deputy Dean for Research and International Relations Sergei Obiedkov
Deputy Dean for Methodical and Educational Work Ilya Samonenko
Deputy Dean for Development, Finance and Administration Irina Plisetskaya
Article
A randomized coordinate descent method with volume sampling

Rodomanov A., Kropotov D.

SIAM Journal on Optimization. 2020. Vol. 30. No. 3. P. 1878-1904.

Article
ML-assisted versatile approach to Calorimeter R&D

A. Boldyrev, D. Derkach, F. Ratnikov et al.

Journal of Instrumentation. 2020. Vol. 15. P. 1-7.

Article
An accelerated directional derivative method for smooth stochastic convex optimization

Dvurechensky P., Eduard Gorbunov, Gasnikov A.

European Journal of Operational Research. 2021. Vol. 290. No. 2. P. 601-621.

Book chapter
On pattern setups and pattern multistructures

Kuznetsov S., Kaytoue M., Belfodil A.

In bk.: International Journal of General Systems. Iss. 49. 2020. P. 271-285.

Book chapter
Finite Time Analysis of Linear Two-timescale Stochastic Approximation with Markovian Noise

Kaledin M., Moulines E., Naumov A. et al.

In bk.: Proceedings of Machine Learning Research. Vol. 125: Proceedings of Thirty Third Conference on Learning Theory. 2020. P. 2144-2203.

Lecture "(Software) Testing: Some Advances on FSM-based Approaches"

On September 22 at 16.20 (UTC+3) Natalia Kushik will give a lecture "(Software) Testing: Some Advances on FSM-based Approaches".

Summary:

In this talk, we will discuss the possibility of model-based (software) testing. In particular, we will consider the case when the System under Test specification is given as a Finite State Machine (FSM). We will cover some 'classical' approaches in FSM-based testing, list some related problems and their complexity and will present some original results in the area. We will also underline some perspectives for future contributions.

Natalia Kushik — assistant professor at the department of Mobile Networks and Services, Telecom SudParis/Institut Mines Telecom (France).

The lecture will be given in English.

Attention: the lecture will take place offline at the HSE University building, Moscow, 11, Pokrovsky boulevard, room М П11/M203.

To participate, register below.

Add to calendar