Bill Mitchell

12 papers C 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2012 J jnl
Networks and geography: Modelling community network structures as the outcome of both spatial and network processes.
Soc. Networks
Galina Daraganova, Pip Pattison, Johan H. Koskinen, Bill Mitchell, Anthea Bill, Martin Watts, Scott Baum
2008 — conf
A Dynamic Orchestration Model for Future Internet Applications.
ServiceWave
Giuseppe Avellino, Mike J. Boniface, Barbara Cantalupo, Justin Ferris, Nikolaos Matskanis, Bill Mitchell, Mike Surridge
2008 J jnl
Characterizing Communication Channel Deadlocks in Sequence Diagrams.
IEEE Trans. Software Eng.
Bill Mitchell
2007 J jnl
Lazy buffer semantics for partial order scenarios.
Autom. Softw. Eng.
Bill Mitchell
2005 — conf
Detecting and resolving semantic pathologies in UML sequence diagrams.
ESEC/SIGSOFT FSE
Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton
2005 J jnl
Resolving Race Conditions in Asynchronous Partial Order Scenarios.
IEEE Trans. Software Eng.
Bill Mitchell
2004 C conf
Inherent Causal Orderings of Partial Order Scenarios.
ICTAC
Bill Mitchell
2004 — conf
Model Synthesis from Imprecise Specifications.
VVEIS
Bill Mitchell, Robert Thomson, Paul Bristow
2004 — conf
Scenario Synthesis from Imprecise Requirements.
SAM
Bill Mitchell, Robert Thomson, Paul Bristow
2003 — conf
Phase Automaton for Requirements Scenarios.
FIW
Bill Mitchell, Robert Thomson, Clive Jervis
2002 — conf
Automatic Generation of Conformance Tests from Message Sequence Charts.
SAM
Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell
1973 J jnl
Variance Reduction by Antithetic Variates in
Oper. Res.
Bill Mitchell