Concepedia

Kirill Bogdanov

KB

Statistics

Publications

11

Citations

447

H-Index

11

Active since

2001

Affiliations

University of Sheffield(Current)

University of Leicester

Kirill Bogdanov is an author at University of Sheffield specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringVerificationAutomated Reasoning

Publications per year

2001–2013

11

Publications

11

Inferring Finite-State Models with Temporal Constraints

Neil Walkinshaw, Kirill Bogdanov · 2008 · 92 citations

Engineering, Verification, Software Engineering +20

Reverse Engineering State Machines by Interactive Grammar Inference

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe et al. · Proceedings - Working Conference on Reverse Engineering · 2007 · 76 citations

Software Maintenance, Syntactic Parsing, Engineering +28

Statechart testing method for aircraft control systems

Kirill Bogdanov, Mike Holcombe · Software Testing Verification and Reliability · 2001 · 51 citations · Full text

Engineering, Verification, Formal Verification +22

STAMINA: a competition to encourage the development and assessment of software model inference techniques

Neil Walkinshaw, Bernard Lambeau, Christophe Damas et al. · Empirical Software Engineering · 2012 · 48 citations · Full text

Using formal methods to support testing

RM Hierons, Kirill Bogdanov, J.P. Bowen et al. · Brunel University Research Archive (BURA) (Brunel University London) · 2008 · 37 citations · Full text

1–5 of 11