dblp.uni-trier.dewww.uni-trier.de

Bill Mitchell

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
10EEGiuseppe Avellino, Mike J. Boniface, Barbara Cantalupo, Justin Ferris, Nikolaos Matskanis, Bill Mitchell, Mike Surridge: A Dynamic Orchestration Model for Future Internet Applications. ServiceWave 2008: 266-274
9EEBill Mitchell: Characterizing Communication Channel Deadlocks in Sequence Diagrams. IEEE Trans. Software Eng. 34(3): 305-320 (2008)
2007
8EEBill Mitchell: Lazy buffer semantics for partial order scenarios. Autom. Softw. Eng. 14(4): 419-441 (2007)
2005
7EEPaul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton: Detecting and resolving semantic pathologies in UML sequence diagrams. ESEC/SIGSOFT FSE 2005: 50-59
6EEBill Mitchell: Resolving Race Conditions in Asynchronous Partial Order Scenarios. IEEE Trans. Software Eng. 31(9): 767-784 (2005)
2004
5EEBill Mitchell: Inherent Causal Orderings of Partial Order Scenarios. ICTAC 2004: 113-127
4EEBill Mitchell, Robert Thomson, Paul Bristow: Scenario Synthesis from Imprecise Requirements. SAM 2004: 122-137
3 Bill Mitchell, Robert Thomson, Paul Bristow: Model Synthesis from Imprecise Specifications. VVEIS 2004: 20-25
2003
2 Bill Mitchell, Robert Thomson, Clive Jervis: Phase Automaton for Requirements Scenarios. FIW 2003: 77-84
2002
1EEPaul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell: Automatic Generation of Conformance Tests from Message Sequence Charts. SAM 2002: 170-198

Coauthor Index

1Giuseppe Avellino [10]
2Paul Baker [1] [7]
3Mike J. Boniface [10]
4Paul Bristow [1] [3] [4] [7]
5Simon Burton [7]
6Barbara Cantalupo [10]
7Justin Ferris [10]
8Clive Jervis [1] [2] [7]
9David J. King [1] [7]
10Nikolaos Matskanis [10]
11Mike Surridge [10]
12Robert Thomson [2] [3] [4] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)