Follow
Alexei Lisitsa
Alexei Lisitsa
Verified email at liverpool.ac.uk
Title
Cited by
Cited by
Year
Practical verification of decision-making in agent-based autonomous systems
LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres
Automated Software Engineering 23, 305-359, 2016
1292016
A SAT attack on the Erdős discrepancy conjecture
B Konev, A Lisitsa
Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014
932014
Computer-aided proof of Erdős discrepancy properties
B Konev, A Lisitsa
Artificial Intelligence 224, 103-118, 2015
642015
Equality and monodic first-order temporal logic
A Degtyarev, M Fisher, A Lisitsa
Studia Logica 72, 147-156, 2002
562002
Reachability analysis in verification via supercompilation
A Lisitsa, AP Nemytykh
International Journal of Foundations of Computer Science 19 (04), 953-969, 2008
522008
An overview of verification and validation challenges for inspection robots
M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ...
Robotics 10 (2), 67, 2021
492021
Verification as a parameterized testing (experiments with the SCP4 supercompiler)
AP Lisitsa, AP Nemytykh
Programming and Computer Software 33, 14-23, 2007
472007
Penetration testing for internet of things and its automation
G Chu, A Lisitsa
2018 IEEE 20th International Conference on High Performance Computing and …, 2018
422018
Temporal logic with predicate/spl lambda/-abstraction
A Lisitsa, I Potapov
12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005
402005
A misuse-based network intrusion detection system using temporal logic and stream processing
A Ahmed, A Lisitsa, C Dixon
2011 5th International Conference on Network and System Security, 1-8, 2011
332011
Satellite control using rational agent programming
L Dennis, M Fisher, A Lisitsa, N Lincoln, S Veres
IEEE Intelligent Systems 25 (3), 92-97, 2010
302010
Autonomous asteroid exploration by rational agents
NK Lincoln, SM Veres, LA Dennis, M Fisher, A Lisitsa
ieee ComputatioNal iNtelligeNCe magaziNe 8 (4), 25-38, 2013
292013
Linear ordering on graphs, anti-founded sets and polynomial time computability
A Lisitsa, V Sazonov
Theoretical Computer Science 224 (1-2), 173-213, 1999
291999
Bounded hyperset theory and web-like data bases
A Lisitsa, V Sazonov
Kurt Gödel Colloquium on Computational Logic and Proof Theory, 172-185, 1997
261997
A re-evaluation of intrusion detection accuracy: Alternative evaluation strategy
S Al-Riyami, F Coenen, A Lisitsa
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
242018
An agent based framework for adaptive control and decision making of autonomous vehicles
L Dennis, M Fisher, NK Lincoln, SM Veres, A Lisitsa
IFAC Proceedings Volumes 43 (10), 310-317, 2010
232010
Practical infinite-state verification with temporal reasoning
M Fisher, B Konev, A Lisitsa
NATO SECURITY THROUGH SCIENCE SERIES D-INFORMATION AND COMMUNICATION …, 2006
232006
Membership and reachability problems for row-monomial transformations
A Lisitsa, I Potapov
International Symposium on Mathematical Foundations of Computer Science, 623-634, 2004
232004
Poster: Agent-based (BDI) modeling for automation of penetration testing
G Chu, A Lisitsa
2018 16th Annual Conference on Privacy, Security and Trust (PST), 1-2, 2018
222018
Towards verification via supercompilation
A Lisitsa, A Nemytykh
29th Annual International Computer Software and Applications Conference …, 2005
212005
The system can't perform the operation now. Try again later.
Articles 1–20