2007 |
52 | EE | Abdul Babar,
Vladimir Tosic,
John Potter:
Aligning the Map Requirements Modelling with the B-method for Formal Software Development.
APSEC 2007: 17-24 |
51 | EE | Yi Lu,
John Potter,
Jingling Xue:
Validity Invariants and Effects.
ECOOP 2007: 202-226 |
50 | EE | John Potter,
Abdelsalam Shanneb:
Incremental Lock Selection for Composite Objects.
Journal of Object Technology 6(9): 477-494 (2007) |
49 | EE | Jingling Xue,
Phung Hua Nguyen,
John Potter:
Interprocedural side-effect analysis for incomplete object-oriented software modules.
Journal of Systems and Software 80(1): 92-105 (2007) |
2006 |
48 | EE | Abdelsalam Shanneb,
John Potter:
Lock Selection Made Easy.
ASWEC 2006: 341-350 |
47 | EE | Yi Lu,
John Potter:
On Ownership and Accessibility.
ECOOP 2006: 99-123 |
46 | EE | Michael Chan,
John Potter:
Recognition of Musically Similar Polyphonic Music.
ICPR (4) 2006: 809-812 |
45 | EE | Yi Lu,
John Potter:
Protecting representation with effect encapsulation.
POPL 2006: 359-371 |
2005 |
44 | EE | Abdelsalam Shanneb,
John Potter:
Flexible Exclusion Control for Composite Objects.
ACSC 2005: 277-286 |
43 | EE | Abdul Babar,
John Potter:
Adapting the Personal Software Process (PSP) to Formal Methods.
Australian Software Engineering Conference 2005: 192-201 |
42 | EE | John Potter,
Abdelsalam Shanneb,
Eric Yu:
Demonstrating the Effectiveness of Exclusion Control for Components.
Australian Software Engineering Conference 2005: 344-353 |
41 | EE | Yi Lu,
John Potter:
A Type System for Reachability and Acyclicity.
ECOOP 2005: 479-503 |
40 | EE | Abdelsalam Shanneb,
John Potter,
James Noble:
Exclusion requirements and potential concurrency for composite objects.
Sci. Comput. Program. 58(3): 344-365 (2005) |
2002 |
39 | | Xiaogang Zhang,
John Potter:
Responsive Bisimulation.
IFIP TCS 2002: 601-612 |
38 | EE | Trent Hill,
James Noble,
John Potter:
Scalable Visualizations of Object-Oriented Systems with Ownership Trees.
J. Vis. Lang. Comput. 13(3): 319-339 (2002) |
2001 |
37 | EE | David G. Clarke,
James Noble,
John Potter:
Simple Ownership Types for Object Containment.
ECOOP 2001: 53-76 |
36 | EE | Jonathon Tidswell,
John Potter:
A graphical definition of authorization schema in the DTAC model.
SACMAT 2001: 109-120 |
2000 |
35 | EE | John Potter,
James Noble:
Conglomeration -- Realizing Alias Protection.
ACSC 2000: 189-195 |
34 | EE | James Noble,
David Holmes,
John Potter:
Exclusion for composite objects.
OOPSLA 2000: 13-28 |
33 | EE | John Potter:
Object Structuring Techniques.
TOOLS (34) 2000: 443-444 |
32 | EE | Trent Hill,
James Noble,
John Potter:
Scalable Visualisations with Ownership Trees.
TOOLS (37) 2000: 202-213 |
31 | EE | Trent Hill,
James Noble,
John Potter:
Visualizing the Structure of Object-Oriented Systems.
VL 2000: 191-198 |
1999 |
30 | EE | Jonathon Tidswell,
Geoffrey H. Outhred,
John Potter:
Dynamic Rights: Safe Extensible Access Control.
ACM Workshop on Role-Based Access Control 1999: 113-120 |
29 | | David G. Clarke,
James Noble,
John Potter:
Overcoming Representation Exposure.
ECOOP Workshops 1999: 149-151 |
28 | EE | James Noble,
David Clarke,
John Potter:
Object Ownership for Dynamic Alias Protection.
TOOLS (32) 1999: 176-187 |
1998 |
27 | EE | Jonathon Tidswell,
John Potter:
A Dynamically Typed Access Control Model.
ACISP 1998: 308-319 |
26 | EE | John Potter,
James Noble,
David Clarke:
The Ins and Outs of Objects.
Australian Software Engineering Conference 1998: 80-89 |
25 | EE | James Noble,
Jan Vitek,
John Potter:
Flexible Alias Protection.
ECOOP 1998: 158-185 |
24 | EE | Geoffrey H. Outhred,
John Potter:
Component Composition with Sharing.
ECOOP Workshops 1998: 141-142 |
23 | EE | David Holmes,
James Noble,
John Potter:
Toward Reusable Synchronisation for Object-Oriented Languages.
ECOOP Workshops 1998: 439 |
22 | EE | David G. Clarke,
John Potter,
James Noble:
Ownership Types for Flexible Alias Protection.
OOPSLA 1998: 48-64 |
21 | EE | John Potter,
Ryan Shelswell,
Ian Joyner:
Library Interoperability via Inheritance.
TOOLS (26) 1998: 71-83 |
20 | EE | Xiaogang Zhang,
John Potter:
A Compositional Approach to Concurrent Objects.
TOOLS (27) 1998: 116-126 |
1997 |
19 | | Jonathon Tidswell,
John Potter:
An Approach to Dynamic Domain and Type Enforcement.
ACISP 1997: 26-37 |
18 | EE | James Noble,
John Potter:
Change Detection for Aggregate Objects with Aliasing.
Australian Software Engineering Conference 1997: 98- |
17 | EE | Geoffrey H. Outhred,
John Potter:
A Flexible Service Selection Model for Enterprise Distributed Systems.
EDOC 1997: 227- |
16 | EE | John Potter,
Richard Soley:
Keynotes: Java and Eiffel: A de facto relationship?
TOOLS (23) 1997: 3 |
15 | EE | Axel Wabenhorst,
John Potter:
Modelling Multi-Threading in Java.
TOOLS (25) 1997: 153-164 |
14 | EE | David Holmes,
James Noble,
John Potter:
Aspects of Synchronization.
TOOLS (25) 1997: 2-14 |
13 | EE | Xiaogang Zhang,
John Potter:
Class-Based Models in the -Calculus.
TOOLS (25) 1997: 238-251 |
12 | EE | James Noble,
John Potter:
Applying Design Patterns.
TOOLS (25) 1997: 355-356 |
1996 |
11 | EE | Steven Sommer,
John Potter:
Operating system extensions for dynamic real-time application.
IEEE Real-Time Systems Symposium 1996: 45- |
10 | | Mark Sifer,
John Potter:
Structured Graphs: A Visual Formalism for Scalable Graph Based CASE Tools.
Australian Computer Journal 28(1): 13-26 (1996) |
1995 |
9 | EE | Mark Sifer,
John Potter:
Scalability for Graph-Based Case Tools.
International Journal of Software Engineering and Knowledge Engineering 5(3): 347-365 (1995) |
1993 |
8 | | Christine Mingins,
William Haebich,
John Potter,
Bertrand Meyer:
Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, Melbourne 1993. Incorporating the proceedings of Tools 9, Sydney 1992
Prentice Hall 1993 |
7 | | John Potter,
Christine Mingins:
Object-Oriented Design - the Eiffel Method.
TOOLS (12/9) 1993: 320 |
6 | | Ghinwa Jalloul,
John Potter:
A Separate Proposal for Eiffel.
TOOLS (12/9) 1993: 63-74 |
1992 |
5 | | Ghinwa Jalloul,
John Potter:
Models for Concurrent Eiffel.
TOOLS (6) 1992: 183-191 |
4 | | John Potter:
Designing for Reusability.
TOOLS (6) 1992: 239 |
1991 |
3 | | John Potter,
Mario Tokoro,
Bertrand Meyer:
TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia.
Prentice Hall 1991 |
1986 |
2 | | Thomas Vasak,
John Potter:
Characterisation of Terminating Logic Programs.
SLP 1986: 140-147 |
1985 |
1 | | Thomas Vasak,
John Potter:
Metalogical Control for Logic Programs.
J. Log. Program. 2(3): 203-220 (1985) |