Concepedia

Alexei Lisitsa

AL

Statistics

Publications

23

Citations

580

H-Index

16

Active since

1997

Affiliations

University of Liverpool(Current)

University of Southampton

Program Systems Institute of RAS

Russian Academy of Sciences

University of Sheffield

Alexei Lisitsa is an author at University of Liverpool specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringVerificationFormal MethodsFormal VerificationAutomated ReasoningAutomationData ScienceSoftware Testing

Publications per year

1997–2022

23

Publications

23

Practical verification of decision-making in agent-based autonomous systems

Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln et al. · Automated Software Engineering · 2014 · 94 citations · Full text

An Overview of Verification and Validation Challenges for Inspection Robots

Michael Fisher, Rafael C. Cardoso, Emily C. Collins et al. · Robotics · 2021 · 57 citations · Full text

Robotic Systems, Engineering, Robotic Agent +20

Equality and Monodic First-Order Temporal Logic

Michael Fisher, Alexei Lisitsa · Studia Logica · 2002 · 36 citations · Full text

Temporal Logic with Predicate λ-Abstraction

Alexei Lisitsa, Igor Potapov · 2005 · 35 citations

Validity Checking, Formal Specification, Engineering +14

Penetration Testing for Internet of Things and Its Automation

Ge Chu, Alexei Lisitsa · 2018 · 32 citations

Engineering, Information Security, Iot Communication +17

1–5 of 23