• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

News

PAIS Lab seminar: Petri Hypernets for modeling mobile agents // Prof. Lucia Pomello

Dr. Lucia Pomello (professor at the Department of Informatics, Systems and Communication (DISCo), University of Milano-Bicocca, Italy) presented the talk on subject: Petri Hypernets for modeling mobile agents.

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...