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

News

PAIS Lab Seminar: Student Talks 2

At the session of the PAIS Lab Seminar on May 26th students of the SE Department presented their talks.

PAIS Lab Seminar: Student Talks

At the session of the PAIS Lab Seminar on May 19th students of the SE Department presented their talks.

PAIS Lab Seminar: Applying graph grammars for the generation of process models and their logs // V. Kataeva

Valeria Kataeva (master-student at SE Dept., HSE) presented the talk on subject: Applying graph grammars for the generation of process models and their logs

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.