Concepedia

Kirill Bogdanov

KB

11

Publications

447

Citations

11

H-Index

2001

Active since

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

Rows per page

1–5 of 11