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

News

PAIS Lab Seminar: Modular system development by composing Petri nets on interfaces // 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: Modular system development by composing Petri nets on interfaces.

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