| Software Abstractions: logic, language, and analysis D Jackson MIT press, 2012 | 2478 | 2012 |
| Alloy: a lightweight object modelling notation D Jackson ACM Transactions on software engineering and methodology (TOSEM) 11 (2), 256-290, 2002 | 1716 | 2002 |
| Kodkod: A relational model finder E Torlak, D Jackson Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007 | 633 | 2007 |
| Using dependency models to manage complex software architecture N Sangal, E Jordan, V Sinha, D Jackson Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005 | 556 | 2005 |
| Alcoa: the alloy constraint analyzer D Jackson, I Schechter, H Shlyahter Proceedings of the 22nd international conference on Software engineering …, 2000 | 451 | 2000 |
| Finding bugs with a constraint solver D Jackson, M Vaziri ACM SIGSOFT Software Engineering Notes 25 (5), 14-25, 2000 | 301 | 2000 |
| Automating first-order relational logic D Jackson Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of …, 2000 | 299 | 2000 |
| Semantic Diff: A Tool for Summarizing the Effects of Modifications. D Jackson, DA Ladd ICSM 94, 243-252, 1994 | 264 | 1994 |
| Lightweight formal methods D Jackson IEEE Comput. 29 (4), 21-22, 1996 | 232 | 1996 |
| Elements of style: Analyzing a software design feature with a counterexample detector D Jackson, CA Damon ACM SIGSOFT Software Engineering Notes 21 (3), 239-249, 1996 | 226 | 1996 |
| A micromodularity mechanism D Jackson, I Shlyakhter, M Sridharan ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001 | 216 | 2001 |
| Lackwit: A program understanding tool based on type inference R O'Callahan, D Jackson Proceedings of the (19th) International Conference on Software Engineering …, 1997 | 206 | 1997 |
| A new model of program dependences for reverse engineering D Jackson, EJ Rollins Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software …, 1994 | 188 | 1994 |
| Software analysis: A roadmap D Jackson, M Rinard Proceedings of the Conference on the Future of Software Engineering, 133-145, 2000 | 171 | 2000 |
| A direct path to dependable software D Jackson Communications of the ACM 52 (4), 78-88, 2009 | 168 | 2009 |
| Lightweight extraction of object models from bytecode D Jackson, A Waingold proceedings of the 21st International Conference on Software Engineering …, 1999 | 158 | 1999 |
| Structuring Z specifications with views D Jackson ACM Transactions on Software Engineering and Methodology (TOSEM) 4 (4), 365-389, 1995 | 152 | 1995 |
| Modular verification of code with SAT G Dennis, FSH Chang, D Jackson Proceedings of the 2006 international symposium on Software testing and …, 2006 | 124 | 2006 |
| Some shortcomings of ocl, the object constraint language of uml. M Vaziri, D Jackson TOOLS (34), 555-562, 2000 | 123 | 2000 |
| Aspect: Detecting bugs with abstract dependences D Jackson ACM Transactions on Software Engineering and Methodology (TOSEM) 4 (2), 109-145, 1995 | 120 | 1995 |
