On June, 2-6 research workers of the Software Engineering Department Mikhail Chupilko, Andrey Tatarnikov and Aleksey Kamkin attended the University Booth at the Design Automation Conference held in Austin, TX, USA. They defended workshop report on theme “C++TESK and MicroTESK Hardware Verification Toolkits”.

The 7th Spring/Summer Young Researcher’ Colloquium on Software Engineering (SYRCoSE 2013) was held in Kazan, Russia in May 30-31, 2013. The event was organized by Institute for System Programming of RAS, Saint-Petersburg State University and Kazan National Research Technical University named after A.N. Tupolev (KNRTU-KAI), former Kazan Aviation Institute (KAI). It was supported by Intel, Russian Foundation for Basic Research and Nizhny Novgorod Foundation for Education and Research Assistance.

Researches of the Software Engineering Department participated in the 8th Model-Based Testing Workshop held in Rome, Italy on the 19 of March. The workshop was associated with ETAPS conference and hosted by Sapienza University of Rome. One section report on theme "Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces" was delivered by Mikhail Chupilko and Alexander Kamkin. Victor Kulamin made report with Jens Grabowski (University of Gottingen, Germany), Alain-Georges Vouffo Feudjio (Thales, Germany), Antal Wu-Hen-Chang (Ericsson, Hungary) and Milan Zoric (ETSI, France) on theme "Towards the Usage of MBT at ETSI".Further information is available here.

SYRCoSE 2013

Monday, 24 December 2012

The 7th Spring/Summer Young Researcher’ Colloquium on Software Engineering (SYRCoSE 2013) will be held in Kazan, Russia in May 30-31, 2013. The event is organized by Institute for System Programming of RAS, Saint-Petersburg State University and Kazan National Research Technical University named after A.N. Tupolev (KNRTU-KAI), former Kazan Aviation Institute (KAI). It is supported by Intel, Russian Foundation for Basic Research and Nizhny Novgorod Foundation for Education and Research Assistance. We invite students, post-graduates and young PhDs (up to 35 years of age) to participate the colloquium.

On September 25-27, 2012 research worker of the Software Engineering Department Victor Kuliamin attended the ETSI Model-Based Testing User Conference, held in Tallinn, Estonia. For more information about the conference click here.

EU-Russian Workshop

Friday, 29 June 2012

On 11-14 June 2012 research worker of the Software Engineering Department Nikolay Pakulin made a presentation on “Networked testbed for hybrid systems” at the EU-Russian Workshop held in St. Petersburg, Russia.

On May, 30-31 Spring Young Researchers Colloquium on Software
Engineering (SYRCoSE) will take place in Perm, Russia. SYRCoSE is a
colloquium on software engineering targeted at young researchers
(students, postgraduates, young PhD specialists, etc.). The main goal of
the colloquium is to help young specialists to meet each other, to get
more information on work of their colleagues, to exchange their
experience, and to practice in presenting their results at international
conferences and workshops. All works are reviewed by the committee. The
working language of the colloquium is English.

Meeting of the working group on the standardization of the model based testing

Monday, 21 May 2012

On May, 14 in Germany research worker of the Software Engineering Department Victor Kuliamin attended the meeting of the Working group on the standardization of the model based testing issues.

Also a regular meeting of the Working group on the using of the model based testing for the creation of the tests for telecommunication protocols standards checking was held on May, 14-18 in Germany.