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

Tim Menzies Vis

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

*2009
94EETim Menzies, Steve Williams, Barry W. Boehm, Jairus Hihn: How to avoid drastic software process change (using stochastic stability). ICSE 2009: 540-550
93EEAndres S. Orrego, Tim Menzies, Oussama El-Rawas: On the Relative Merits of Software Reuse. ICSP 2009: 186-197
92EELetha H. Etzkorn, Tim Menzies: Special issue on information retrieval for program comprehension. Empirical Software Engineering 14(1): 1-4 (2009)
2008
91EEDaniel Port, Alexy Olkov, Tim Menzies: Using Simulation to Investigate Requirements Prioritization Strategies. ASE 2008: 268-277
90EEJohann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett: Tool Support for Parametric Analysis of Large Software Simulation Systems. ASE 2008: 497-498
89EEYue Jiang, Bojan Cukic, Tim Menzies: Can data transformation help in the detection of fault-prone modules? DEFECTS 2008: 16-20
88EEBurak Turhan, Ayse Basar Bener, Tim Menzies: Nearest neighbor sampling for cross company defect predictors: abstract only. DEFECTS 2008: 26
87EEGary D. Boetticher, Tim Menzies, Thomas J. Ostrand, Günther Ruhe: 4th international workshop on predictor models in SE (PROMISE 2008). ICSE Companion 2008: 1061-1062
86EETim Menzies, Andrian Marcus: Automated severity assessment of software defect reports. ICSM 2008: 346-355
85EETim Menzies, Oussama El-Rawas, Barry W. Boehm, Raymond J. Madachy, Jairus Hihn, Daniel Baker, Karen T. Lum: Accurate Estimates without Calibration?. ICSP 2008: 210-221
84EEYue Jiang, Bojan Cukic, Tim Menzies: Cost Curve Evaluation of Fault Prediction Models. ISSRE 2008: 197-206
83EETim Menzies: Editorial, special issue, repeatable experiments in software engineering. Empirical Software Engineering 13(5): 469-471 (2008)
82EEMartin S. Feather, Steven L. Cornford, Kenneth A. Hicks, James D. Kiper, Tim Menzies: A Broad, Quantitative Model for Making Early Requirements Decisions. IEEE Software 25(2): 49-56 (2008)
81EETim Menzies, Markland Benson, Ken Costello, Christina Moats, Melissa Northey, Julian Richardson: Learning better IV&V practices. ISSE 4(2): 169-183 (2008)
2007
80EEJames H. Andrews, Felix Chun Hang Li, Tim Menzies: Nighthawk: a two-level genetic-random unit test data generator. ASE 2007: 144-153
79EETim Menzies, Oussama El-Rawas, Jairus Hihn, Martin S. Feather, Raymond J. Madachy, Barry W. Boehm: The business case for automated software engineering. ASE 2007: 303-312
78EETim Menzies, David Owen, Julian Richardson: The Strangest Thing About Software. IEEE Computer 40(1): 54-60 (2007)
77EETim Menzies, Jeremy Greenwald, Art Frank: Data Mining Static Code Attributes to Learn Defect Predictors. IEEE Trans. Software Eng. 33(1): 2-13 (2007)
76EETim Menzies, Alex Dekhtyar, Justin Distefano, Jeremy Greenwald: Problems with Precision: A Response to "Comments on 'Data Mining Static Code Attributes to Learn Defect Predictors'". IEEE Trans. Software Eng. 33(9): 637-640 (2007)
2006
75EEJimin 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
74EEMarcus S. Fisher, Tim Menzies: Learning IV&V Strategies. HICSS 2006
73EETim Menzies, Julian Richardson: Qualitative Modeling for Requirements Engineering. SEW 2006: 11-20
72EETim Menzies, Ying Hu: Just enough learning (of association rules): the TAR2 "Treatment" learner. Artif. Intell. Rev. 25(3): 211-229 (2006)
71EETim Menzies, Julian Richardson: Making Sense of Requirements, Sooner. IEEE Computer 39(10): 112-114 (2006)
70EETim Menzies, Jairus Hihn: Evidence-Based Cost Estimation for Better-Quality Software. IEEE Software 23(4): 64-66 (2006)
69EETim Menzies, Zhihao Chen, Jairus Hihn, Karen T. Lum: Selecting Best Practices for Effort Estimation. IEEE Trans. Software Eng. 32(11): 883-895 (2006)
2005
68EETim Menzies, Daniel Port, Zhihao Chen, Jairus Hihn: Specialization and extrapolation of software cost models. ASE 2005: 384-387
67EETim Menzies, Daniel Port, Zhihao Chen, Jairus Hihn, Sherry Stukes: Validation methods for calibrating software effort models. ICSE 2005: 587-595
66EEJelber Sayyad-Shirabad, Tim Menzies: Predictor models in software engineering (PROMISE). ICSE 2005: 692
65EEZhihao Chen, Tim Menzies, Daniel Port, Barry W. Boehm: Feature subset selection can improve software cost estimation accuracy. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
64EETim Menzies, Daniel Port, Zhihao Chen, Jairus Hihn: Simple software cost analysis: safe or unsafe? ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
63 Tim Menzies, Charles Pecheur: Verification and Validation and Artificial Intelligence. Advances in Computers 65: 154-203 (2005)
62EEZhihao Chen, Barry W. Boehm, Tim Menzies, Daniel Port: Finding the Right Data for Software Cost Modeling. IEEE Software 22(6): 38-46 (2005)
2004
61EETim Menzies, Justin S. Di Stefano: How Good Is Your Blind Spot Sampling Policy? HASE 2004: 129-138
2003
60EEMartin S. Feather, Tim Menzies, Judith R. Connelly: Matching Software Practitioner Needs to Researcher Activities. APSEC 2003: 6-16
59EEYan Liu, Srikanth Gururajan, Bojan Cukic, Tim Menzies, Marcello R. Napolitano: Validating an Online Adaptive System Using SVDD. ICTAI 2003: 384-
58EETim Menzies, Justin S. Di Stefano, Mike Chapman: Learning Early Lifecycle IV&V Quality Indicators. IEEE METRICS 2003: 88-97
57EETim Menzies, Justin S. Di Stefano, Kareem Ammar, Kenneth McGill, Pat Callis, Robert (Mike) Chapman, John Davis: When Can We Test Less? IEEE METRICS 2003: 98-
56EEMartin S. Feather, Tim Menzies, Judith R. Connelly: Relating Practitioner Needs to Research Activities. RE 2003: 352-
55 David Owen, Tim Menzies: Lurch: a Lightweight Alternative to Model Checking. SEKE 2003: 158-165
54 Tim Menzies, Robyn R. Lutz, Ines Carmen Mikulski: Better Analysis of Defect Data at NASA. SEKE 2003: 607-611
53 Tim Menzies, James D. Kiper, Martin S. Feather: Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools. SEKE 2003: 655-662
52EEDavid 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
51EEDustin Geletko, Tim Menzies: Model-Based Software Testing via Incremental Treatment Learning. SEW 2003: 82
50EETim Menzies, Ying Hu: Data Mining for Very Busy People. IEEE Computer 36(11): 22-29 (2003)
49EETim Menzies: Guest Editor's Introduction: 21st Century AI--Proud, Not Smug. IEEE Intelligent Systems 18(3): 18-24 (2003)
48EETim Menzies, Justin S. Di Stefano: More Success and Failure Factors in Software Reuse. IEEE Trans. Software Eng. 29(5): 474-477 (2003)
47EETim Menzies: Editorial: model-based requirements engineering. Requir. Eng. 8(4): 193-194 (2003)
2002
46EETim Menzies, Lindsay Mason: Some prolog macros for rule-based programming: why? how? ACM SIGPLAN Workshop on Rule-Based Programming 2002: 79-92
45EETim Menzies, David Raffo, Siri-on Setamanit, Ying Hu, Sina Tootoonia: Model-Based Tests of Truisms. ASE 2002: 183-
44EEDavid Owen, Tim Menzies, Bojan Cukic: What Makes Finite-State Models More (or Less) Testable? ASE 2002: 237-240
43EETim Menzies, Adrian R. Pearce, Clinton Heinze, Simon Goss: What Is an Agent and Why Should I Care? FAABS 2002: 1-14
42EETim Menzies, David Owen, Bojan Cukic: You Seem Friendly, But Can I Trust You? FAABS 2002: 208-219
41EEDavid 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
40EEYan Liu, Tim Menzies, Bojan Cukic: Data Sniffing - Monitoring of Machine Learning for Online Adaptive Systems. ICTAI 2002: 16-21
39EEJustin S. Di Stefano, Tim Menzies: Machine Learning for Software Engineering: Case Studies in Software Reuse. ICTAI 2002: 246-251
38EETim Menzies, David Owen, Bojan Cukic: Saturation Effects in Testing of Formal Models. ISSRE 2002: 15-26
37EEMartin S. Feather, Tim Menzies: Converging on the Optimal Attainment of Requirements. RE 2002: 263-272
36EETim Menzies, Robert F. Cohen, Sam Waugh, Simon Goss: Applications of Abduction: Testing Very Long Qualitative Simulations. IEEE Trans. Knowl. Data Eng. 14(6): 1362-1375 (2002)
35EEEliza Chiang, Tim Menzies: Simulations for very early lifecycle quality evaluations. Software Process: Improvement and Practice 7(3-4): 141-159 (2002)
2001
34EETim Menzies, James D. Kiper: Better Reasoning About Software Engineering Activities. ASE 2001: 391-394
33EETim Menzies, Harshinder Singh: How AI Can Help SE; or: Randomized Search Not Considered Harmful. Canadian Conference on AI 2001: 100-110
32 Tim Menzies, John D. Powell, Michael E. Houle: Fast Formal Analysis of Requirements via "Topoi Diagrams". ICSE 2001: 391-400
2000
31EETim Menzies, Erik Sinsel: Practical Large Scale What-If Queries: Case Studies with Software Risk Assessment. ASE 2000: 165-
30EETim Menzies, Bojan Cukic, Harshinder Singh: Agents Talking Faster. FAABS 2000: 194-208
29EETim Menzies: WISE3: the Third International Workshop on Intelligent Software Engineering (workshop session). ICSE 2000: 812-813
28EETim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell: Testing Nondeterminate Systems. ISSRE 2000: 222-233
27EETim Menzies: The Complexity of TRMCS-like Spiral Specification. IWSSD 2000: 183-190
26 Brian Drabble, Laurent Chaudron, Catherine Tessier, Sue Abu-Hakima, Steven Willmott, Jim Austin, Boi Faltings, Eugene C. Freuder, Gerhard Friedrich, Alex Alves Freitas, Ulises Cortés, Miquel Sànchez-Marrè, David W. Aha, Irma Becerra-Fernandez, Héctor Muñoz-Avila, Aditya Ghose, Tim Menzies, Ken Satoh, Mary Elaine Califf, Michael T. Cox, Sandip Sen, Patrick Brézillon, Jean-Charles Pomerol, Roy M. Turner, Elise H. Turner: Reports on the AAAI 1999 Workshop Program. AI Magazine 21(1): 95-100 (2000)
25EETim Menzies, Bojan Cukic: When to Test Less. IEEE Software 17(5): (2000)
24 Tim Menzies, Bojan Cukic: Adequacy of Limited Testing for Knowledge Based Systems. International Journal on Artificial Intelligence Tools 9(1): 153-172 (2000)
1999
23EETim Menzies, Bojan Cukic: On the Sufficiency of Limited Testing for Knowledge Based Systems. ICTAI 1999: 431-440
22EETim Menzies, Steve M. Easterbrook, Bashar Nuseibeh, Sam Waugh: An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering. RE 1999: 100-
21 Tim Menzies: Desert Island Column. Autom. Softw. Eng. 6(3): 315-320 (1999)
20EETim Menzies, Frank van Harmelen: Editorial: Evaluating knowledge engineering techniques. Int. J. Hum.-Comput. Stud. 51(4): 715-727 (1999)
19EETim Menzies: Critical success metrics: evaluation at the business level. Int. J. Hum.-Comput. Stud. 51(4): 783-799 (1999)
18EETim Menzies: Cost benefits of ontologies. Intelligence 10(3): 26-32 (1999)
1998
17EETim Menzies, Sam Waugh: Lower Bounds on the Size of Test Data Sets. Australian Joint Conference on Artificial Intelligence 1998: 227-237
16EESam Waugh, Brian Hanlon, Tim Menzies: The Temporal QCM Modelling Language. Australian Joint Conference on Artificial Intelligence 1998: 262-272
15EETim Menzies, Sam Waugh: On the Practicality of Viewpoint-Based Requirements Engineering. PRICAI 1998: 110-121
14EETim Menzies, William J. Clancey: Editorial: the challenge of situated cognition for symbolic knowledge-based systems. Int. J. Hum.-Comput. Stud. 49(6): 767-769 (1998)
13EETim Menzies: Towards situated knowledge acquisition. Int. J. Hum.-Comput. Stud. 49(6): 867-893 (1998)
1997
12EESam Waugh, Tim Menzies, Simon Goss: Evaluating a Qualitative Reasoner. Australian Joint Conference on Artificial Intelligence 1997: 505-514
11 Tim Menzies, Robert F. Cohen: A Graph Theoretic Optimisation of Temporal Abductive Validation. EUROVAV 1997: 55-68
10 Tim Menzies, Paul Compton: Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models. Artificial Intelligence in Medicine 10(2): 145-175 (1997)
9 Tim Menzies: Object-Oriented Patterns: Lessons from Expert Systems. Softw., Pract. Exper. 27(12): 1457-1478 (1997)
1996
8 Tim Menzies: On the Practicality of Abductive Validation. ECAI 1996: 23-27
7 Tim Menzies: Visual Programming, Knowledge Engineering, and Software Engineering. SEKE 1996: 506-513
1993
6 Tim Menzies, Richard Spurrett: How to Edit "It"; or: A "Black-box" Constraint-Based Framework for User-Interaction with Arbitrary Structures. TOOLS (12/9) 1993: 213-224
5 Tim Menzies, Julian M. Edwards, Kekwee Ng: The Mysterious Case of the Missing Reusable Class Libraries. TOOLS (12/9) 1993: 421-427
4 Philip Haynes, Tim Menzies: "C++ is Better Than Smalltalk"?? TOOLS (12/9) 1993: 75-82
1992
3 Tim Menzies: Is-a Object Part-of Knowledge Representation (Part 2). TOOLS (6) 1992: 213-223
1989
2 Tim Menzies: An Investigation of AI and Expert Systems Literature: 1980-1984. AI Magazine 10(2): 53-61 (1989)
1988
1EETim Menzies, M. Dean, J. L. Black, J. F. Fleming: Combining Heuristics and Simulation Models: An Expert System for the Optimal Management of Pigs. Australian Joint Conference on Artificial Intelligence 1988: 48-61

Coauthor Index

1Sue Abu-Hakima [26]
2David W. Aha [26]
3Kareem Ammar [57]
4James H. Andrews [80]
5Jim Austin (James Austin) [26]
6Daniel Baker [85]
7Tony Barrett [90]
8Irma Becerra-Fernandez [26]
9Ayse Basar Bener [88]
10Markland Benson [81]
11J. L. Black [1]
12Barry W. Boehm [62] [65] [79] [85] [94]
13Gary D. Boetticher [87]
14Patrick Brézillon [26]
15Mary Elaine Califf [26]
16Pat Callis [57]
17Mike Chapman [58]
18Robert (Mike) Chapman [57]
19Laurent Chaudron [26]
20Zhihao Chen [62] [64] [65] [67] [68] [69]
21Eliza Chiang [35]
22William J. Clancey [14]
23Robert F. Cohen [11] [36]
24Paul Compton [10]
25Judith R. Connelly [56] [60]
26Steven L. Cornford [82]
27Ulises Cortés [26]
28Ken Costello [81]
29Michael T. Cox [26]
30Bojan Cukic [23] [24] [25] [28] [30] [38] [40] [41] [42] [44] [59] [84] [89]
31John Davis [57]
32M. Dean [1]
33Alex Dekhtyar [76]
34Justin Distefano [76]
35Brian Drabble [26]
36Steve M. Easterbrook [22]
37Julian M. Edwards [5]
38Oussama El-Rawas [79] [85] [93]
39Letha H. Etzkorn [92]
40Boi Faltings [26]
41Martin S. Feather [37] [53] [56] [60] [79] [82]
42Marcus S. Fisher [74]
43J. F. Fleming [1]
44Art Frank [77]
45Alex Alves Freitas [26]
46Eugene C. Freuder [26]
47Gerhard Friedrich [26]
48Jimin Gao [52] [75]
49Dustin Geletko [51]
50Aditya K. Ghose (Aditya Ghose) [26]
51Simon Goss [12] [36] [43]
52Jeremy Greenwald [76] [77]
53Karen Gundy-Burlet [90]
54Srikanth Gururajan [59]
55Brian Hanlon [16]
56Frank van Harmelen [20]
57Philip Haynes [4]
58Mats Per Erik Heimdahl [52] [75]
59Clinton Heinze [43]
60Kenneth A. Hicks [82]
61Jairus Hihn [64] [67] [68] [69] [70] [79] [85] [94]
62Michael E. Houle [32]
63Ying Hu [45] [50] [72]
64Yue Jiang [84] [89]
65James D. Kiper [34] [53] [82]
66Felix Chun Hang Li [80]
67Yan Liu (Yan (Jenny) Liu) [40] [59]
68Karen T. Lum [69] [85]
69Robyn R. Lutz [54]
70Raymond J. Madachy [79] [85]
71Andrian Marcus [86]
72Lindsay Mason [46]
73Kenneth McGill [57]
74Ines Carmen Mikulski [54]
75Christina Moats [81]
76Hector Muñoz-Avila (Héctor Muñoz-Avila) [26]
77Marcello R. Napolitano [59]
78Kekwee Ng [5]
79Melissa Northey [81]
80Bashar Nuseibeh [22]
81Alexy Olkov [91]
82Andres S. Orrego [93]
83Thomas J. Ostrand [87]
84David Owen [38] [41] [42] [44] [52] [55] [75] [78]
85Corina S. Pasareanu [90]
86Adrian R. Pearce [43]
87Charles Pecheur [63]
88Jean-Charles Pomerol [26]
89Daniel Port (Daniel Noah Port) [62] [64] [65] [67] [68] [91]
90John D. Powell [28] [32]
91David Raffo (David M. Raffo) [45]
92Julian Richardson [71] [73] [78] [81]
93Günther Ruhe [87]
94Miquel Sànchez-Marrè [26]
95Ken Satoh [26]
96Jelber Sayyad-Shirabad [66]
97Johann Schumann [90]
98Sandip Sen [26]
99Siri-on Setamanit [45]
100Harshinder Singh [28] [30] [33]
101Erik Sinsel [31]
102Richard Spurrett [6]
103Justin S. Di Stefano [39] [48] [57] [58] [61]
104Sherry Stukes [67]
105Catherine Tessier [26]
106Sina Tootoonia [45]
107Burak Turhan [88]
108Elise H. Turner [26]
109Roy M. Turner [26]
110Sam Waugh [12] [15] [16] [17] [22] [36]
111Steve Williams [94]
112Steven Willmott [26]

Colors in the list of coauthors

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