Up a level |
Al-Shareefi, F ORCID: 0000-0002-5537-6086, Lisitsa, A and Dixon, C ORCID: 0000-0002-4610-9533
(2017)
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems.
In: 20th Brazilian Symposium on Formal Methods, Recife, Brazil.
Lisitsa, A
(2018)
The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs.
In: ICMS 2018.
Abdulazeez, MB
(2017)
Intrusion Detection and Prevention Systems In the Cloud Environment.
Doctor of Philosophy thesis, University of Liverpool.
Kourtis, G, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and Lisitsa, A
(2021)
Parameterized verification of leader/follower systems via first-order temporal logic.
FORMAL METHODS IN SYSTEM DESIGN, 58 (3).
pp. 440-468.
Kourtis, G, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and Lisitsa, A
(2022)
Parameterized verification of leader/follower systems via first-order temporal logic (vol 58, pg 440, 2022).
FORMAL METHODS IN SYSTEM DESIGN, 60 (2).
pp. 325-326.
Lisitsa, A
(2018)
Revisiting mu-puzzle. A case study in finite countermodels verification.
.
Fish, A, Lisitsa, A and Vernitski, A
(2018)
Towards human readability of automated unknottedness proofs.
.
Lisitsa, A, Fish, Andrew and Vernitski, Alexei
(2018)
Visual Algebraic proofs for Unknot Detection.
In: Diagrams 2018, Edinburgh.
Lisitsa, A, Fish, Andrew and Vernitski, Alexei
(2018)
Visual Algebraic proofs for Unknot Detection.
In: Diagrams, Edinburgh.