The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tim Menzies: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tim Menzies, Harshinder Singh
    How AI Can Help SE; or: Randomized Search Not Considered Harmful. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2001, pp:100-110 [Conf]
  2. Martin S. Feather, Tim Menzies, Judith R. Connelly
    Matching Software Practitioner Needs to Researcher Activities. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:6-16 [Conf]
  3. Tim Menzies, M. Dean, J. L. Black, J. F. Fleming
    Combining Heuristics and Simulation Models: An Expert System for the Optimal Management of Pigs. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1988, pp:48-61 [Conf]
  4. Tim Menzies, Sam Waugh
    Lower Bounds on the Size of Test Data Sets. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1998, pp:227-237 [Conf]
  5. Sam Waugh, Brian Hanlon, Tim Menzies
    The Temporal QCM Modelling Language. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1998, pp:262-272 [Conf]
  6. Sam Waugh, Tim Menzies, Simon Goss
    Evaluating a Qualitative Reasoner. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1997, pp:505-514 [Conf]
  7. Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies
    On the Distribution of Property Violations in Formal Models: An Initial Study. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:150-160 [Conf]
  8. Tim Menzies
    On the Practicality of Abductive Validation. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:23-27 [Conf]
  9. Tim Menzies, Robert F. Cohen
    A Graph Theoretic Optimisation of Temporal Abductive Validation. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:55-68 [Conf]
  10. Tim Menzies, Bojan Cukic, Harshinder Singh
    Agents Talking Faster. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:194-208 [Conf]
  11. Tim Menzies, David Owen, Bojan Cukic
    You Seem Friendly, But Can I Trust You? [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:208-219 [Conf]
  12. Tim Menzies, Adrian R. Pearce, Clinton Heinze, Simon Goss
    What Is an Agent and Why Should I Care? [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:1-14 [Conf]
  13. Tim Menzies, Justin S. Di Stefano
    How Good Is Your Blind Spot Sampling Policy? [Citation Graph (0, 0)][DBLP]
    HASE, 2004, pp:129-138 [Conf]
  14. David Owen, Bojan Cukic, Tim Menzies
    An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:119-128 [Conf]
  15. Marcus S. Fisher, Tim Menzies
    Learning IV&V Strategies. [Citation Graph (0, 0)][DBLP]
    HICSS, 2006, pp:- [Conf]
  16. Tim Menzies
    WISE3: the Third International Workshop on Intelligent Software Engineering (workshop session). [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:812-813 [Conf]
  17. Tim Menzies, Daniel Port, Zhihao Chen, Jairus Hihn, Sherry Stukes
    Validation methods for calibrating software effort models. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:587-595 [Conf]
  18. Tim Menzies, John Powell, Michael E. Houle
    Fast Formal Analysis of Requirements via "Topoi Diagrams". [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:391-400 [Conf]
  19. Jelber Sayyad-Shirabad, Tim Menzies
    Predictor models in software engineering (PROMISE). [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:692- [Conf]
  20. Yan Liu, Srikanth Gururajan, Bojan Cukic, Tim Menzies, Marcello R. Napolitano
    Validating an Online Adaptive System Using SVDD. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2003, pp:384-0 [Conf]
  21. Yan Liu, Tim Menzies, Bojan Cukic
    Data Sniffing - Monitoring of Machine Learning for Online Adaptive Systems. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2002, pp:16-21 [Conf]
  22. Tim Menzies, Bojan Cukic
    On the Sufficiency of Limited Testing for Knowledge Based Systems. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1999, pp:431-440 [Conf]
  23. Justin S. Di Stefano, Tim Menzies
    Machine Learning for Software Engineering: Case Studies in Software Reuse. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2002, pp:246-251 [Conf]
  24. Tim Menzies, Bojan Cukic, Harshinder Singh, John Powell
    Testing Nondeterminate Systems. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2000, pp:222-233 [Conf]
  25. Tim Menzies, David Owen, Bojan Cukic
    Saturation Effects in Testing of Formal Models. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2002, pp:15-26 [Conf]
  26. Tim Menzies
    The Complexity of TRMCS-like Spiral Specification. [Citation Graph (0, 0)][DBLP]
    IWSSD, 2000, pp:183-190 [Conf]
  27. Tim Menzies, James D. Kiper
    Better Reasoning About Software Engineering Activities. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:391-394 [Conf]
  28. Tim Menzies, Daniel Port, Zhihao Chen, Jairus Hihn
    Specialization and extrapolation of software cost models. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:384-387 [Conf]
  29. Tim Menzies, David Raffo, Siri-on Setamanit, Ying Hu, Sina Tootoonia
    Model-Based Tests of Truisms. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:183-0 [Conf]
  30. Tim Menzies, Erik Sinsel
    Practical Large Scale What-If Queries: Case Studies with Software Risk Assessment. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:165-0 [Conf]
  31. David Owen, Tim Menzies, Bojan Cukic
    What Makes Finite-State Models More (or Less) Testable? [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:237-240 [Conf]
  32. Tim Menzies, Justin S. Di Stefano, Kareem Ammar, Kenneth McGill, Pat Callis, Robert (Mike) Chapman, John Davis
    When Can We Test Less? [Citation Graph (0, 0)][DBLP]
    IEEE METRICS, 2003, pp:98-0 [Conf]
  33. Tim Menzies, Justin S. Di Stefano, Mike Chapman
    Learning Early Lifecycle IV&V Quality Indicators. [Citation Graph (0, 0)][DBLP]
    IEEE METRICS, 2003, pp:88-97 [Conf]
  34. Tim Menzies, Sam Waugh
    On the Practicality of Viewpoint-Based Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1998, pp:110-121 [Conf]
  35. Martin S. Feather, Tim Menzies
    Converging on the Optimal Attainment of Requirements. [Citation Graph (0, 0)][DBLP]
    RE, 2002, pp:263-272 [Conf]
  36. Martin S. Feather, Tim Menzies, Judith R. Connelly
    Relating Practitioner Needs to Research Activities. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:352-0 [Conf]
  37. Tim Menzies, Steve M. Easterbrook, Bashar Nuseibeh, Sam Waugh
    An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    RE, 1999, pp:100-0 [Conf]
  38. Tim Menzies, Lindsay Mason
    Some prolog macros for rule-based programming: why? how? [Citation Graph (0, 0)][DBLP]
    ACM SIGPLAN Workshop on Rule-Based Programming, 2002, pp:79-92 [Conf]
  39. Tim Menzies
    Visual Programming, Knowledge Engineering, and Software Engineering. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:506-513 [Conf]
  40. Tim Menzies, James D. Kiper, Martin S. Feather
    Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:655-662 [Conf]
  41. Tim Menzies, Robyn R. Lutz, Ines Carmen Mikulski
    Better Analysis of Defect Data at NASA. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:607-611 [Conf]
  42. David Owen, Tim Menzies
    Lurch: a Lightweight Alternative to Model Checking. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:158-165 [Conf]
  43. David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao
    On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. [Citation Graph (0, 0)][DBLP]
    SEW, 2003, pp:75- [Conf]
  44. Dustin Geletko, Tim Menzies
    Model-Based Software Testing via Incremental Treatment Learning. [Citation Graph (0, 0)][DBLP]
    SEW, 2003, pp:82- [Conf]
  45. Tim Menzies, Julian Richardson
    Qualitative Modeling for Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:11-20 [Conf]
  46. Philip Haynes, Tim Menzies
    "C++ is Better Than Smalltalk"?? [Citation Graph (0, 0)][DBLP]
    TOOLS (12/9), 1993, pp:75-82 [Conf]
  47. Tim Menzies, Julian M. Edwards, Kekwee Ng
    The Mysterious Case of the Missing Reusable Class Libraries. [Citation Graph (0, 0)][DBLP]
    TOOLS (12/9), 1993, pp:421-427 [Conf]
  48. Tim Menzies
    Is-a Object Part-of Knowledge Representation (Part 2). [Citation Graph (0, 0)][DBLP]
    TOOLS (6), 1992, pp:213-223 [Conf]
  49. Tim Menzies, Richard Spurrett
    How to Edit "It"; or: A "Black-box" Constraint-Based Framework for User-Interaction with Arbitrary Structures. [Citation Graph (0, 0)][DBLP]
    TOOLS (12/9), 1993, pp:213-224 [Conf]
  50. Tim Menzies, Charles Pecheur
    Verification and Validation and Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 2005, v:65, n:, pp:154-203 [Journal]
  51. 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 Cox, Sandip Sen, Patrick Brézillon, Jean-Charles Pomerol, Roy M. Turner, Elise H. Turner
    Reports on the AAAI 1999 Workshop Program. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2000, v:21, n:1, pp:95-100 [Journal]
  52. Tim Menzies
    An Investigation of AI and Expert Systems Literature: 1980-1984. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 1989, v:10, n:2, pp:53-61 [Journal]
  53. Tim Menzies, Paul Compton
    Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 1997, v:10, n:2, pp:145-175 [Journal]
  54. Tim Menzies
    Desert Island Column. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:3, pp:315-320 [Journal]
  55. Tim Menzies, Ying Hu
    Data Mining for Very Busy People. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2003, v:36, n:11, pp:22-29 [Journal]
  56. Tim Menzies, Julian Richardson
    Making Sense of Requirements, Sooner. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:10, pp:112-114 [Journal]
  57. Tim Menzies
    Guest Editor's Introduction: 21st Century AI--Proud, Not Smug. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2003, v:18, n:3, pp:18-24 [Journal]
  58. Tim Menzies, Bojan Cukic
    Adequacy of Limited Testing for Knowledge Based Systems. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2000, v:9, n:1, pp:153-172 [Journal]
  59. Tim Menzies
    Towards situated knowledge acquisition. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1998, v:49, n:6, pp:867-893 [Journal]
  60. Tim Menzies
    Critical success metrics: evaluation at the business level. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1999, v:51, n:4, pp:783-799 [Journal]
  61. Tim Menzies, William J. Clancey
    Editorial: the challenge of situated cognition for symbolic knowledge-based systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1998, v:49, n:6, pp:767-769 [Journal]
  62. Tim Menzies, Frank van Harmelen
    Editorial: Evaluating knowledge engineering techniques. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1999, v:51, n:4, pp:715-727 [Journal]
  63. Tim Menzies
    Editorial: model-based requirements engineering. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2003, v:8, n:4, pp:193-194 [Journal]
  64. Tim Menzies
    Cost benefits of ontologies. [Citation Graph (0, 0)][DBLP]
    Intelligence, 1999, v:10, n:3, pp:26-32 [Journal]
  65. Zhihao Chen, Barry W. Boehm, Tim Menzies, Daniel Port
    Finding the Right Data for Software Cost Modeling. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2005, v:22, n:6, pp:38-46 [Journal]
  66. Tim Menzies, Bojan Cukic
    When to Test Less. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2000, v:17, n:5, pp:- [Journal]
  67. Eliza Chiang, Tim Menzies
    Simulations for very early lifecycle quality evaluations. [Citation Graph (0, 0)][DBLP]
    Software Process: Improvement and Practice, 2002, v:7, n:3-4, pp:141-159 [Journal]
  68. Tim Menzies
    Object-Oriented Patterns: Lessons from Expert Systems. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1997, v:27, n:12, pp:1457-1478 [Journal]
  69. Tim Menzies, Robert F. Cohen, Sam Waugh, Simon Goss
    Applications of Abduction: Testing Very Long Qualitative Simulations. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2002, v:14, n:6, pp:1362-1375 [Journal]
  70. Tim Menzies, Justin S. Di Stefano
    More Success and Failure Factors in Software Reuse. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:5, pp:474-477 [Journal]
  71. Tim Menzies, Zhihao Chen, Jairus Hihn, Karen T. Lum
    Selecting Best Practices for Effort Estimation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:11, pp:883-895 [Journal]
  72. Tim Menzies, Jeremy Greenwald, Art Frank
    Data Mining Static Code Attributes to Learn Defect Predictors. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2007, v:33, n:1, pp:2-13 [Journal]
  73. Tim Menzies, Alex Dekhtyar, Justin Distefano, Jeremy Greenwald
    Problems with Precision: A Response to "Comments on 'Data Mining Static Code Attributes to Learn Defect Predictors'". [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2007, v:33, n:9, pp:637-640 [Journal]

  74. Data mining with software industry project data: A case study. [Citation Graph (, )][DBLP]


  75. 4th international workshop on predictor models in SE (PROMISE 2008). [Citation Graph (, )][DBLP]


  76. How to avoid drastic software process change (using stochastic stability). [Citation Graph (, )][DBLP]


  77. Automated severity assessment of software defect reports. [Citation Graph (, )][DBLP]


  78. On the use of relevance feedback in IR-based concept location. [Citation Graph (, )][DBLP]


  79. Accurate Estimates without Calibration?. [Citation Graph (, )][DBLP]


  80. On the Relative Merits of Software Reuse. [Citation Graph (, )][DBLP]


  81. Cost Curve Evaluation of Fault Prediction Models. [Citation Graph (, )][DBLP]


  82. Fault Prediction using Early Lifecycle Data. [Citation Graph (, )][DBLP]


  83. Variance Analysis in Software Fault Prediction Models. [Citation Graph (, )][DBLP]


  84. Nearest neighbor sampling for cross company defect predictors: abstract only. [Citation Graph (, )][DBLP]


  85. Can data transformation help in the detection of fault-prone modules? [Citation Graph (, )][DBLP]


  86. Is Continuous Compliance Assurance Possible?. [Citation Graph (, )][DBLP]


  87. The business case for automated software engineering. [Citation Graph (, )][DBLP]


  88. Using Simulation to Investigate Requirements Prioritization Strategies. [Citation Graph (, )][DBLP]


  89. Nighthawk: a two-level genetic-random unit test data generator. [Citation Graph (, )][DBLP]


  90. Tool Support for Parametric Analysis of Large Software Simulation Systems. [Citation Graph (, )][DBLP]


  91. Understanding the Value of Software Engineering Technologies. [Citation Graph (, )][DBLP]


  92. Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development. [Citation Graph (, )][DBLP]


  93. Text mining in supporting software systems risk assurance. [Citation Graph (, )][DBLP]


  94. When to use data from other projects for effort estimation. [Citation Graph (, )][DBLP]


  95. Regularities in Learning Defect Predictors. [Citation Graph (, )][DBLP]


  96. Just enough learning (of association rules): the TAR2 "Treatment" learner. [Citation Graph (, )][DBLP]


  97. The Strangest Thing About Software. [Citation Graph (, )][DBLP]


Search in 0.101secs, Finished in 0.108secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002