| 1 | Iliasov, Alexei; Taylor, Dominic; Laibinis, Linas; Romanovsky, Alexander. Practical verification of railway signalling programs // IEEE Transactions on Dependable and Secure Computing. Los Alamitos, CA : Institute of Electrical and Electronics Engineers Inc. ISSN 1545-5971. eISSN 1941-0018. 2023, vol. 20, iss. 1, p. 695-707. DOI: 10.1109/TDSC.2022.3141555. |
| 2 | Iliasov, Alexei; Taylor, Dominic; Laibinis, Linas; Romanovsky, Alexander. The SafeCap trajectory: industry-driven improvement of an interlocking verification tool // Reliability, safety, and security of railway systems. modelling, analysis, verification, and certification: 5th international conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023 : proceedings. Cham : Springer, 2023. ISBN 9783031433658. eISBN 9783031433665. p. 117-127. (Lecture notes in computer science, ISSN 0302-9743, eISSN 1611-3349 ; vol. 14198). DOI: 10.1007/978-3-031-43366-5_7. |
| 3 | Iliasov, Alexei; Taylor, Dominic; Laibinis, Linas; Romanovsky, Alexander. Automated verification of railway signalling data // DAMSS: 14th conference on data analysis methods for software systems, Druskininkai, Lithuania, November 30 - December 2, 2023. Vilnius : Vilniaus universiteto leidykla, 2023. eISBN 9786090709856. p. 29. (Vilnius University Proceedings, eISSN 2669-0233 ; vol. 39). DOI: 10.15388/DAMSS.14.2023. |
| 4 | Petrauskas, Karolis; Merkys, Andrius; Vaitkus, Antanas; Laibinis, Linas; Gražulis, Saulius. Proving the correctness of the algorithm for building a crystallographic space group // Journal of applied crystallography. Chester : International Union of Crystallography. ISSN 0021-8898. eISSN 1600-5767. 2022, vol. 55, no. 3, p. 515-525. DOI: 10.1107/S1600576722003107. |
| 5 | Iliasov, Alexei; Laibinis, Linas; Taylor, Dominic; Lopatkin, Ilya; Romanovsky, Alexander. Safety invariant verification that meets engineers’ expectations // Reliability, safety, and security of railway systems. Modelling, analysis, verification, and certification: 4th international conference, RSSRail 2022, Paris, France, June 1–2, 2022 : proceedings/ editors: Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte. Cham : Springer, 2022. ISBN 9783031058134. eISBN 9783031058141. p. 20-31. (Lecture Notes in Computer Science, ISSN 0302-9743, eISSN 1611-3349 ; vol. 13294). DOI: 10.1007/978-3-031-05814-1. |
| 6 | Laibinis, Linas; Iliasov, Alexei; Romanovsky, Alexander. Mutation testing for rule-based verification of railway signaling data // IEEE transactions on reliability. Piscataway, NJ : IEEE. ISSN 0018-9529. eISSN 1558-1721. 2021, vol. 70, iss. 2, p. 676-691. DOI: 10.1109/TR.2020.3047462. |
| 7 | Iliasov, Alexei; Romanovsky, Alexander; Laibinis, Linas. Quantitative validation of formal domain models // High assurance systems engineering (HASE) : IEEE 19th International Symposium, Hangzhou, China 3-5 January 2019 : proceedings. New York : IEEE, 2019. ISBN 9781538685402. p. 17-24. (IEEE International symposium on high-assurance systems engineering, ISSN 1530-2059). DOI: 10.1109/HASE.2019.00013. |
| 8 | Iliasov, Alexei; Taylor, Dominic; Laibinis, Linas; Romanovsky, Alexander. Formal verification of signalling programs with SafeCap // Computer Safety, Reliability, and Security, 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. Cham : Springer International Publishing, 2018. ISBN 9783319991306. eISBN 9783319991306. p. 91-106. (Lecture Notes in Computer Science, ISSN 0302-9743, eISSN 1611-3349 ; vol. 11093). DOI: 10.1007/978-3-319-99130-6. |
| 9 | Laibinis, Linas; Pereverzeva, I.; Troubitsyna, E. Formal reasoning about resilient goal-oriented multi-agent systems // Science of computer programming. Amsterdam : Elsevier Science. ISSN 0167-6423. eISSN 1872-7964. 2017, Vol. 148, p. 66-87. DOI: 10.1016/j.scico.2017.05.008. |