In a conference or journal on “Software Engineering” that is listed in the ACM Portal. Click here for the full list. You can also sort papers by downloads (6 weeks/12 months).
- The Model Checker SPIN (TSE 1997, 302 citations)
- Foundations for the study of software architecture (SIGSOFT SEN 1992, 302 citations)
- A Metrics Suite for Object Oriented Design (TSE 1994, 214 citations)
Here is a breakdown by year (1993-2008). Click on “full list” to see all papers of a year ranked by citation count.
- 2007: Software Testing Research: Achievements, Challenges, Dreams (FOSE, 8 citations) — full list
- 2006: Who should fix this bug? (ICSE, 10 citations) — full list
- 2005: Locating causes of program failures (ICSE, 29 citations) — full list
- 2004: Model-Based Performance Prediction in Software Development: A Survey (TSE, 35 citations) — full list
- 2003: Developing multiagent systems: The Gaia methodology (TOSEM, 38 citations) — full list
- 2002: Preliminary guidelines for empirical research in software engineering (TSE, 57 citations) — full list
- 2001: Dynamically Discovering Likely Program Invariants to Support Program Evolution (TSE, 83 citations) — full list
- 2000: Bandera: extracting finite-state models from Java source code (ICSE, 148 citations) — full list
- 1999: N degrees of separation: multi-dimensional separation of concerns (ICSE, 153 citations) — full list
- 1998: Understanding Code Mobility (TSE, 112 citations) — full list
- 1997: The Model Checker SPIN (TSE, 302 citations) — full list
- 1996: A Validation of Object-Oriented Design Metrics as Quality Indicators (TSE, 89 citations) — full list
- 1995: Abstractions for Software Architecture and Tools to Support Them (TSE, 120 citations) — full list
- 1994: A Metrics Suite for Object Oriented Design (TSE, 214 citations) — full list
- 1993: A Technique for Drawing Directed Graphs (TSE, 49 citations) — full list
