Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 15.


Chu, Ge and Lisitsa, Alexei
Agent-based (BDI) modeling for automation of penetration testing.


Al-Shareefi, Farah
(2019) Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines. PhD thesis, University of Liverpool.


Sedeeq, Iman, Coenen, Frans ORCID: 0000-0003-1026-6649 and Lisitsa, Alexei
(2017) Attribute Permutation Steganography Detection using Attribute Position Changes Count. .


Konev, Boris and Lisitsa, Alexei
(2015) Computer-aided proof of Erdos discrepancy properties. ARTIFICIAL INTELLIGENCE, 224. 103 - 118.


Dixon, Clare, Fisher, Michael, Konev, Boris and Lisitsa, Alexei
Efficient First-Order Temporal Logic for Infinite-State Systems.


Al-Zeyadi, Mohammed Ghaiz
(2018) Efficient and Effective Methodologies for Exploring and Prediction Movement Patterns in Large Networks. PhD thesis, University of Liverpool.


Algamdi, AA
(2018) Enhancing Trust Management in Cloud Computing. PhD thesis, University of Liverpool.


Lisitsa, Alexei
Finite Model Finding for Parameterized Verification.


Lisitsa, Alexei
First-order finite satisfiability vs tree automata in safety verification.


Sedeeq, Iman
(2018) HTML Steganography Algorithms and Detection Methods. PhD thesis, University of Liverpool.


Farrell, Marie ORCID: 0000-0001-7708-3877, Cardoso, Rafael C, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael ORCID: 0000-0002-0875-3862, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Webster, Matt ORCID: 0000-0002-8817-6881
Modular Verification of Autonomous Space Robotics. .


Al-Zeyadi, Mohammed, Coenen, Frans ORCID: 0000-0003-1026-6649, Lisitsa, Alexei and IEEE,
(2017) On The Mining and Usage of Movement Patterns in Large Traffic Networks. .


Ahmed, Abdulbasit
Online network intrusion detection system using temporal logic and stream data processing. [Unspecified]


Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael ORCID: 0000-0002-0875-3862, Lincoln, Nicholas K, Lisitsa, Alexei and Veres, Sandor M
(2016) Practical verification of decision-making in agent-based autonomous systems. AUTOMATED SOFTWARE ENGINEERING, 23 (3). 305 - 359.


Lisitsa, Alexei
A logic with temporally accessible iteration.

This list was generated on Sat Oct 26 23:38:08 2019 BST.