Erdös number: 4 (me -> A. Finkelstein -> D. Gabbay -> S. Shelah -> P. Erdös)
2022
- Yu, W., Chen, W., Yin, S., Easterbrook, S. M., & Garg, A. (2022) Modular Action Concept Grounding in Semantic Video Prediction. Proceedings, IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), New Orleans, June 19-24, 2022
2021
2020
- Williams, J., Fox, M., & Easterbrook, S. (2020). A constraint-Based Decision Support System for Capacity Planning in Interdependent Evolving Urban Systems. In R. Lastman (Ed.), AMPS Proceedings Series 19.1. The City and Complexity – Life, Design and Commerce in the Built Environment, p301-313. London: AMPS.
- Matsuoka, D., Watanabe, S., Sato, K., Kawazoe, S., Yu, W., & Easterbrook, S. M. (2020). Application of Deep Learning to Estimate Atmospheric Gravity Wave Parameters in Reanalysis Data Sets. Geophysical Research Letters, 47(19).
- Yu, W., Lu, Y., Easterbrook, S. M., Fidler, S. (2020) Efficient and Information-Preserving Future Frame Prediction and Beyond. Eighth International Conference on Learning Representations, Addis Ababa, Ethopia, April 26-30, 2020.
- Patitsas, E., Berlin, J., Craig, M., and Easterbrook, S. M. (2020) Evidence that computer science grades are not bimodal, Communications of the ACM, Volume 63, Issue 1, January 2020
2019
- Sabie, D., Sabie, S., Dedeoglu C. E., Rohanifar, Y., Hashim, F., Easterbrook, S. M, Ahmed, S. I. (2019) Exile Within Borders:
Understanding the Limits of the Internally Displaced People (IDPs) in Iraq. Proceedings, Fifth ACM International Workshop on Computing within Limits (Limits’19). June 10-11 2019, Lappeenranta, Finland
2018
- Mouatadid, S. and Easterbrook, S. M. (2018) Life at the edge: accelerators and obstacles to emerging ML-enabled research fields. Proceedings, Workshop on Critiquing and Correcting Trends in Machine Learning. At the Thirty-second Conference on Neural Information Processing Systems (NeurIPS'2018) December 7, 2018, Montréal, Canada.
- Penzenstadler, B., Duboc, L., Venters, C., Betz, S., Seyff, N., Wnuk, K., Chitchyan, R, Easterbrook, S. M., Becker, C. (2018). Software Engineering for Sustainability: Find the Leverage Points! IEEE Software, Volume: 35, Issue: 4, July/August 2018.
2017
- Christodoulakis, C., Asgarian, A., Easterbrook, S. M. (2017) Barriers to Adoption of Information Technology in Healthcare. 27th Annual International Conference on Computer Science and Software Engineering (CASCON 2017), Markham, Ontario, Nov 6-8, 2017.
- Mouatadid, S., Easterbrook, S. M., and Erler, A. (2017). A machine learning approach to non-uniform spatial downscaling of climate variables. Seventh Workshop on Data Mining in Earth System Science (DMESS 2017) at the IEEE International Conference on Data Mining (ICDM 2017), New Orleans, Nov 18-21, 2017.
- Mouatadid, S., Easterbrook, S. M., and Erler, A. (2017) Non-uniform spatial downscaling of climate variables. 7th International Workshop on Climate Informatics (CI’2017). Boulder, CO, Sept 20-22, 2017.
- Sabie, S, Chen, J, Abouzied, A, Hashim, F., Kahlon, H, & Easterbrook, S. M. (2017) Shelter Dynamics in Refugee and IDP Camps: Customization; Permanency; and Opportunities. In Third ACM Workshop on Computing within Limits (Limits’17), June 22-24, Santa Barbara, USA.
- Sabie, S. Easterbrook, S. M., Munteanu, C., Singh, K., St-Cyr, O., Hashim, F. (2017) Participatory Shelter Design for Displaced Populace: Reflections from a User Study. ACM SIGCHI Symposium on HCI Across Borders, 2017. May 6-7, Denver, CO, USA
2016
- Salman, M., Sabie, S., Easterbrook, S. M., & Abate, J. (2016). Sustainable and Smart: Rethinking What a Smart Home Is. In Fourth International Conference on ICT for Sustainability (ICT4S’2016), Aug 29 – Sept 1 2016, Amsterdam, NL. (Best Paper Award)
- Sabet, M., & Easterbrook, S. M. (2016). Homeowners as Engaged Participants: Determining information needs to maximize the environmental benefit of green renovations. In Fourth International Conference on ICT for Sustainability (ICT4S’2016), Aug 29 – Sept 1 2016, Amsterdam, NL.
- Patitsas, E., Berlin, J., Craig, M., & Easterbrook, S. M. (2016). Evidence That Computer Science Grades Are Not Bimodal. In 12th ACM International Computing Education Research conference (ICER’2016), September 8-12, 2016, Melbourne, Australia. ACM Press.
- Patitsas, E., Craig, M., & Easterbrook, S. M. (2016). How CS departments are managing the enrolment boom: Troubling implications for diversity (extended abstract). In IEEE International Conference on Research on Equity and Sustained Participation in Engineering, Computing, and Technology (RESPECT), August 11-13, 2016, Atlanta, USA.
- Sabie, S., Salman, M., and Easterbrook, S. M. (2016) Situating shelter design and provision in ICT discourse for scarce-resource contexts. In Proceedings of the Second ACM Workshop on Computing within Limits (LIMITS '16), Irvine, CA, USA, June 9-10, 2016.
- Becker, C., Betz, S., Chitchyan, R., Duboc, L., Easterbrook, S. M., Penzenstadler, B., Norbet, S., and Venters, C. C. (2016). Requirements: The Key to Sustainability. IEEE Software, 33(1), 56–65. doi:10.1109/MS.2015.158
2015
- Patitsas, E., Craig, M., & Easterbrook, S. M. (2015). Scaling up Women in Computing Initiatives: What Can We Learn from a Public Policy Perspective? In 11th ACM International Computing Education Research (ICER’15) Conference (pp. 61–69).
- Betz, S., Becker, C., Chitchyan, R., Duboc, L., Easterbrook, S. M., Penzenstadler, B., … Venters, C. C. (2015). Sustainability Debt : A Metaphor to Support Sustainability Design Decisions. In Fourth International Workshop on Requirements Engineering for Sustainable Systems at the 23rd IEEE International Requirements Engineering Conference (RE 2015), Ottawa, Canada, Aug 24, 2015.
- Sabet, M., & Easterbrook, S. (2015). Engaging End Users in Green Building Design Software. In Fourth International Workshop on Requirements Engineering for Sustainable Systems at the 23rd IEEE International Requirements Engineering Conference (RE 2015), Ottawa, Canada, Aug 24, 2015. IEEE Computer Society Press.
- Alexander, K. and Easterbrook, S. M.: The software architecture of climate models: a graphical comparison of CMIP5 and EMICAR5 configurations, Geosci. Model Dev., 8, 1221-1232, doi:10.5194/gmd-8-1221-2015, 2015.
- Becker, C., Chitchyan, R., Duboc, L., Easterbrook, S. M., Penzenstadler, B., Seyff, N., Venters, C., (2015) Sustainability Design and Software: The Karlskrona Manifesto. Proceedings, 37th ACM/IEEE International Conference on Software Engineering, Florence, Italy, 16-24 May, 2015.
2014
- Becker, C., Chitchyan, R., Duboc, L., Easterbrook, S. M., Mahaux, M., Penzenstadler, B., Rodriguez-Navas, G., Salinesi, C., Seyff, N., Venters, C., Calero, C., Kocak, S. A., Betz, S., (2014) The Karlskrona manifesto for sustainability design. Technical Report. arXiv:1410.6968 [cs.SE]
- S. M. Easterbrook (2014). Open code for open science? Nature Geoscience, 7(11), 779–781.
- S. M. Easterbrook, "From Computational Thinking to Systems Thinking: A conceptual toolkit for sustainability computing". Proceedings, Second International Conference on ICT for Sustainability (ICT4S 2014), Stockholm, Sweden, August 24-27, 2014
- E. Patitsas, M. Craig, S. M. Easterbrook, "A Historical Examination of the Social Factors Affecting Female Participation in Computing" 19th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2014), Uppsala, Sweden, June 23-25, 2014.
- Willett, K., Williams, C., Jolliffe, I. T., Lund, R., Alexander, L. V., Brönnimann, S., Vincent, L. A., Easterbrook, S., Venema, V. K. C., Berry, D., Warren, R. E., Lopardo, G., Auchmann, R., Aguilar, E., Menne, M. J., Gallagher, C., Hausfather, Z., Thorarinsdottir, T., and Thorne, P. W.: A framework for benchmarking of homogenisation algorithm performance on the global scale, Geosci. Instrum. Method. Data Syst., 3, 187-200, 2014.
- S. Nalchigar, E. Yu, and S. M. Easterbrook, Towards Actionable Business Intelligence: Can System Dynamics Help? Proceedings, 7th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling, Manchester, UK, 12-13 Nov 2014.
- Y. Li, C. Liang, S. M. Easterbrook, and Z. Zhang "Investigating functional implication of reinforcing feedback loops in transcriptional regulatory network". Molecular Biosystems. 2014 Dec;10(12):3238-48
2013
- E. Patitsas, M. Craig, S. M. Easterbrook, “On the Countably Many Misconceptions about #Hashtables”. Poster abstract, SIGCSE 2013, Denver, Colorado, USA, February 2013.
- E. Patitsas, M. Craig, S. M. Easterbrook, "Comparing and Contrasting Different Algorithms Leads to Increased Student Learning". Ninth International Computing Education Research Workshop (ICER 2013), LaJolla, CA, USA, 12-14 August 2013.
2012
- J. Lung and S. M. Easterbrook (2012). Augmenting Flow Diagrams Created by End-user Programs. In IEEE Symposium on Visual Languages and Human-Centric Computing, Innsbruck, Austria, Sept 30 - Oct 4 2012, pp. 175–178.
- J. Pipitone and S. M. Easterbrook, "Assessing climate model software quality: a defect density analysis of three models", Journal of Geoscientific Model Development (GMD), Vol 5, No 4, Pp 1009-1022. Aug 2012
- J. Lung and S. M. Easterbrook, "Inflo: Collaborative reasoning with open calculation graphs". Proceedings, ACM International Conference on Computer Supported Cooperative Work (CSCW'2012), Seattle, Washington, USA, February 11-15, 2012.
- S. Nejati, M. Sabetzadeh, M. Chechik, S. M. Easterbrook, and P. Zave, "Matching and Merging of Variant Feature Specifications", IEEE Transactions on Software Engineering, Vol 38, No 6 , Pp 1355- 1375. Dec 2012
- A. M. Grubb and S. M. Easterbrook, "The Road to Farming Software is Paved with Good Intentions". Workshop on Learning from Marginalized Users: Reciprocity in HCI4D. At the 2012 ACM Conference on Computer Supported Cooperative Work (CSCW'2012), Seattle, Washington, Feb 11-15, 2012.
2011
- S. M. Easterbrook, P. N. Edwards,V. Balaji, R. Budich. "Guest Editors’ Introduction: Climate Change - Science and Software". IEEE Software. 2011;28(6):32-35. (See the other papers in this special issue here).
- J. Lung and S. M. Easterbrook "A first look at end-user visual computation supporting sharing & reuse with Inflo". IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC2011), Pittsburgh, USA, September 18-22, 2011.
- A. Grubb and S. M. Easterbrook, "On the Lack of Consensus over the Meaning of Openness: an Empirical Study". PLoS ONE, Vol 6, No 8, e23420.
- S. M. Easterbrook, "Code Design and Quality Control". In L. Bonaventura, R. Redler, and R. Budich, "Earth System Modeling Vol 2: Algorithms, Code Infrastructure and Optimization", Springer Briefs in Earth System Sciences,
2010
- S. M. Easterbrook, Climate Change: A Software Grand Challenge. FSE/SDP Workshop on the Future of Software Engineering Research, Santa Fe, Nov 7-8, 2010.
- Easterbrook, S. M., Mens, K., & Zschaler, S. (2010). Second International Workshop on Software Research and Climate Change. In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE ’10 (Vol. 2, p. 449). New York, New York, USA: ACM Press. (Note: Workshop Proceedings Available Here)
- M. Sabetzadeh, S. Nejati, M. Chechik, and S. M. Easterbrook “Reasoning About Consistency in Model Merging”. Proceedings, Third IEEE Workshop on Living with Inconsistency in Software Development (LWI’2010) at the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE’2010), Antwerp, Belgium, 20-24 September 2010, pages 32-38.
- N. A. Ernst, S. Easterbrook, J. Mylopoulos, Code forking in open-source software: a requirements perspective. arXiv:1004.2889
2009
- S. M. Easterbrook and T. Johns, Engineering
the Software for Understanding Climate Change. IEEE Computing in Science and Engineering, Vol 11 (6), pp65-74. November 2009.
- R. Salay, J. Mylopoulos and S. M. Easterbrook, “Using Macromodels to Manage Collections of Related Models” 21st International Conference on Advanced Information Systems Engineering, Amsterdam, The Netherlands, Pp141-155, June 8-12, 2009.
- J. Cabot, S. M. Easterbrook, J. Horkoff, J Mazon, L. Lessard, S. Liaskos, “Integrating Sustainability into the Decision-Making Process: A Modeling Strategy”, New Ideas and Emerging Results track, 31st IEEE/ACM International Conference on Software Engineering, Vancouver, Canada, May 16-24, 2009.
- N. Niu and S. M. Easterbrook. “Concept Analysis for Product Line Requirements” 8th International Conference on Aspect-Oriented Software Development, Charlottesville, Virginia, March 2-6, 2009.
- L. Mei and S. M. Easterbrook, “Capturing and Modeling Human Cognition for Context-Aware Software”, Short Paper, 9th International Conference on Cognitive Modeling, Manchester, UK, 24th-26th July 2009.
- M. Chechik, W. Lai, S. Nejati, J. Cabot, Z. Diskin, S. M. Easterbrook, M. Sabetzadeh, and R. Salay, “Relationship-Based Change Propagation: A Case Study”, Workshop on Modeling in Software Engineering (MiSE), at the 31st IEEE/ACM International Conference on Software Engineering, Vancouver, Canada, May 16-24, 2009.
2008
- Lung, J., Aranda, J., Easterbrook, S. M. and Wilson, G. V., On
the Difficulty of Replicating Human Subjects Studies in Software Engineering.
30th ACM/IEEE International Conference on Software Engineering (ICSE'2008),
Leipzig, Germany, May 10-18, 2008.
- D. Matthews, G. V. Wilson and S. M. Easterbrook, Configuration
Management for Large-Scale Scientific Computing at the UK Met Office. IEEE Computing in Science and Engineering Vol 10 (6), pp56-64, November 2008
- N. Niu and S. M. Easterbrook, On-Demand Cluster Analysis for Product Line
Functional Requirements. 12th International Software Product Line Conference
(SPLC 2008), Limerick, Ireland, 8-13 September 2008.
- N. Niu and S. M. Easterbrook, (2008) Extracting and Modeling Product Line Functional
Requirements. 16th IEEE International Requirements Engineering conference
(RE’08), Barcelona, Spain, 8-12 September 2008.
- Z. Diskin, S. M. Easterbrook and J. Dingel, Engineering
Associations: From Models to Code and Back through Semantics. TOOLS EUROPE
2008, Zurich, Switzerland, 30 June - 4 July 2008.
- R. Salay, J. Mylopoulos, and S. M. Easterbrook, Managing Models through Macromodeling (short paper). 23rd IEEE/ACM International Conference on Automated Software Engineering. L’Aquila, Italy, Sept 25-19, 2008.
- M. Strohmaier, J. Horkoff, E. Yu, J. Aranda and S. M. Easterbrook, Can Patterns improve i* Modeling? Two Exploratory Studies. 14th International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ’08), Montpellier, France, 16-17 June 2008.
- J. Aranda, S. M. Easterbrook and G. V. Wilson, Observations on Conway's Law in Scientific Computing. International Workshop on Socio-Technical Congruence (STC 2008), at the 30th ACM/IEEE International Conference on Software Engineering (ICSE'2008), Leipzig Germany, May 10, 2008.
- J. Rubin, M. Chechik, and S. M. Easterbrook. Declarative Approach for Model Composition. 2nd International workshop on Modeling in Software Engineering (MiSE’08), at the 30th ACM/IEEE International Conference on Software Engineering (ICSE'2008), Leipzig Germany, May 10-11, 2008.
- M. Sabetzadeh, S. Nejati, S. M. Easterbrook and M. Chechik, Global Consistency Checking of Distributed Models with TReMer+
Formal Tool Demo Paper, 30th ACM/IEEE International Conference on Software Engineering (ICSE'2008), Leipzig, Germany, May 10-18, 2008
2007
- Easterbrook, S. M., Singer, J., Storey, M, and Damian, D. Selecting
Empirical Methods for Software Engineering Research. Appears in F. Shull
and J. Singer (eds) "Guide
to Advanced Empirical Software Engineering",
Springer, 2007.
- Aranda, J., Khuwaja, R. and Easterbrook, S. M. Discovering
the Shared Understanding Dynamics of Large Software Teams. 17th International
Conference of the IBM Centers for Advanced Studies (CASCON'07), Toronto,
Canada, 22-25 Oct 2007.
- N. Niu, S. M. Easterbrook, and Y. Yu. A Taxonomy
of Requirements Aspects. 10th International Workshop On Early Aspects
at the 6th International Conference on Aspect-Oriented Software Development
(AOSD'07), Vancouver, Canada, March 12-16, 2007
- N. Niu, and S. M. Easterbrook, So,
You Think You Know Others' Goals? A Repertory Grid Study. IEEE Software,
Vol 24, No 2, pp53-61, March/April 2007.
- S. Nejati, M. Sabetzadeh, M. Chechik, S. M. Easterbrook, and P. Zave. Matching
and Merging of Statecharts Specifications. In proceedings of the 29th
International Conference on Software Engineering (ICSE'07), Minneapolis,
USA, 21-25 May 2007.
- M. Sabetzadeh, S. Nejati, S. M. Easterbrook and M. Chechik. A
Relationship-Driven Framework for Model Merging. International Workshop
on Modeling in Software Engineering (MiSE-07). at the 29th International
Conference on Software Engineering (ICSE'07), Minneapolis, USA, 19-20 May
2007.
- J. Aranda, N. Ernst, J. Horkoff, and S. M. Easterbrook. A
Framework for Empirical Evaluation of Model Comprehensibility. International
Workshop on Modeling in Software Engineering (MiSE-07). at the 29th International
Conference on Software Engineering (ICSE'07), Minneapolis, USA, 19-20 May
2007.
- L. Mei and S. M.Easterbrook. Evaluating User-centric Adaptation with Goal
Models. International Workshop on Software Engineering for Pervasive Computing
Applications, Systems and Environments (SEPCASE 2007), at the 29th International
Conference on Software Engineering (ICSE'07), Minneapolis, USA, 26 May 2007.
- Strohmaier, M. S., Yu, E. Y., Horkoff, J. H., Aranda, J. A., & Easterbrook, S. E. (2007). Analyzing Knowledge Transfer Effectiveness--An Agent-Oriented Modeling Approach. 40th Annual Hawaii International Conference on System Sciences (HICSS’07), 1–10. 2007. doi:10.1109/HICSS.2007.80
- J. Aranda, S. M. Easterbrook, and G. Wilson. Requirements
in the wild: How small companies do it. Proceedings of the
15th IEEE International Requirements Engineering Conference (RE'07), Delhi,
India, 15-19 October 2007..
- M. Sabetzadeh, S. Nejati, S. Liaskos, S. M. Easterbrook and M. Chechik.
Consistency Checking of Conceptual Models
via Model Merging. Proceedings of the 15th IEEE International
Requirements Engineering Conference (RE'07), Delhi, India, 15-19 October 2007.
- N. Niu and S. M. Easterbrook, Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach. Transactions on Aspect-Oriented Software Development. Vol 3, pp 40-72. Lecture Notes in computer Science LNCS 4620/2007. Springer. November 2007.
2006
- J. Aranda and S. M. Easterbrook, Distributed
Cognition in Software Engineering: Can it be made to work? Workshop on
Supporting the Social Side of Large-Scale Software Development, at the International
Conference on Computer Supported Cooperative Work (CSCW'06), Banff, Canada,
Nov 4, 2006.
- M. Sabetzadeh, S. Nejati, S. M. Easterbrook, M. Chechik, A
Relationship-Driven Approach to View Merging. Poster presented at the
14th ACM SIGSOFT Symposium on the Foundations of Software Engineering
(FSE'06), Portland, Oregon, Nov 5-11, 2006.
- V. Lakshminarayanan, W. Liu, C. L. Chen, S. M. Easterbrook and D. E. Perry,
Software Architects in Practice: Handling
Requirements.16th International Conference of the IBM Centers for
Advanced Studies (CASCON'06), Toronto, Canada, 16-19 Oct 2006.
- M. Chechik, A. Gurfinkel, B. Devereux, A. Lai and S. M. Easterbrook,
Data structures for
symbolic multi-valued model-checking. Formal Methods in System Design,
vol 29, no 3, pp295-344, Nov 2006.
- M. Sabetzadeh and S. M. Easterbrook. View
Merging in the presence of incompleteness and inconsistency. Requirements
Engineering Journal, vol 11, pp174-193. 2006.
- N. Niu and S. M. Easterbrook. Managing
Terminological Interference in Goal Models with Repertory Grid (Short
Paper). 14th IEEE International Requirements Engineering Conference (RE’06),
Minneapolis, USA, Sep 11-15, 2006.
- N. Niu and S. M. Easterbrook, Discovering Aspects
in Requirements with Repertory Grid. Workshop on Early Aspects, at the
28th International Conference on Software Engineering, Shanghai,
China, 20-28 May 2006.
- G. Brunet, M. Chechik, S. M. Easterbrook, S. Nejati, N. Niu, M. Sabetzadeh,
A Manifesto for Model Merging. Workshop
on Global Integrated Model Management (GaMMa'06) at the 28th International
Conference on Software Engineering, Shanghai, China, 20-28 May 2006.
2005
- J. Aranda and S. M. Easterbrook, "Anchoring
and Adjustment in Software Estimation". European Software
Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software
Engineering (ESEC/FSE'05), Lisbon, Portugal, Sept 5-9, 2005.
- N. Niu, S. M. Easterbrook and M. Sabetzadeh, "A
Category-Theoretic Approach to Syntactic Software Merging". 21st IEEE International Conference on Software Maintenance (ICSM'05), Budapest,
Hungary, Sept 25-30, 2005.
- S. M. Easterbrook, E. Yu, J. Aranda, Y. Fan, J. Horkoff, M. Leica, and R.
A. Qadir. Do Viewpoints Lead to Better
Conceptual Models? An Exploratory Case Study. 13th IEEE International
Requirements Engineering Conference (RE’05), Paris, France, Aug 29 –
Sep 2 2005.
- S. Liaskos, A. Lapouchnian, Y.Wang Y. Yu, and S. M. Easterbrook. Configuring
Common Personal Software: a Requirements-Driven Approach. 13th IEEE International Requirements Engineering Conference (RE’05),
Paris, France, Aug 29 – Sep 2 2005.
- M. Sabetzadeh and S. M. Easterbrook. An
Algebraic Framework for Merging Incomplete and Inconsistent Views. 13th IEEE International Requirements Engineering Conference (RE’05),
Paris, France, Aug 29 – Sep 2 2005.
- T. Cohene and S. M. Easterbrook. Contextual
Risk Analysis for Interview Design. 13th IEEE International
Requirements Engineering Conference (RE’05), Paris, France, Aug 29 –
Sep 2 2005.
- M. Sabetzadeh and S. M. Easterbrook.
iVuBlender: A Tool for Merging Incomplete and Inconsistent Views - Tool Demo
Paper. 13th IEEE International Requirements Engineering Conference
(RE’05), Paris, France, Aug 29 – Sep 2 2005.
- W. Liu, S. Lymer and S. M. Easterbrook. Using
Business Scenarios to Surface Requirements for COTS Products 15th International Conference of the IBM Centers for Advanced Studies (CASCON'05),
Toronto, Canada, 17-20 Oct 2005.
2004
- S. M. Easterbrook, "What is Requirements
Engineering?" (Draft book chapter)
- S. M. Easterbrook, "What are Requirements?"
(Draft book chapter)
- S. M. Easterbrook, "What is Engineering?"
(Draft book chapter)
- M. Sabetzadeh and S. M. Easterbrook, "An
Algebraic Framework for Merging Incomplete and Inconsistent Views".
Technical Report CSRG-496, Department of Computer Science, University of Toronto,
Canada, September 2004.
- D. E. Perry, S. E. Sim, and S. M. Easterbrook. "Case
Studies for Software Engineers". Tutorial Summary, 26th IEEE/ACM
International Conference on Software Engineering (ICSE'04), Edinburgh, Scotland,
May 23-28, 2004. pp. 736-738.
2003
- M.Chechik, B. Devereux, S. M. Easterbrook and A. Gurfinkel "Multi-Valued
Symbolic Model-Checking". ACM Transactions on Software Engineering
and Methodology (TOSEM), Vol 12, No 4, p371-408. Oct 2003
- M. Sabetzadeh and S. M. Easterbrook "Analysis
of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach".
18th IEEE International Conference on Automated Software Engineering,
Montreal, Canada, October 6-10, 2003.
- S. E. Sim, S. M. Easterbrook and R. C. Holt, "Using
Benchmarking to Advance Research: A Challenge to Software Engineering".
25th International Conference on Software Engineering, Portland,
Oregon, 3-10 May 2003.
- S. M. Easterbrook, M. Chechik, B. Devereux, A. Gurfinkel, A. Lai, V. Petrovykh,
A. Tafliovich and C. Thompson-Walsh, "χChek:
A Model Checker for Multi-Valued Reasoning". Research Demo Paper
presented at the 25th International Conference on Software Engineering,
Portland, Oregon, 3-10 May 2003.
- W. Liu and S. M. Easterbrook "Eliciting
Architectural Decisions from Requirements using a Rule-based Framework".
Second International Workshop From Software Requirements to Architectures
(STRAW'03), co-located with ICSE 2003, Portland, Oregon, 9 May 2003.
- S. M. Easterbrook "Model
Management and Inconsistency in Software Design" NSF Workshop on
the Science of Design.November 2-4, 2003, Airlie Center, Virginia, USA.
2002
- S. M. Easterbrook and M. Chechik "Guest
Editorial: Special Issue on Model Checking in Requirements
Engineering". Requirements Engineering Journal, Vol 7, No
4, December 2002, pp221-224.
- W. Liu, S. M. Easterbrook and J. Mylopoulos, "Rule-Based
Detection of Inconsistency in UML Models". Presented at the
Workshop on Consistency Problems in UML-Based Software Development, at the
Fifth International Conference on the Unified Modeling Language, Dresden,
Germany, October 1, 2002.
- S. E. Sim, R. C. Holt, and S. M. Easterbrook "On
Using a Benchmark to Evaluate C++ Extractors", 10th IEEE International
Workshop on Program Comprehension, June 26-29, 2002, La Sorbonne, Paris, France.
- M. Chechik, A. Gurfinkel, B. Devereux, A. Lai and S. M. Easterbrook, "Data
Structures for Symbolic Multi-Valued Model-Checking", submitted
for publication, January 2002
2001
- B. A. Nuseibeh, S. M. Easterbrook and A. Russo, "Making Inconsistency
Respectable in Software Development ", Journal of Systems and Software,
58 (2) (2001) pp. 171-180.
- M. Chechik, B. Devereux, S. M. Easterbrook, A. Lai, and V. Petrovykh, "Efficient
Multiple-Valued
Model-Checking Using Lattice Representations". Proceedings of
the International Conference on Concurrency Theory (CONCUR'01), Aalborg,
Denmark, August 21-24, 2001.
- S. M. Easterbrook and M. Chechik, "Automated
Paraconsistent Reasoning via Model Checking". Proceedings, First
International Workshop on Inconsistency in Data and Knowledge, at the International
Joint Conference on Artificial Intelligence, (IJCAI-01), Seattle, USA,
August 2001.
- M. Chechik, S. M. Easterbrook and B. Devereux, "Model
Checking with Multi-Valued Temporal Logics". Proceedings of the 31st
IEEE International Symposium on Multiple Valued Logics (ISMVL
2001), Warsaw, Poland, 22-24 May 2001.
- S. M. Easterbrook and M. Chechik, "A Framework
for Multi-Valued Reasoning over Inconsistent Viewpoints", Proceedings,
23rd International Conference on Software Engineering (ICSE-01), Toronto,
Canada, May 12-19, 2001. IEEE Computer Society Press.
- S. M. Easterbrook, and M. Chechik, "A Framework to Handle Horizontal
Inconsistency in Software". Proceedings, 2nd International Workshop
on Living with Inconsistency, at the 23rd International Conference on Software
Engineering (ICSE-01), Toronto, Canada, May 12-19, 2001.
- M. Chechik and S. M. Easterbrook, "Reasoning
About Compositions of Concerns". Proceedings, Workshop on Advanced
Separation of Concerns in Software Engineering, at the 23rd International
Conference on Software Engineering (ICSE-01), Toronto, Canada, May 12-19,
2001.
- M. Chechik, B. Devereux, and S. M. Easterbrook, "Implementing
a Multi-Valued Symbolic Model Checker". Proceedings of the
Fourth European Joint Conferences on Theory and Practice of Software (ETAPS2001)
- Tools and Algorithms for the Construction and Analysis of Systems (TACAS
2001), Genova, Italy, 2-6 April 2001.
- M. Chechik, S. M. Easterbrook and V. Petrovykh, "Model-Checking
over Multi-Valued Logics", Proceedings, Formal Methods Europe (FME-01),
Berlin, Germany, 12-16 March 2001.
2000
- T. Menzies, S. M. Easterbrook, B. A. Nuseibeh and S. Waugh, " Validating
Inconsistent Requirements Models Using Graph-Based Abduction". Submitted
for publication.
- B. A. Nuseibeh, S. M. Easterbrook and A. Russo, "Leveraging
Inconsistency in Software Development", IEEE Computer, Volume 33,
No. 4, Pages 24-29, April 2000.
- B. A. Nuseibeh and S. M. Easterbrook, "Requirements
Engineering: A Roadmap", In A. C. W. Finkelstein (ed) "The Future of
Software Engineering ". (Companion volume to the proceedings of the 22nd
International Conference on Software Engineering, ICSE'00). IEEE Computer
Society Press.
1999
- D. DelGobbo, B. Cukic, S. M. Easterbrook, and M. Napolitano, "Fault
Detectability Analysis for Requirements Validation of Fault Tolerant Systems",
Proceedings, Fourth IEEE International Symposium on High Assurance Systems
Engineering (HASE'99), Washington DC, November 17-19, 1999.
- B. A. Nuseibeh and S. M. Easterbrook, "The Process
of Inconsistency Management : a Framework for Understanding", Proceedings,
First International Workshop on the Requirements Engineering Process (REP'99)
, Florence, Italy, September 2-3, 1999.
- V. Wiels and S. M. Easterbrook, "Formal
Modeling of Space Shuttle Software Change Requests using SCR", Proceedings,
Fourth IEEE International Symposium on Requirements Engineering (RE'99),
Limerick, Ireland, June 7-11, 1999.
- T. Menzies, S. M. Easterbrook, B. A. Nuseibeh and S. Waugh, "An
Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering",
Proceedings, Fourth IEEE International Symposium on Requirements Engineering
(RE'99), Limerick, Ireland, June 7-11, 1999.
1998
- S. M. Easterbrook, R. Lutz, R. Covington, J. Kelly, Y. Ampo and D. Hamilton,
"Experiences
Using Lightweight Formal Methods for Requirements Modeling," IEEE Transactions
on Software Engineering, Special Issue on Formal Methods in Software Practice,
vol. 24, (1), 1998.
- S. M. Easterbrook and J. R. Callahan, "Formal
Methods for Verification and Validation of partial specifications: A Case
Study," Journal of Systems and Software, vol. 40, (3), 1998.
- V. Wiels and S. M. Easterbrook, "Management
of evolving specifications using category theory," Proceedings, 13th
International Conference on Automated Software Engineering, Honolulu,
Hawaii, 14-16 October 1998.
- S. M. Easterbrook, J. R. Callahan and V. Wiels, "V&V
through Inconsistency Tracking and Analysis," International Workshop
on Software Specification and Design, Kyoto, Japan, April 16-18, 1998.
- S. M. Easterbrook, "The Role of Independent V&V in Upstream Software
Development Processes." Journal of Integrated Design and Process Science,
vol. 2 (1), 37-46, 1998
- F. Schneider, S. M. Easterbrook, J. R. Callahan and G. J. Holzmann, "Validating
Requirements for Fault Tolerant Systems using Model Checking, " Third
IEEE Conference on Requirements Engineering, Colorado Springs, CO, April
6 - 10, 1998.
1997
1996
- S. M. Easterbrook (1996) The
Role of Independent V&V in Upstream Software Development Processes.
In Proceedings, 2nd World Conference on Integrated Design and Process Technology
(IDPT-96), Austin, Texas, December 1-4, 1996.
- S. M. Easterbrook and J. R. Callahan (1996) Independent
Validation of Specifications: A coordination headache, Proceedings,
IEEE Fifth Workshops on Enabling Technologies: Infrastructure for Collaborative
Enterprises (WETICE'96) - Workshop on Requirements Engineering in and
for Networked Enterprises, Stanford, CA, Jun 19-21, 1996, pp232-237.
- S. M. Easterbrook and J. R. Callahan, (1996) SCR
as an IV&V Tool, Proceedings, Fifth International Software Cost
Reduction (SCR) Workshop, Ottawa, Canada, Feb 8-9, 1996.
- S. M. Easterbrook and B. A. Nuseibeh (1996) Using
ViewPoints for Inconsistency Management. Software Engineering Journal,
Vol 11, No 1, Jan 1996.
- A. Al-Rawas and S. M. Easterbrook (1996) A
Field Study into the Communications Problems in Requirements Engineering.
Proceedings, Conference on Professional Awareness in Software Engineering
(PACE-96) , London, February 1996.
- S. M. Easterbrook and T. N. Arvantis (1996) Preparing
Students for Software Engineering. Proceedings, Third International
Workshop on Software Engineering Education (IWSEE3), Technische Universität
Berlin, Germany, March 30th, 1996.
- S. M. Easterbrook (1996) Learning
from Inconsistency, Proceedings, Eighth International Workshop on Software
Specification and Design (IWSSD-8) , Paderborn, Germany, Mar. 22-23, 1996.
- S. M. Easterbrook (1996) Coordination
Breakdowns: How flexible is collaborative work? In P. Thomas (ed) CSCW:
Requirements and Evaluation , Pp91-106. London: Springer-Verlag.
1995
- S. M. Easterbrook and B. A. Nuseibeh (1995) Managing Inconsistencies
in an Evolving Specification. Proceedings, Second IEEE International
Symposium on Requirements Engineering (RE'95), York, UK, April 1995, Pp48-55.
download PDF file
- S. M. Easterbrook (1995) Coordination Breakdowns: Why Groupware is so
Hard to Design. Proceedings, 28th Hawaii International Conference on
Systems Sciences (HICSS-28), Maui, Hawaii, 3-6 January, 1995, Pp 191-199.
IEEE Press.
download PDF file
1994
- S. M. Easterbrook, A. C. W. Finkelstein, J. Kramer, and B. A. Nuseibeh
(1994) Coordinating Distributed ViewPoints: The anatomy of a consistency
check. Journal of Concurrent Engineering: Research and Applications
, Vol 2, No 3 (Special Issue on Conflict Management)
download PDF file
- S. M. Easterbrook, A. C. W. Finkelstein, J. Kramer, and B. A. Nuseibeh
(1994) Co-ordinating Conflicting ViewPoints by Managing Inconsistency
. Workshop on Conflict Management in Design, International Conference on
Artificial Intelligence in Design, Lausanne, Switzerland, 15-18 August
1994.
download PDF file
- S. M. Easterbrook (1994) Resolving Requirements Conflicts with Computer-Supported
Negotiation. In M. Jirotka & J. Goguen (eds) Requirements Engineering:
Social and Technical Issues, Pp41-65. London: Academic Press.
- B. A. Nuseibeh, A. C. W. Finkelstein, J. Kramer and S. M. Easterbrook (1994)
Concurrent Software Engineering: Coordinating Distributed ViewPoints for
Managing Inconsistency (Extended Abstract), IEE Colloquium on "Issues
of Cooperative Working in Concurrent Engineering", Savoy Place, London, 15th
June 1994.
Extended Abstract
1993
- S. M. Easterbrook (1993) Negotiation and the Role of the Requirements
Specification. In P. Quintas (ed) Social Dimensions of Systems Engineering:
People, Processes, Policies and Software Development, Pp144-164. London:
Ellis Horwood.
download PDF file
- S. M. Easterbrook (1993) Domain Modelling with Hierarchies of Alternative
Viewpoints. Proceedings, First IEEE International Symposium on Requirements
Engineering (RE'93), San Diego, January 1993.
download PDF file
- S. M. Easterbrook, E. E. Beck, J. Goodlet, L. Plowman, M. Sharples, and
C. C. Wood (1993) A Survey of Empirical Studies of Conflict. In S.
M. Easterbrook (ed) CSCW: Cooperation or Conflict? London: Springer-Verlag,
pp1-68.
download PDF file
- Alison White and S. M. Easterbrook (1993) Dictofun: A concept Dictionary
for Children. Journal of Computer Assisted Learning , Vol 9, Pp
161-170.
- A. C. W. Finkelstein, S. M. Easterbrook, J. Kramer & B. A. Nuseibeh
(1993) Requirements Engineering Through Viewpoints, DRA Workshop on
Requirements Engineering, Malvern, 1993.
- S. M. Easterbrook, Ed. (1993) CSCW: Co-operation or Conflict?
London: Springer-Verlag, 211 pages.
1992
- M.-M. Portmann and S. M. Easterbrook (1992) PMI: Knowledge Elicitation
and De Bono's Thinking Tools. Proceedings, Sixth European Workshop
on Knowledge Acquisition for Knowledge Based Systems (EKAW-92), Heidelberg,
Germany, May 1992.
download PDF file
- S. M. Easterbrook (1992) Resolving Requirements Conflicts
with Computer-Supported Negotiation, Workshop on Requirements Engineering,
Oxford, 1992.
download PDF file
1991
- S. M. Easterbrook (1991) Handling Conflict Between Domain Descriptions
With Computer Supported Negotiation.Knowledge Acquisition: An International
Journal, Vol 3, No 4, pp 255-289.
download PDF file
- S. M. Easterbrook (1991) Elicitation of Requirements from Multiple
Perspectives. PhD Thesis, Imperial College of Science Technology and
Medicine, University of London, June 1991.
download PDF file
1990
- S. M. Easterbrook (1990) Resolving Conflicts Between Domain Descriptions
with Computer-Supported Negotiation. Proceedings, Fourth International
Workshop on Knowledge Acquisition for Knowledge Based Systems (KAW-90)
, Banff, Canada, November 1990.
1989
- S. M. Easterbrook (1989) Distributed Knowledge Acquisition as a Model
for Requirements Elicitation. Proceedings, Third European Workshop
on Knowledge Acquisition for Knowledge Based Systems (EKAW-89) , Paris,
July 1989.
Steve Easterbrook [Last modified:
May 7, 2014]