Author Archives: Eugene Kornykhin

The broadcast

Tweet This Post Send Gmail

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 … Continue reading

Leave a comment

New videorecordings in archive

Thanks to Alexey Burtsev, we have video recordings for the following talks: №1 - Ruslan Smelyansky - Programs behavior analysis №2 - Aleksandr Volkov, Sergei Markov – Using static analysis to searching for software defects №5 - Aleksei Latsis – … Continue reading

Leave a comment

Broadcast is not available today

Follow us today by twitter: http://twitter.com/sdat_seminar. Tweet This Post Send Gmail

Leave a comment

Today broadcast announcement

We are plesure to announce the broadcast of the seminar today in test mode on this web site. We apologize for any technical problems. Thank you. Tweet This Post Send Gmail

Leave a comment

December, 15th: An approach to balanced choosing of avionics modules according to reliability requirements

Speaker: Dmitry Volkanov, Ph.D. He has got M.S. and Ph.D. in Lomonosov Moscow State University. Now he works in Lomonosov Moscow State University and in Laboratory headed by Dr. Prof. Ruslan Smeliansky. Scientific interests are reliability, fault-tolerance, simulation, embedded systems, … Continue reading

Leave a comment

Broadcast

http://webtv.msu.ru Tweet This Post Send Gmail

Leave a comment

November, 17th: Object-oriented constraint programming - new application in software engineering

Keywords: constraint programming, UML, OCL, language Express. Speaker: Prof. Dr. Vitaly Semenov (Institute for System Programming of Russian Academy of Sciences). Research area: object-oriented programming, data modelling, CAD/CAM technologies integration. Tweet This Post Send Gmail

2 Comments

Record of broadcast from October, 20th, 2011

You can also look at slides and record of broadcast from October, 20th, 2011, in archive. Tweet This Post Send Gmail

Leave a comment

Today broadcast

Link to watch broadcast of today seminar is http://212.192.247.132/videos/video/276/?live=true Tweet This Post Send Gmail

Leave a comment