Browse by People

Chu, Ge and Lisitsa, Alexei (2019) Agent-based (BDI) modeling for automation of penetration testing. CoRR, abs/19.

Al-Shareefi, Farah ORCID: 0000-0002-5537-6086 (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. In: 3rd International Conference on Information Systems Security and Privacy, 2017-2-19 - 2017-2-21, Porto.

Lisitsa, Alexei and Vernitski, Alexei (2017) Automated Reasoning for Knot Semigroups and  $$\pi $$ π -orbifold Groups of Knots. .

Chu, Ge (2021) Automation of Penetration Testing. PhD thesis, University of Liverpool.

Al-Shareefi, Farah ORCID: 0000-0002-5537-6086, Lisitsa, Alexei and Dixon, Clare ORCID: 0000-0002-4610-9533 (2018) Clarification of Ambiguity for the Simple Authentication and Security Layer. In: 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018, 2018-6-5 - 2018-6-8, Southampton, UK.

Konev, Boris ORCID: 0000-0002-6507-0494 and Lisitsa, Alexei (2015) Computer-aided proof of Erdős discrepancy properties. Artificial Intelligence, 224. 103 - 118.

Konev, Boris ORCID: 0000-0002-6507-0494 and Lisitsa, Alexei (2015) Computer-aided proof of Erdős discrepancy properties. Artificial Intelligence, 224. pp. 103-118.

Al-Riyami, Said, Lisitsa, Alexei and Coenen, Frans ORCID: 0000-0003-1026-6649 (2022) Cross-Datasets Evaluation of Machine Learning Models for Intrusion Detection Systems. .

Aburawi, Nahla (2020) CryptDB Mechanism on Graph Databases. PhD thesis, University of Liverpool.

Dixon, Clare, Fisher, Michael, Konev, Boris ORCID: 0000-0002-6507-0494 and Lisitsa, Alexei (2007) 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.

Alsaadi, Mahmood (2022) Enhancing the Auditability of the Agile XP Software Development Process in the Context of EU Medical Device Regulations. PhD thesis, University of Liverpool.

Alriyami, Said (2022) Evaluation Techniques for the Applications of Machine Learning in Cybersecurity. PhD thesis, University of Liverpool.

Lisitsa, Alexei (2010) Finite Model Finding for Parameterized Verification.

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

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

Alotaibi, Faisal (2022) IMPROVING NETWORK SECURITY USING SOFTWARE-DEFINED NETWORKING. PhD thesis, University of Liverpool.

Pitsikalis, Manolis, Thanh-Toan, Do, Lisitsa, Alexei and Luo, Shan ORCID: 0000-0003-4760-0372 (2021) Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification. In: 5th International Joint Conference on Rules and Reasoning, 2021-9-13 - 2021-9-15, Leuven, Belgium.

Farrell, Marie ORCID: 0000-0001-7708-3877, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Webster, Matt ORCID: 0000-0002-8817-6881 (2019) Modular Verification of Autonomous Space Robotics. In: IEEE International Conference on Space Mission Challenges for Information, 2019-7-30 - 2019-8-1, Pasadena, California, USA.

Al-Zeyadi, Mohammed, Coenen, Frans ORCID: 0000-0003-1026-6649 and Lisitsa, Alexei (2017) On The Mining and Usage of Movement Patterns in Large Traffic Networks. In: 2017 IEEE International Conference on Big Data and Smart Computing (BigComp), 2017-2-13 - 2017-2-16.

Ahmed, Abdulbasit Online network intrusion detection system using temporal logic and stream data processing. Doctor of Philosophy thesis, University of Liverpool.

Collapse authors list.
Fisher, Michael, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Collins, Emily C ORCID: 0000-0001-9396-536X, Dadswell, Christopher, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Farrell, Marie ORCID: 0000-0001-7708-3877, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Jump, Mike ORCID: 0000-0002-1028-2334 et al (show 7 more authors) , Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Luo, Shan ORCID: 0000-0003-4760-0372, Page, Vincent, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Webster, Matt ORCID: 0000-0002-8817-6881 (2021) An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10 (2). p. 67.

Dennis, Louise ORCID: 0000-0003-1426-1896, Fisher, Michael, Lincoln, Nicholas K, Lisitsa, Alexei and Veres, Sandor M (2014) Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Automated Software Engineering, 23 (3). pp. 305-359.

Coenen, FP ORCID: 0000-0003-1026-6649, Lisitsa, Alexei and Aburawi, NN (2020) Querrying Encrypted Data in Graph Databases. .

Aburawi, Nahla, Lisitsa, Alexei and Coenen, Frans ORCID: 0000-0003-1026-6649 (2018) Querying Encrypted Graph Databases. In: 4th International Conference on Information Systems Security and Privacy, 2018-1-22 - 2018-1-24.

Khan, Abdullah, Vernitski, Alexei and Lisitsa, Alexei (2022) Reinforcement learning algorithms for the Untangling of Braids. .

Pitsikalis, Manolis, Lisitsa, Alexei and Luo, Shan ORCID: 0000-0003-4760-0372 (2022) Representation and Processing of Instantaneous and Durative Temporal Phenomena. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 13290. pp. 135-156.

Aburawi, Nahla, Coenen, Frans ORCID: 0000-0003-1026-6649 and Lisitsa, Alexei (2018) Traversal-aware Encryption Adjustment for Graph Databases. In: 7th International Conference on Data Science, Technology and Applications, 2018-7-26 - 2018-7-28, Porto, Portugal.

Al-Zeyadi, Mohammed, Coenen, Frans ORCID: 0000-0003-1026-6649 and Lisitsa, Alexei (2017) User-to-User Recommendation using the Concept of Movement Patterns: A Study using a Dating Social Network. In: 9th International Conference on Knowledge Discovery and Information Retrieval, 2017-11-1 - 2017-11-3.

Lisitsa, Alexei P and Nemytykh, Andrei P (2017) Verifying Programs via Intermediate Interpretation. Electronic Proceedings in Theoretical Computer Science, EPTCS, 253. pp. 54-74.

Lisitsa, Alexei (2008) A logic with temporally accessible iteration.