Concepedia

Alexei Iliasov

AI

Statistics

Publications

18

Citations

319

H-Index

13

Active since

2005

Affiliations

Newcastle University(Current)

Åbo Akademi University

Space Systems Finland (Finland)

Alexei Iliasov is an author at Newcastle University specializing in engineering, systems engineering, and software design.

Top concepts

EngineeringSystems EngineeringSoftware DesignFormal MethodsSystem SoftwareFormal VerificationSoftware EngineeringComputer ScienceComputer EngineeringSoftware Analysis

Publications per year

2005–2022

18

Publications

18

Augmenting Event-B modelling with real-time verification

Alexei Iliasov, Alexander Romanovsky, Linas Laibinis et al. · 2012 · 30 citations

Engineering, Verification, Embedded Systems +25

Developing mode-rich satellite software by refinement in Event-B

Alexei Iliasov, Elena Troubitsynå, Linas Laibinis et al. · Science of Computer Programming · 2012 · 26 citations

Small Satellite, Engineering, Satellite Signal Processing +7

Patterns for Representing FMEA in Formal Specification of Control Systems

Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky et al. · 2011 · 25 citations · Full text

Engineering, Verification, Software Engineering +19

Towards a formalism-based toolkit for automotive applications

Rainer Gmehlich, Katrin Grau, Felix Loesch et al. · 2013 · 22 citations

Software Maintenance, Engineering, Modeling Notation +21

Exception Handling in Coordination-Based Mobile Environments

Alexei Iliasov, Alexander Romanovsky · 2006 · 21 citations

Fault-tolerant Network, Engineering, Fault Management +14

Rows per page

1–5 of 18