Anthony J. H. Simons

	2009
36		Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis, Anthony J. H. Simons: Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. ESWC 2009: 593-607
35		Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan: Using formal specifications to support testing. ACM Comput. Surv. 41(2): (2009)
	2008
34		John Derrick, Siobhán North, Anthony J. H. Simons: Z2SAL - Building a Model Checker for Z. ABZ 2008: 280-293
33		Anthony J. H. Simons, Carlos Alberto Fernández y Fernández: Using Alloy to model-check visual design notations CoRR abs/0802.2258: (2008)
	2007
32		Anthony J. H. Simons: JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. Autom. Softw. Eng. 14(4): 369-418 (2007)
	2006
31		Anthony J. H. Simons: Verification and Validation for Quality of UML 2.0 Models. By Bhuvan Unhelkar. Wiley, 2005, ISBN: 0-471-72783-0, 271 pp. Softw. Test., Verif. Reliab. 16(1): 62-64 (2006)
30		Anthony J. H. Simons: A theory of regression testing for behaviourally compatible object types. Softw. Test., Verif. Reliab. 16(3): 133-156 (2006)
	2005
29		Anthony J. H. Simons, Carlos Alberto Fernández y Fernández: Using Alloy to model-check visual design notations. ENC 2005: 121-128
28		Anthony J. H. Simons: Testing with Guarantees and the Failure of Regression Testing in eXtreme Programming. XP 2005: 118-126
27		Anthony J. H. Simons: The Theory of Classification, Part 16: Rules of Extension and the Typing of Inheritance. Journal of Object Technology 4(1): 13-26 (2005)
26		Anthony J. H. Simons: The Theory of Classification, Part 17: Multiple Inheritance and the Resolution of Inheritance Conflicts. Journal of Object Technology 4(2): 15-26 (2005)
25		Anthony J. H. Simons: The Theory of Classification, Part 18: Polymorphism through the Looking Glass. Journal of Object Technology 4(4): 7-18 (2005)
24		Anthony J. H. Simons: The Theory of Classification Part 19: The Proliferation of Parameters. Journal of Object Technology 4(5): 36-48 (2005)
23		Anthony J. H. Simons: The Theory of Classification Part 20: Modular Checking of Classtypes. Journal of Object Technology 4(7): 7-18 (2005)
	2004
22		Anthony J. H. Simons: The Theory of Classification, Part 10: Method Combination and Super-Reference. Journal of Object Technology 3(1): 43-53 (2004)
21		Anthony J. H. Simons: The Theory of Classification Part 15: Mixins and the Superclass Interface. Journal of Object Technology 3(10): 7-18 (2004)
20		Anthony J. H. Simons: The Theory of Classification, Part 11: Adding Class Types to Object Implementations. Journal of Object Technology 3(3): 7-19 (2004)
19		Anthony J. H. Simons: The Theory of Classification, Part 12: : Building the Class Hierarchy. Journal of Object Technology 3(5): 13-24 (2004)
18		Anthony J. H. Simons: The Theory of Classification, Part 13: Template Classes and Genericity. Journal of Object Technology 3(7): 15-25 (2004)
17		Anthony J. H. Simons: The Theory of Classification, Part 14: Modification and Objects like Myself. Journal of Object Technology 3(8): 15-26 (2004)
	2003
16		Anthony J. H. Simons: The Theory of Classification, Part 5: Axioms, Assertions and Subtyping. Journal of Object Technology 2(1): 13-22 (2003)
15		Anthony J. H. Simons: The Theory of Classification, Part 6: The Subtyping Inquisition. Journal of Object Technology 2(2): 17-26 (2003)
14		Anthony J. H. Simons: The Theory of Classification, Part 7: A Class is a Type Family. Journal of Object Technology 2(3): 13-22 (2003)
13		Anthony J. H. Simons: The Theory of Classification, Part 8: Classification and Inheritance. Journal of Object Technology 2(4): 55-64 (2003)
12		Anthony J. H. Simons: The Theory of Classification, Part 9: Inheritance and Self-Reference. Journal of Object Technology 2(6): 25-34 (2003)
	2002
11		Anthony J. H. Simons: The Theory of Classification, Part 1: Perspectives on Type Compatibility. Journal of Object Technology 1(1): 55-61 (2002)
10		Anthony J. H. Simons: The Theory of Classification, Part 2: The Scratch-Built Typechecker. Journal of Object Technology 1(2): 47-54 (2002)
9		Anthony J. H. Simons: The Theory of Classification, Part 3: Object Encoding and Recursion. Journal of Object Technology 1(4): 49-57 (2002)
8		Anthony J. H. Simons: The Theory of Classification, Part 4: Object Types and Subtyping. Journal of Object Technology 1(5): 27-35 (2002)
	2000
7		Anthony J. H. Simons: On the Compositional Properties of UML Statechart Diagrams. Rigorous Object-Oriented Methods 2000
6		Brian Henderson-Sellers, Anthony J. H. Simons: The OPEN Software Engineering Process Architecture: From Activities to Techniques. Journal of Research and Practice in Information Technology 32(1): 47-68 (2000)
	1999
5		Anthony J. H. Simons: Use Cases Considered Harmful. TOOLS (29) 1999: 194-203
4		Klaas van den Berg, Anthony J. H. Simons: Control-flow semantics of use cases in UML. Information & Software Technology 41(10): 651-659 (1999)
	1998
3		Anthony J. H. Simons: Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form. OOPSLA 1998: 65-83
	1996
2		Anthony J. H. Simons: A Theory of Class. OOIS 1996: 44-
	1988
1		Anthony J. H. Simons: A Qualitative Model of the Articulators. ECAI 1988: 464-466

Coauthor Index

1	Klaas van den Berg	[4]
2	Kirill Bogdanov	[35]
3	Jonathan P. Bowen	[35]
4	Rance Cleaveland	[35]
5	John Derrick	[34] [35]
6	Jeremy Dick	[35]
7	Dimitris Dranidis	[36]
8	Carlos Alberto Fernández y Fernández	[29] [33]
9	Marian Gheorghe	[35]
10	Mark Harman	[35]
11	Brian Henderson-Sellers	[6]
12	Robert M. Hierons	[35]
13	Kalpesh Kapoor	[35]
14	Dimitrios Kourtesis	[36]
15	Paul Krause	[35]
16	Gerald Lüttgen	[35]
17	Siobhán North	[34]
18	Ervin Ramollari	[36]
19	Sergiy A. Vilkomir	[35]
20	Martin R. Woodward	[35]
21	Hussein Zedan (Hussein S. M. Zedan)	[35]

Colors in the list of coauthors