Программа семинара

Sunday, July 1, 2012

Time
Session 1
09.30–10:00 I.V. Konnov, V.V. Podymov, D.J. Volkanov, V.A. Zakharov, D.A. Zorin “ON THE DESIGNING OF MODEL CHECKERS FOR REAL-TIME DISTRIBUTED SYSTEMS”
10.00–10.30 N.O. Garanina “AFFINE MODEL CHECKING MULTI-AGENT SLIDING WINDOW PROTOCOL”
10.30–11.00 D.A. Chkliaev, V.A. Nepomniaschy “DEDUCTIVE VERIFICATION OF THE CLASSICAL SLIDING WINDOW PROTOCOL”
Session 2
11.30–12.00 I. Anureev “DEDUCTIVE APPROACH TO VERIFICATION OF TELECOMMUNICATION SYSTEMS WRITTEN IN C”
12.00–12.30 I.Anureev, I. Maryasov, V. Nepomniaschy “REVISED MIXED AXIOMATIC SEMANTICS METHOD OF C PROGRAM VERIFICATION”
12.30–13.00 A.V. Promsky “VERIFYING THE STANDARD C LIBRARY: THE C-LIGHT APPROACH”
Session 3
15.00–15.30 R.I. Podlovchenko, A.E. Molchanov “ALGEBRAIC MODELS OF PROGRAMS WITH PROCEDURES”
15.30-16.00 V.A. Bashkin “ON THE HEREDITARY PROPERTIES OF MODULAR NETS”
16.00-16.30 L.V. Dvoryansky, I.A. Lomazova “TOWARDS A TRANSLATION FROM NESTED PETRI NETS INTO COLORED PETRI NETS”
16.30–17.00 D.A. Zaitsev “VERIFICATION OF GRID STRUCTURES WITH SPECIFIC EDGE CONDITIONS”

Monday, July 2, 2012

Time
Session 4
09.30–10.00 M. Akhin, V. Itsykson “TREE SLICING IN CLONE DETECTION: SYNTACTIC ANALYSIS MADE SEMI-SEMANTIC”
10.00–10.30 P. Drobintsev, A.Kolchin, V.Kotlyarov, A.Letichevsky, V.Peschanenko “AN APPROACH TO CREATING A TECHNOLOGY OF TEST AUTOMATION FOR INDUSTRIAL SOFTWARE PROJECTS”
10.30–11.00 Posters presentations
A. Tyugashev, I. Ermakov, I. Ilyin “WAYS TO GET MORE RELIABLE AND SAFE SOFTWARE IN AEROSPACE INDUSTRY”
A.Zakharov, V.Itsykson “STATIC APPROACH TO DETECTION OF DATA LOSS ERRORS”
A.Zakonov, A.Shalyto “TOWARDS AUTOMATED HIGH COVERAGE TEST GENERATION FOR WEB APPLICATIONS USING ABSTRACT SYNTAX TREES ANALYSIS”
Session 5
11.30–12.00 M. Dekhtyar, M.Valiev “VERIFICATION OF FUZZY MARKOV DECISION PROCESSES”
12.00–12.30 E.V. Kuzmin, V.A. Sokolov “ON VERIFICATION OF LD-PROGRAMS”
12.30–13.00 N.V. Shilov “USING ESOTERIC LANGUAGES FOR TEACHING FORMAL SEMANTICS”