Roger Duke

According to our database1, Roger Duke
  • authored at least 37 papers between 1987 and 2008.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2008
Exploring Model-Based Development for the Verification of Real-Time Java Code.
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2006
Formal Specification-based Online Monitoring.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2005
Integrating Object-Z with Timed Automata.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems.
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004
Integrating Formal Specification and Software Verification and Validation.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Viewpoint-Based Testing of Concurrent Components.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003
Modelling Java Concurrency with Object-Z.
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Using Student-Computer Interactions to Categorize Educational Software.
Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003

2002
Model Checking Object-Z Using ASM.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

A Software Design Process to Facilitate the Teaching of Mathematics.
ICCE, 2002

2001
A Metamodel-based transformation between UML and Object-Z.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

2000
Teaching programming to beginners - choosing the language is just the first step.
Proceedings of the ACM SIGCSE 4th Australasian Conference on Computer Science Education, 2000

1998
Defining composition operators for object interaction.
Object Oriented Systems, 1998

1997
An object-oriented denotational semantics of a small programming language.
Object Oriented Systems, 1997

Specifying Parallel and Distributed Systems in Object-Z.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

In search of the inverse curriculum.
Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, 1997

1996
A Blocking Model for Reactive Objects.
Formal Asp. Comput., 1996

The design of an experiential component for a formal methods computer science subject.
Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996

1995
Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering, 1995

The role of secondary attributes in formal object modelling.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1993
Class Operators for Object Compatibility.
Proceedings of the Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, 1993

Formal Methods for the Design and Specification of Object-Oriented Systems.
Proceedings of the Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, 1993

Class Union and Polymorphism.
Proceedings of the Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, 1993

An Object-Oriented Approach to the Formal Specification of ODP Trader.
Proceedings of the Open Distributed Processing, 1993

1992
Case Studies in Object-Oriented Formal Specification.
Proceedings of the TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, 1992

1991
Associated Paper: The Object-Z Specification Language.
Proceedings of the TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, 1991

Formal Specification of Object-Oriented Systems.
Proceedings of the TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, 1991

Formal Techniques for OO Software Development (Panel).
Proceedings of the Conference on Object-Oriented Programming Systems, 1991

1990
Object-oriented protocol specification.
Proceedings of the Protocol Specification, 1990

Transferring Formal Techniques to Industry.
Proceedings of the Formal Description Techniques, 1990

Towards a Semantics for Object-Z.
Proceedings of the VDM '90, 1990

1989
Temporal Logic and Z Specifications.
Australian Computer Journal, 1989

Object-Z: An Object-Oriented Extension to Z.
Proceedings of the Formal Description Techniques, 1989

1988
On Binary Reducibility.
Eur. J. Comb., 1988

1987
Matroid Erection and Duality.
Eur. J. Comb., 1987

Specifying the Static Semantics of Block Structural Languages.
Australian Computer Journal, 1987


  Loading...