Bill Mitchell

According to our database, Bill Mitchell authored at least 12 papers between 1973 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Networks and geography: Modelling community network structures as the outcome of both spatial and network processes.

Galina Daraganova, Pip Pattison, Johan H. Koskinen, Bill Mitchell, Anthea Bill, Martin Watts, Scott Baum

Soc. Networks, 2012

2008

Characterizing Communication Channel Deadlocks in Sequence Diagrams.

Bill Mitchell

IEEE Trans. Software Eng., 2008

A Dynamic Orchestration Model for Future Internet Applications.

Giuseppe Avellino, Mike J. Boniface, Barbara Cantalupo, Justin Ferris, Nikolaos Matskanis, Bill Mitchell, Mike Surridge

Proceedings of the Towards a Service-Based Internet, 2008

2007

Lazy buffer semantics for partial order scenarios.

Bill Mitchell

Autom. Softw. Eng., 2007

2005

Resolving Race Conditions in Asynchronous Partial Order Scenarios.

Bill Mitchell

IEEE Trans. Software Eng., 2005

Detecting and resolving semantic pathologies in UML sequence diagrams.

Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

2004

Model Synthesis from Imprecise Specifications.

Bill Mitchell, Robert Thomson, Paul Bristow

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Scenario Synthesis from Imprecise Requirements.

Bill Mitchell, Robert Thomson, Paul Bristow

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

Inherent Causal Orderings of Partial Order Scenarios.

Bill Mitchell

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Phase Automaton for Requirements Scenarios.

Bill Mitchell, Robert Thomson, Clive Jervis

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

2002

Automatic Generation of Conformance Tests from Message Sequence Charts.

Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell

Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

1973

Variance Reduction by Antithetic Variates in <i>GI</i>/<i>G</i>/1 Queuing Simulations.

Bill Mitchell

Oper. Res., 1973