1. 2020
  2. Testing Equivalences of Time Petri Nets

    Bozhenkova, E. N. & Virbitskaite, I. B., 1 Jul 2020, In: Programming and Computer Software. 46, 4, p. 251-260 10 p.

    Research output: Contribution to journalArticlepeer-review

  3. 2019
  4. 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

  5. 2018
  6. 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

  7. Preserving behavior in transition systems from event structure models

    Gribovskaya, N. & Virbitskaite, I., 1 Jan 2018, In: CEUR Workshop Proceedings. 2240

    Research output: Contribution to journalConference articlepeer-review

  8. 2017
  9. 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

ID: 3431239