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

David Owen Vis

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

*2007
13EETim Menzies, David Owen, Julian Richardson: The Strangest Thing About Software. IEEE Computer 40(1): 54-60 (2007)
2006
12EEJimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies: On the Distribution of Property Violations in Formal Models: An Initial Study. COMPSAC (1) 2006: 150-160
11EEDavid Owen, Dejan Desovski, Bojan Cukic: Effectively Combining Software Verification Strategies: Understanding Different Assumptions. ISSRE 2006: 321-330
10EEDavid Owen, Dejan Desovski, Bojan Cukic: Random testing of formal software models and induced coverage. Random Testing 2006: 20-27
2003
9 David Owen, Tim Menzies: Lurch: a Lightweight Alternative to Model Checking. SEKE 2003: 158-165
8EEDavid Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao: On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. SEW 2003: 75
2002
7EEDavid Owen, Tim Menzies, Bojan Cukic: What Makes Finite-State Models More (or Less) Testable? ASE 2002: 237-240
6EETim Menzies, David Owen, Bojan Cukic: You Seem Friendly, But Can I Trust You? FAABS 2002: 208-219
5EEDavid Owen, Bojan Cukic, Tim Menzies: An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models. HASE 2002: 119-128
4EETim Menzies, David Owen, Bojan Cukic: Saturation Effects in Testing of Formal Models. ISSRE 2002: 15-26
1987
3 David Owen: Direct Manipulation and Procedural Reasoning. HCI (2) 1987: 349-356
1982
2 David Owen: Relating Object Models to Segmentation Strategies. ECAI 1982: 205-210
1978
1 Aaron Sloman, David Owen, Geoffrey E. Hinton, Frank Birch, Frank O'Gorman: Representation and Control in Vision. AISB/GI (ECAI) 1978: 309-314

Coauthor Index

1Frank Birch [1]
2Bojan Cukic [4] [5] [6] [7] [10] [11]
3Dejan Desovski [10] [11]
4Jimin Gao [8] [12]
5Mats Per Erik Heimdahl [8] [12]
6Geoffrey E. Hinton [1]
7Tim Menzies [4] [5] [6] [7] [8] [9] [12] [13]
8Frank O'Gorman [1]
9Julian Richardson [13]
10Aaron Sloman [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)