PAIS Lab seminar: Improvements to Translation of LTL Formula to Buchi Automata // O. Kochetova
On April 7th Olga KOchetova (HSE student) presented the talk on subject: Improvements to Translation of LTL Formula to Buchi Automata.
PAIS Lab seminar: ProM 6 framework as a tool for work with BPMN models // S. Ivanov
On March 31st Sergey Ivanov (research assistant of the PAIS Lab) presented the talk on subject: ProM 6 framework as a tool for work with BPMN models.
PAIS Lab seminar: On the application of timed automata and UPAAL toolset to the verification of Software Defined Networks // U. Popesko
Uliana V. Popesko (PhD student, MSU) presented the talk on subject: On the application of timed automata and UPAAL toolset to the verification of Software Defined Networks.
PAIS Lab seminar: Analyzing Web Service Resource Compatibility // I. A. Lomazova
Irina A. Lomazova (director of the PAIS Lab, professor of the HSE) presented the talk on subject: Analyzing Web Service Resource Compatibility.
PAIS Lab seminar: Static analysis for data race detection // P. Andrianov
Pavel Andrianov (ISP RAS) presented the talk on subject: Static analysis for data race detection.
PAIS Lab seminar: Software Process Mining // V. Rubin
Vladimir Rubin (PhD, lead research fellow of the PAIS Lab) presented the talk on subject: Software Process Mining.
PAIS Lab seminar: Binary and source code analysis for developing high quality program systems // K.Troshina
Katerina Troshina (Ph.D., SmartDec) presented the talk on subject: Binary and source code analysis for developing high quality program systems.
more info and abstract...
PAIS Lab seminar: DPMine concept: current status // S. Shershakov
The last (in 2013) session of our seminar was held.
Sergey Shershakov (research fellow of the PAIS Lab) presented the talk on subject: DPMine concept: current status.
We will appreciate if you visit next session of the seminar, which will be held at January 20th, 2014.
Happy New Year and Merry Christmas!
Abstract and slides
PAIS Lab seminar: True Concurrency and Net Unfoldings // D.Frumin
Daniil Frumin (research assistant of the PAIS Lab) presented the talk on subject: True Concurrency and Net Unfoldings.
more...
PAIS Lab seminar: Activiti BPM Platform // D. Nazarenko
D. Nazarenko, student of the Department of Software Engineering, presented the talk on subject "Activiti BPM Platform" at the PAIS Lab seminar.
more...