No photo of Irina Bonaventurovna Virbitskayte

Irina Bonaventurovna Virbitskayte

профессор, Doctor of Sciences

20172020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2019

    Causality-Based Testing in Time Petri Nets

    Bozhenkova, E., Virbitskaite, I. & Popova-Zeugmann, L., 1 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 252-261 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  • 2018

    From event-oriented models to transition systems

    Best, E., Gribovskaya, N. & Virbitskaite, I., 1 Jan 2018, Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Proceedings. Springer-Verlag GmbH and Co. KG, p. 117-139 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10877 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

    2 Citations (Scopus)
  • 2017

    Configuration- and residual-based transition systems for event structures with asymmetric conflict

    Best, E., Gribovskaya, N. & Virbitskaite, I., 1 Jan 2017, SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Steffen, B., Baier, C., VanDenBrand, M., Eder, J., Hinchey, M. & Margaria, T. (eds.). Springer-Verlag GmbH and Co. KG, p. 132-146 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10139 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

    2 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.