Concepedia

Bill Mitchell

BM

Statistics

Publications

3

Citations

67

H-Index

3

Active since

2005

Affiliations

University of Surrey(Current)

Bill Mitchell is an author at University of Surrey specializing in program analysis, software analysis, and automated reasoning.

Top concepts

Publications per year

2005–2008

3

Publications

3

Detecting and resolving semantic pathologies in UML sequence diagrams

Paul Baker, Paul Bristow, Clive Jervis et al. · 2005 · 28 citations

, , +28

Resolving race conditions in asynchronous partial order scenarios

Bill Mitchell · IEEE Transactions on Software Engineering · 2005 · 25 citations

, , +20

Characterizing Communication Channel Deadlocks in Sequence Diagrams

Bill Mitchell · IEEE Transactions on Software Engineering · 2008 · 14 citations

, , +16

1–3 of 3