April, 18th: Microsoft Research projects on software verification

Eleva Pavlova

Eleva Pavlova

Elena Pavlova - Ph.D., Programs Coordinator at Microsoft.

Leave a comment

March, 21st: Process mining: processes elicitation, analysis, and evolution based on events log

Lomazova Irina

Lomazova Irina

В докладе будет рассказано о process mining - направлении исследований, которое находится на стыке между компьютерной обработкой и извлечением данных (data mining), с одной стороны, и моделированием и анализом процессов с другой. Основная идея этого направления состоит в обнаружении, мониторинге и улучшении реальных процессов путем извлечения знания из логов событий, доступных в современных информационных системах.

Докладчик: Ломазова Ирина Александровна - д.ф.-м.н., профессор, НИУ Высшая школа экономики.

Область научных интересов: формальные модели параллельных и распределенных систем, анализ поведенческих свойств, сети Петри, моделирование и анализ бизнес-процессов.

Leave a comment

February, 21st: SEMAT - towards theory of software engineering. State-of-the-art and future directions.

Boris Pozin

Boris Pozin

Speaker: Boris Pozin - Professor Dr. , Head of SEMAT Russian Chapter, EC-Leasing CTO.

Leave a comment

January, 17th: Modelling and formal verification of hardware microarchitectural models

Alexander Gotmanov

Alexander Gotmanov

Alexander Gotmanov – Strategic CAD Labs, Intel Corporation (Moscow, Russia). Science interests are hardware modelling, formal verification.

Leave a comment

December, 20th: Runtime verification of HDL descriptions based on executable models

Alexander Kamkin

Alexander Kamkin

Alexander Kamkin – Ph.D., Senior Researcher at Institute for System Programming of RAS (ISPRAS), Moscow. Research interests are hardware specification and verification, static and dynamic analysis of HDL descriptions, microprocessors tests generation.

Leave a comment

November, 22nd: Symbolic verification and deductive software testing

Oleksandr Letichevskyy

The talk is devoted to using of deductive methods in software development. Symbolic verification of formal specifications is used in requirements gathering. Formal specifications are analyzed on fullness, safety, liveness, etc. This step is based on invariants and specifications abstraction. Deductive techniques are used in software design verification, i.e. properties preserving (from more abstract models), deductive model testing, etc. Speaker also describes deducting testing of programs in C/C++. This technique allows to get maximal behaviour coverage.

Speaker: Oleksandr Letichevskyy (jr.) - Ph.D., Senior Researcher of Glushkov Institute of Cybernetics of NAS of Ukraine (Kyiv). His research interests are symbolic modeling and modeling-by-proofs, invariants technique, specifications testing, automatic proofs, inductive inference, formal specifications verification.

Leave a comment

April, 19th: Software engineering - Process-engagement risks of testing

Alexandr Alexandrov

Alexandr Alexandrov

Speaker: Alexandr Alexandrov – Ph.D., group leader at Luxoft. He has graduated from Lomonosov Moscow State University. He worked at Research Computing Center of Lomonosov University and Department of Computational Mathematics and Cybernatics until 1999. He was developer of standards for programming languages, developer of compilers and informational systems, test engineer and project manager. Now he works at Luxoft. He is quality management expert, and trainer at Luxoft Training. His research interests are software testing, requirements analysis, software engineering improvements, teaching, consulting.

Leave a comment

March, 15th: Life-cycle support technology and tools for avionics

Vasily Balashov

Vasily Balashov

Avionics is complex systems with strict functional requirements, safety and real-time requirements. The talk is devoted to avionics life-cycle support and development of toolchain for it. Also the talk is devoted to simulation and integration of avionics modules.

Speaker: Vasily Balashov, Ph.D., researcher at Ruslan Smelyansky Lab (Lomonosov Moscow State University).

Leave a comment

February, 16th: Adaptive control as universal law of the nature. Its structure and algorithm, useful applications.

Alexander Zhdanov

Alexander Zhdanov

Alexander Zhdanov, Dr. Prof., head of AAC-Lab at Lebedev Institute of Precision Mechanics and Computer Engineering, Russian Academy of Sciences, who wrote “Автономный искусственный интеллект” (Autonomous Artificial Intelligent). He’s going to talk about his understanding of the algorithm in a biological control system implemented in all living organisms. This understanding is concerning to cybernatics, theory of control, theoretical informatics, and neurophysiology. Alexander will talk about methods and tools for development of such systems, and about prototypes of such systems.

Leave a comment

January, 19th: Avalanche - dynamic software analysis tool for defects detection

Avalanche is open-source tool developed in ISPRAS with cooperation from Samsung. Avalanche uses Valgrind for collecting and analysis of program traces. Avalanche tryes to compute program input detecting program error or detecting program paths not executed before. As result Avalanche computes a lot of tests for covering program source by iterative dynamic analysis.

Speaker: Denis Sidorov. He’s graduated from Lomonosov Moscow State University (Computational Mathematics and Cybernatics faculty). Now he works in ISPRAS. He is leader of system programming department (program analysis group). Projects: Klocwork Insight (reverse-engineering, architectural and static analysis), Avalanche. Scientific interests are static and dynamic program analysis, automatic program defects detection, program transformations.

web: http://ispras.ru/en/sp/contacts.php

Leave a comment