Alexei Lisitsa

Publication Activity (10 Years)

Years Active: 1993-2021
Publications (10 Years): 42

Top Topics

Theorem Proving

Penetration Testing

Top Venues

Publications

Abdullah Khan, Alexei Lisitsa, Alexei Vernitski
Experimental Mathematics Approach to Gauss Diagrams Realizability. CoRR (2021)
Faisal Alotaibi, Alexei Lisitsa
Matrix profile for DDoS attacks detection. FedCSIS (2021)
Abdullah Khan, Alexei Vernitski, Alexei Lisitsa
Untangling Braids with Multi-agent Q-Learning. CoRR (2021)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Release-aware In-out Encryption Adjustment in MongoDB Query Processing. ICISSP (2021)
Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10 (2) (2021)
Abdullah Khan, Alexei Lisitsa, Alexei Vernitski
Gauss-Lintel, an Algorithm Suite for Exploring Chord Diagrams. CICM (2021)
Manolis Pitsikalis, Thanh-Toan Do, Alexei Lisitsa, Shan Luo
Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification. CoRR (2021)
Manolis Pitsikalis, Thanh-Toan Do, Alexei Lisitsa, Shan Luo
Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification. RuleML+RR (2021)
Abdullah Khan, Alexei Vernitski, Alexei Lisitsa
Untangling Braids with Multi-Agent Q-Learning. SYNASC (2021)
Manolis Pitsikalis, Alexei Lisitsa, Shan Luo
Representation and Processing of Instantaneous and Durative Temporal Phenomena. CoRR (2021)
Abdullah Khan, Alexei Lisitsa, Viktor Lopatkin, Alexei Vernitski
Circle graphs (chord interlacement graphs) of Gauss diagrams: Descriptions of realizable Gauss diagrams, algorithms, enumeration. CoRR (2021)
Ge Chu, Alexei Lisitsa
Ontology-based Automation of Penetration Testing. ICISSP (2020)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Release-Aware Encryption Adjustment Query processing for Document Database. ICCBDC (2020)
Mohmood Alsaadi, Alexei Lisitsa, Malik Qasaimeh
Minimizing the ambiguities in medical devices regulations based on software requirement engineering techniques. DATA (2019)
Ge Chu, Alexei Lisitsa
Agent-based (BDI) modeling for automation of penetration testing. CoRR (2019)
Nahla Aburawi, Frans Coenen, Alexei Lisitsa
Querying Encrypted Data in Graph Databases. ACRIT (2019)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database. ICISSP (2019)
Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
Analysing Security Protocols Using Scenario Based Simulation. VECoS (2019)
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
Modular Verification of Autonomous Space Robotics. CoRR (2019)
Maryam Almarwani, Boris Konev, Alexei Lisitsa
Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database. ICISSP (Revised Selected Papers) (2019)
Mohmood Alsaadi, Alexei Lisitsa, Mohammed Khalaf, Malik Qasaimeh
Investigating the Capability of Agile Processes to Support Medical Devices Regulations: The Case of XP, Scrum, and FDD with EU MDR Regulations. ICIC (3) (2019)
Nahla Aburawi, Alexei Lisitsa, Frans Coenen
Querying Encrypted Graph Databases. ICISSP (2018)
Ge Chu, Alexei Lisitsa
Penetration Testing for Internet of Things and Its Automation. HPCC/SmartCity/DSS (2018)
Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
Clarification of Ambiguity for the Simple Authentication and Security Layer. ABZ (2018)
Alexei Lisitsa
The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs. ICMS (2018)
Andrew Fish, Alexei Lisitsa, Alexei Vernitski
Towards Human Readability of Automated Unknottedness Proofs. Bridging@IJCAI/ECAI (2018)
Nahla Aburawi, Frans Coenen, Alexei Lisitsa
Traversal-aware Encryption Adjustment for Graph Databases. DATA (2018)
Said Al-Riyami, Frans Coenen, Alexei Lisitsa
A Re-evaluation of Intrusion Detection Accuracy: Alternative Evaluation Strategy. CCS (2018)
Alexei Lisitsa
Revisiting MU-Puzzle. A Case Study in Finite Countermodels Verification. RP (2018)
Andrew Fish, Alexei Lisitsa, Alexei Vernitski
Visual Algebraic Proofs for Unknot Detection. Diagrams (2018)
Ge Chu, Alexei Lisitsa
Poster: Agent-based (BDI) modeling for automation of penetration testing. PST (2018)
Mohammed Al-Zeyadi, Frans Coenen, Alexei Lisitsa
User-to-User Recommendation using the Concept of Movement Patterns: A Study using a Dating Social Network. KDIR (2017)
Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. SBMF (2017)
Mohammed Al-Zeyadi, Frans Coenen, Alexei Lisitsa
On the mining and usage of Movement Patterns in large traffic networks. BigComp (2017)
Iman Sedeeq, Frans Coenen, Alexei Lisitsa
Attribute Permutation Steganography Detection using Attribute Position Changes Count. ICISSP (2017)
Iman Sedeeq, Frans Coenen, Alexei Lisitsa
A Prediction Model Based Approach to Open Space Steganography Detection in HTML Webpages. IWDW (2017)
Alexei Lisitsa, Alexei Vernitski
Automated Reasoning for Knot Semigroups and \pi π -orbifold Groups of Knots. MACIS (2017)
Andrew Fish, Alexei Lisitsa, David Stanovský, Sarah Swartwood
Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT. ICMS (2016)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Practical verification of decision-making in agent-based autonomous systems. Autom. Softw. Eng. 23 (3) (2016)
Mohammed Al-Zeyadi, Frans Coenen, Alexei Lisitsa
Mining Frequent Movement Patterns in Large Networks: A Parallel Approach Using Shapes. SGAI Conf. (2016)
Maurice H. ter Beek, Alexei Lisitsa, Andrei P. Nemytykh, António Ravara
Automated verification of programs and Web systems. J. Log. Algebraic Methods Program. 85 (5) (2016)
Iman Sedeeq, Frans Coenen, Alexei Lisitsa
A Statistical Approach to the Detection of HTML Attribute Permutation Steganography. ICISSP (2016)
Boris Konev, Alexei Lisitsa
Computer-aided proof of Erdős discrepancy properties. Artif. Intell. 224 (2015)
Andrew Fish, Alexei Lisitsa, David Stanovský
A combinatorial approach to knot recognition. CoRR (2015)
Andrew Fish, Alexei Lisitsa, David Stanovský
A Combinatorial Approach to Knot Recognition. EGC (2015)
Alexei Lisitsa
First-order logic for safety verification of hedge rewriting systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Jerry Swan, Zoltan A. Kocsis, Alexei Lisitsa
The 'representative' metaheuristic design pattern. GECCO (Companion) (2014)
Boris Konev, Alexei Lisitsa
A SAT Attack on the Erdos Discrepancy Conjecture. CoRR (2014)
Ting Wang, Sheng-Uei Guan, Ka Lok Man, T. O. Ting, Alexei Lisitsa
Optimized Neural Incremental Attribute Learning for Classification Based on Statistical discriminability. Int. J. Comput. Intell. Appl. 13 (4) (2014)
Andrew Fish, Alexei Lisitsa
Detecting unknots via equational reasoning, I: Exploration. CoRR (2014)
Alexei Lisitsa, Andrei P. Nemytykh
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? VPT@CAV (2014)
Boris Konev, Alexei Lisitsa
A SAT Attack on the Erdős Discrepancy Conjecture. SAT (2014)
Boris Konev, Alexei Lisitsa
Computer-Aided Proof of Erdos Discrepancy Properties. CoRR (2014)
Andrew Fish, Alexei Lisitsa
Detecting Unknots via Equational Reasoning, I: Exploration. CICM (2014)
Alexei Lisitsa
Finite Reasons for Safety - Parameterized Verification by Finite Model Finding. J. Autom. Reason. 51 (4) (2013)
Alexei Lisitsa
First-order theorem proving in the exploration of Andrews-Curtis conjecture. Tiny Trans. Comput. Sci. 2 (2013)
Abdulbasit Ahmed, Alexei Lisitsa, Andrei P. Nemytykh
Cryptographic Protocol Verification via Supercompilation (A Case Study). VPT@CAV (2013)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Practical Verification of Decision-Making in Agent-Based Autonomous Systems. CoRR (2013)
Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa
Autonomous Asteroid Exploration by Rational Agents. IEEE Comput. Intell. Mag. 8 (4) (2013)
Alexei Lisitsa, Andrei P. Nemytykh
A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal? CoRR (2012)
Alexei Lisitsa
Finite Models vs Tree Automata in Safety Verification. RTA (2012)
Alexei Lisitsa, Igor Potapov, Rafiq Saleh
Planarity of Knots, Register Automata and LogSpace Computability. LATA (2011)
Alexei Lisitsa
First-order finite satisfiability vs tree automata in safety verification CoRR (2011)
Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon
A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. NSS (2011)
Alexei Lisitsa
Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics. TIME (2011)
Alexei Lisitsa
Finite countermodels for safety verification of parameterized tree systems CoRR (2011)
Alexei Lisitsa, Andrei P. Nemytykh
On one application of computations with oracle. Program. Comput. Softw. 36 (3) (2010)
Alexei Lisitsa
Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol. WING@ETAPS/IJCAR (2010)
Nicholas Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa
An agent based framework for adaptive control and decision making of autonomous vehicles. ALCOSP (2010)
Alexei Lisitsa
Reachability as Derivability, Finite Countermodels and Verification. ATVA (2010)
Alexei Lisitsa
Finite Model Finding for Parameterized Verification CoRR (2010)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Declarative Abstractions for Agent Based Hybrid Control Systems. DALT (2010)
Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres
Satellite Control Using Rational Agent Programming. IEEE Intell. Syst. 25 (3) (2010)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Agent Based Approaches to Engineering Autonomous Space Software FMA (2009)
Vitaliy Kurlin, Alexei Lisitsa, Igor Potapov, Rafiq Saleh
On Descriptional Complexity of the Planarity Problem for Gauss Words CoRR (2009)
Alexei Lisitsa, Igor Potapov
On the Computational Power of Querying the History. Fundam. Informaticae 91 (2) (2009)
Alexei Lisitsa, Igor Potapov, Rafiq Saleh
Automata on Gauss Words. LATA (2009)
Alexei Lisitsa
A logic with temporally accessible iteration CoRR (2008)
Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
Practical First-Order Temporal Reasoning. TIME (2008)
Alexei Lisitsa, Andrei P. Nemytykh
Reachability Analysis in Verification via Supercompilation. Int. J. Found. Comput. Sci. 19 (4) (2008)
Alexei Lisitsa, Andrei P. Nemytykh
Verification as a parameterized testing (experiments with the SCP4 supercompiler). Program. Comput. Softw. 33 (1) (2007)
Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
Efficient First-Order Temporal Logic for Infinite-State Systems CoRR (2007)
Alexei Lisitsa, Andrei P. Nemytykh
A Note on Specialization of Interpreters. CSR (2007)
Alexei Lisitsa, Igor Potapov
In time alone: on the computational power of querying the history. TIME (2006)
Alexei Lisitsa, Andrei P. Nemytykh
Towards Verification via Supercompilation. COMPSAC (2) (2005)
Alexei Lisitsa, Igor Potapov
Temporal Logic with Predicate lambda-Abstraction. TIME (2005)
Michael Fisher, Boris Konev, Alexei Lisitsa
Practical Infinite-State Verification with Temporal Reasoning. VISSAS (2005)
Alexei Lisitsa, Igor Potapov
Membership and Reachability Problems for Row-Monomial Transformations. MFCS (2004)
Alexei Lisitsa, Igor Potapov
Temporal logic with predicate abstraction CoRR (2004)
Michael Fisher, Alexei Lisitsa
Monodic ASMs and Temporal Verification. Abstract State Machines (2004)
James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
Searching for Invariants Using Temporal Resolution. LPAR (2002)
Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
Equality and Monodic First-Order Temporal Logic. Stud Logica 72 (2) (2002)
Alexei Lisitsa
Generalized vs formula circumscription over finite models. AI&M (2000)
Alexei Lisitsa, Vladimir Yu. Sazonov
Linear Ordering on Graphs, Anti-Founded Sets and Polynomial Time Computability. Theor. Comput. Sci. 224 (1-2) (1999)
Alexei Lisitsa, Vladimir Yu. Sazonov
Delta-Languages for Sets and LOGSPACE Computable Graph Transformers. Theor. Comput. Sci. 175 (1) (1997)
Alexei Lisitsa, Vladimir Yu. Sazonov
On Linear Ordering of Strongly Extensional Finitely-Branching Graphs and Non-well-founded Sets. LFCS (1997)
Alexei Lisitsa, Vladimir Yu. Sazonov
Bounded Hyperset Theory and Web-like Data Bases. Kurt Gödel Colloquium (1997)
Vladimir Yu. Sazonov, Alexei Lisitsa
Delta-Languages for Sets and sub-PTIME Graphs Transformers. ICDT (1995)
Alexei Lisitsa
Complexity of Universal Circumscription. Int. J. Found. Comput. Sci. 4 (3) (1993)