The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steve M. Easterbrook: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sharon F. Lymer, WenQian Liu, Steve M. Easterbrook
    Experience in using business scenarios to assess COTS components in integrated solutions. [Citation Graph (0, 0)][DBLP]
    CASCON, 2005, pp:126-140 [Conf]
  2. Vidya Lakshminarayanan, WenQian Liu, Charles L. Chen, Steve M. Easterbrook, Dewayne E. Perry
    Software architects in practice: handling requirements. [Citation Graph (0, 0)][DBLP]
    CASCON, 2006, pp:329-332 [Conf]
  3. Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh
    Efficient Multiple-Valued Model-Checking Using Lattice Representations. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:441-455 [Conf]
  4. Bashar Nuseibeh, Steve M. Easterbrook
    The Process of Inconsistency Management: A Framework for Understanding. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1999, pp:364-368 [Conf]
  5. M.-M. Portman, Steve M. Easterbrook
    PMI: Knowledge Eliciation and De Bono's Thinking Tools. [Citation Graph (0, 0)][DBLP]
    EKAW, 1992, pp:264-282 [Conf]
  6. Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh
    Model-Checking over Multi-valued Logics. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:72-98 [Conf]
  7. Diego Del Gobbo, Bojan Cukic, Marcello R. Napolitano, Steve M. Easterbrook
    Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:231-238 [Conf]
  8. Steve M. Easterbrook
    Coordination breakdowns: why groupware is so difficult to design. [Citation Graph (0, 0)][DBLP]
    HICSS (4), 1995, pp:191-199 [Conf]
  9. Markus Strohmaier, Eric Yu, Jennifer Horkoff, Jorge Aranda, Steve M. Easterbrook
    Analyzing Knowledge Transfer Effectiveness--An Agent-Oriented Modeling Approach. [Citation Graph (0, 0)][DBLP]
    HICSS, 2007, pp:188- [Conf]
  10. Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann
    Validating Requirements for Fault Tolerant Systems using Model Checking. [Citation Graph (0, 0)][DBLP]
    ICRE, 1998, pp:4-13 [Conf]
  11. Steve M. Easterbrook
    Verification and Validation of Requirements for Mission Critical Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:673-674 [Conf]
  12. Steve M. Easterbrook, Marsha Chechik
    A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:411-420 [Conf]
  13. Steve M. Easterbrook, Marsha Chechik
    2nd International Workshop on Living with Inconsistency. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:749-750 [Conf]
  14. Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher Thompson-Walsh
    \chiChek: A Model Checker for Multi-Valued Reasoning. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:804-805 [Conf]
  15. Bashar Nuseibeh, Steve M. Easterbrook
    Requirements engineering: a roadmap. [Citation Graph (0, 0)][DBLP]
    ICSE - Future of SE Track, 2000, pp:35-46 [Conf]
  16. Dewayne E. Perry, Susan Elliott Sim, Steve M. Easterbrook
    Case Studies for Software Engineers. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:736-738 [Conf]
  17. Dewayne E. Perry, Susan Elliott Sim, Steve M. Easterbrook
    Case studies for software engineers. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1045-1046 [Conf]
  18. Susan Elliott Sim, Steve M. Easterbrook, Richard C. Holt
    Using Benchmarking to Advance Research: A Challenge to Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:74-83 [Conf]
  19. Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
    Matching and Merging of Statecharts Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:54-64 [Conf]
  20. Nan Niu, Steve M. Easterbrook, Mehrdad Sabetzadeh
    A Category-theoretic Approach to Syntactic Software Merging. [Citation Graph (0, 0)][DBLP]
    ICSM, 2005, pp:197-206 [Conf]
  21. Marsha Chechik, Steve M. Easterbrook, Benet Devereux
    Model Checking with Multi-Valued Temporal Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2001, pp:187-192 [Conf]
  22. Susan Elliott Sim, Richard C. Holt, Steve M. Easterbrook
    On Using a Benchmark to Evaluate C++ Extractors. [Citation Graph (0, 0)][DBLP]
    IWPC, 2002, pp:114-126 [Conf]
  23. Steve M. Easterbrook, Sebastián Uchitel
    Introduction to doctoral symposium. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:435- [Conf]
  24. Mehrdad Sabetzadeh, Steve M. Easterbrook
    Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:12-21 [Conf]
  25. Virginie Wiels, Steve M. Easterbrook
    Management of Evolving Specifications using Category Theory. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:12-21 [Conf]
  26. Tira Cohene, Steve M. Easterbrook
    Contextual Risk Analysis for Interview Design. [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:95-104 [Conf]
  27. Steve M. Easterbrook
    How Multi-Disciplinary Is RE (really)? Institute for Software Research. [Citation Graph (0, 0)][DBLP]
    RE, 1999, pp:33-0 [Conf]
  28. Steve M. Easterbrook, John R. Callahan
    Formal Methods for V&V of Partial Specifications: An Experience RSeport. [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:160-168 [Conf]
  29. Steve M. Easterbrook, Bashar Nuseibeh
    Managing inconsistencies in an evolving specification. [Citation Graph (0, 0)][DBLP]
    RE, 1995, pp:48-55 [Conf]
  30. Steve M. Easterbrook, Eric Yu, Jorge Aranda, Yuntian Fan, Jennifer Horkoff, Marcel Leica, Rifat Abdul Qadir
    Do Viewpoints Lead to Better Conceptual Models? An Exploratory Case Study. [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:199-208 [Conf]
  31. Sotirios Liaskos, Alexei Lapouchnian, Yiqiao Wang, Yijun Yu, Steve M. Easterbrook
    Configuring Common Personal Software: a Requirements-Driven Approach. [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:9-18 [Conf]
  32. 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]
  33. Mehrdad Sabetzadeh, Steve M. Easterbrook
    An Algebraic Framework for Merging Incomplete and Inconsistent Views. [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:306-318 [Conf]
  34. Mehrdad Sabetzadeh, Steve M. Easterbrook
    iVuBlender: A Tool for Merging Incomplete and Inconsistent Views. [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:453-454 [Conf]
  35. Virginie Wiels, Steve M. Easterbrook
    Formal Modeling of Space Shuttle Software Change Requests using SCR. [Citation Graph (0, 0)][DBLP]
    RE, 1999, pp:114-122 [Conf]
  36. Nan Niu, Steve M. Easterbrook
    Managing Terminological Interference in Goal Models with Repertory Grid. [Citation Graph (0, 0)][DBLP]
    RE, 2006, pp:296-299 [Conf]
  37. Jorge Aranda, Steve M. Easterbrook
    Anchoring and adjustment in software estimation. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:346-355 [Conf]
  38. Marsha Chechik, Benet Devereux, Steve M. Easterbrook
    Implementing a Multi-valued Symbolic Model Checker. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:404-419 [Conf]
  39. Nan Niu, Steve M. Easterbrook
    On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:115-117 [Conf]
  40. Steve M. Easterbrook, John R. Callahan
    Independent validation of specifications: a coordination headache. [Citation Graph (0, 0)][DBLP]
    WETICE, 1996, pp:232-237 [Conf]
  41. Dewayne E. Perry, Susan Elliott Sim, Steve M. Easterbrook
    Case Studies for Software Engineers. [Citation Graph (0, 0)][DBLP]
    SEW Tutorial Notes, 2005, pp:96-159 [Conf]
  42. Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo
    Leveraging Inconsistency in Software Development. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:4, pp:24-29 [Journal]
  43. Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook
    Data structures for symbolic multi-valued model-checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:3, pp:295-344 [Journal]
  44. Steve M. Easterbrook, John R. Callahan
    Formal methods for verification and validation of partial specifications: A case study. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1998, v:40, n:3, pp:199-210 [Journal]
  45. Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo
    Making inconsistency respectable in software development. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2001, v:58, n:2, pp:171-180 [Journal]
  46. Mehrdad Sabetzadeh, Steve M. Easterbrook
    View merging in the presence of incompleteness and inconsistency. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2006, v:11, n:3, pp:174-193 [Journal]
  47. Steve M. Easterbrook, Marsha Chechik
    Guest Editorial: Special Issue on Model Checking in Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2002, v:7, n:4, pp:221-224 [Journal]
  48. Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel
    Multi-valued symbolic model-checking. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:4, pp:371-408 [Journal]
  49. Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton
    Experiences Using Lightweight Formal Methods for Requirements Modeling. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:1, pp:4-14 [Journal]

  50. Concept analysis for product line requirements. [Citation Graph (, )][DBLP]


  51. Using Macromodels to Manage Collections of Related Models. [Citation Graph (, )][DBLP]


  52. Discovering the shared understanding dynamics of large software teams. [Citation Graph (, )][DBLP]


  53. On the difficulty of replicating human subjects studies in software engineering. [Citation Graph (, )][DBLP]


  54. Global consistency checking of distributed models with TReMer+. [Citation Graph (, )][DBLP]


  55. Socio-technical congruence (STC 2008). [Citation Graph (, )][DBLP]


  56. Eliciting Architectural Decisions from Requirements using a Rule-based Framework. [Citation Graph (, )][DBLP]


  57. 2nd international workshop on socio-technical congruence (STC 2009). [Citation Graph (, )][DBLP]


  58. Integrating sustainability in decision-making processes: A modelling strategy. [Citation Graph (, )][DBLP]


  59. Second International Workshop on Software Research and Climate Change. [Citation Graph (, )][DBLP]


  60. Exploiting COTS-Based RE Methods: An Experience Report. [Citation Graph (, )][DBLP]


  61. Empirical research methods for software engineering. [Citation Graph (, )][DBLP]


  62. Managing Models through Macromodeling. [Citation Graph (, )][DBLP]


  63. First international workshop on software research and climate change. [Citation Graph (, )][DBLP]


  64. Tracing and Validating Goal Aspects. [Citation Graph (, )][DBLP]


  65. Extracting and Modeling Product Line Functional Requirements. [Citation Graph (, )][DBLP]


  66. Consistency Checking of Conceptual Models via Model Merging. [Citation Graph (, )][DBLP]


  67. Requirements in the wild: How small companies do it. [Citation Graph (, )][DBLP]


  68. The Role of Visualization in the Naturalization of Remote Software Immigrants. [Citation Graph (, )][DBLP]


  69. On-Demand Cluster Analysis for Product Line Functional Requirements. [Citation Graph (, )][DBLP]


  70. Engineering Associations: From Models to Code and Back through Semantics. [Citation Graph (, )][DBLP]


  71. Can Patterns Improve i* Modeling? Two Exploratory Studies. [Citation Graph (, )][DBLP]


  72. An Eclipse-based tool framework for software model management. [Citation Graph (, )][DBLP]


  73. Guest Editors' Introduction. [Citation Graph (, )][DBLP]


  74. Code forking in open-source software: a requirements perspective [Citation Graph (, )][DBLP]


  75. Configuration Management for Large-Scale Scientific Computing at the UK Met Office. [Citation Graph (, )][DBLP]


  76. Engineering the Software for Understanding Climate Change. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
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