Robert Colvin

发表

Verifying Lock-Freedom Using Well-Founded Orders

Robert Colvin, Brijesh Dongol, Brijesh Dongol, 2007, ICTAC.

Refinement of Higher-Order Logic Programs

Paul A. Strooper, Robert Colvin, David Hemer, 2002, LOPSTR.

Welding bonds processors to new technology

Robert Colvin, 2006 .

Technology tackles material and energy costs in film extrusion

Robert Colvin, 2006 .

An Algebra of Synchronous Atomic Steps pdf

Robert Colvin, Kirsten Winter, Ian J. Hayes, 2016, FM.

A refinement calculus for logic programs

Paul A. Strooper, Robert Colvin, David Hemer, 2002, Theory Pract. Log. Program..

Derivation of a Scalable Lock-Free Stack Algorithm

Robert Colvin, Lindsay Groves, 2007, Electron. Notes Theor. Comput. Sci..

Modular Logic Program Refinement

Paul A. Strooper, Robert Colvin, Ian J. Hayes, 2000, LOPSTR.

Suppliers look to deliver more bang for the buck

Robert Colvin, 2001 .

Little new, big improvements for existing machines

Robert Colvin, 2003 .

Buying cooperatives are a useful weapon

Robert Colvin, 2001 .

Balancing expressiveness in formal approaches to concurrency

Cliff B. Jones, Robert Colvin, Ian J. Hayes, 2015, Formal Aspects of Computing.

Processors set increasing demands on compounds

Robert Colvin, 2006 .

Correctness of Concurrent Objects under Weak Memory Models pdf

Robert Colvin, Graeme Smith, Kirsten Winter, 2018, Refine@FM.

Integrated Operational Semantics: Small-Step, Big-Step and Multi-step

Robert Colvin, Ian J. Hayes, 2012, ABZ.

Trace-based derivation of a scalable lock-free stack algorithm

Robert Colvin, Lindsay Groves, 2008, Formal Aspects of Computing.

Designing a semantic model for a wide-spectrum language with concurrency

Robert Colvin, Ian J. Hayes, Larissa A. Meinicke, 2016, Formal Aspects of Computing.

A commanding performance

Robert Colvin, Peter Mapleston, M. C. Gabriele, 1997 .

Probabilistic Timed Behavior Trees

Lars Grunske, Robert Colvin, Kirsten Winter, 2007, IFM.

Don't Care Non-determinism in Logic Program Refinement

Paul A. Strooper, Robert Colvin, David Hemer, 2002, Electron. Notes Theor. Comput. Sci..

A Technique for Modular Logic Program Refinement

Paul A. Strooper, Robert Colvin, Ian J. Hayes, 2000, LOPSTR.

Furniture: 1950s styles bear the look of the future

Robert Colvin, Clare Goldsberry, Matt Defosse, 2004 .

Verifying Concurrent Data Structures by Simulation

Robert Colvin, Lindsay Groves, Simon Doherty, 2005, Electron. Notes Theor. Comput. Sci..

Competitive pressures spur shops to tap EDM automation

Robert Colvin, 2002 .

Probabilistic Model-Checking Support for FMEA

Lars Grunske, Robert Colvin, Kirsten Winter, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

Moldmakers find ways to bolster competitiveness

Robert Colvin, Matthew Defosse, 2003 .

Optimising, generalising and integrating educational practice using neuroscience

Robert Colvin, Robert E. Colvin, 2016, npj Science of Learning.

Modelling and analysing neural networks using a hybrid process algebra

Robert Colvin, R. Colvin, 2016, Theor. Comput. Sci..

Value-added services : More business, more profit

J. H. Schut, Robert Colvin, D. Smock, 1998 .

Dynamic Relational Behaviour for Large-Scale Systems

Robert Colvin, Kirsten Winter, R. Geoff Dromey, 2009, 2009 Australian Software Engineering Conference.

A wide-spectrum language for verification of programs on weak memory models

Robert Colvin, Graeme Smith, Graeme Smith, 2018, FM.

Calculating modules in contextual logic program refinement pdf

Paul A. Strooper, Robert Colvin, Ian J. Hayes, 2008, Theory Pract. Log. Program..

Integrating Requirements: The Behavior Tree Philosophy

Robert Colvin, Kirsten Winter, Ian J. Hayes, 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

A tool for logic program refinement (Extended abstract)

Paul Strooper, Robert Colvin, Ian J. Hayes, 1997, FME 1997.

Refining logic programs using types

Paul A. Strooper, Robert Colvin, Ian J. Hayes, 2000, Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518).

Structural operational semantics through context-dependent behaviour

Robert Colvin, Ian J. Hayes, I. Hayes, 2011, J. Log. Algebraic Methods Program..

Translating Refined Logic Programs to Mercury

Paul A. Strooper, Robert Colvin, David Hemer, 2002, ACSC.

A semantics for Behavior Trees using CSP with specification commands

Robert Colvin, Ian J. Hayes, I. Hayes, 2011, Sci. Comput. Program..

Early Validation and Verification of a Distributed Role-Based Access Control Model

Robert Colvin, Kirsten Winter, Saad Zafar, 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

Robert Colvin, Kirsten Winter, Ian J. Hayes, 2017, Formal Aspects of Computing.

A Scalable Lock-Free Stack Algorithm and its Verification

Robert Colvin, Lindsay Groves, 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).

"Integrare", a Collaborative Environment for Behavior-Oriented Design

Robert Colvin, Kai Lin, Lian Wen, 2007, CDVE.

A general technique for proving lock-freedom

Robert Colvin, Brijesh Dongol, Brijesh Dongol, 2009, Sci. Comput. Program..

Data refining logic programs

Paul Strooper, Robert Colvin, Ian J. Hayes, 1998, FM-Trends 1998.

Direct extrusion provides cost savings in PET processing

Robert Colvin, 2003 .

Developing Logic Programs from Specifications Using Stepwise Refinement

Paul A. Strooper, Robert Colvin, Lindsay Groves, 2004, Program Development in Computational Logic.

Model-checking tool support for quantitative risk analysis and design for safety

Peter A. Lindsay, Robert Colvin, Kirsten Winter, 2010 .

Teaming up haptics with optics is no touch-and-go situation

Robert Colvin, 2006 .

Euromold promises to be a highly diverse event

Robert Colvin, 2002 .

Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems

Lars Grunske, Robert Colvin, Kirsten Winter, 2008, J. Syst. Softw..

Silos build up economy, efficiency

Robert Colvin, Jeremiah Rose, 2003 .

A high-level operational semantics for hardware weak memory models pdf

Robert Colvin, Graeme Smith, Graeme Smith, 2018, ArXiv.

Formal verification of an array-based nonblocking queue

Robert Colvin, Lindsay Groves, 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

Cast film systems are ready for inline inspection

Robert Colvin, 2001 .

An operational semantics for object-oriented concepts based on the class hierarchy

Robert Colvin, R. Colvin, 2014, Formal Aspects of Computing.

Formal Verification of a Lazy Concurrent List-Based Set Algorithm

Mark Moir, Victor Luchangco, Robert Colvin, 2006, CAV.

Timed Behavior Trees and Their Application to Verifying Real-Time Systems

Lars Grunske, Robert Colvin, Kirsten Winter, 2007, 2007 Australian Software Engineering Conference (ASWEC'07).

Modeling neural networks using process algebras

Robert Colvin, R. Colvin, 2013 .

A sound and complete definition of linearizability on weak memory models pdf

Robert Colvin, Graeme Smith, Kirsten Winter, 2018, ArXiv.

Cast PP is vying for more BOPP film markets

Robert Colvin, 2002 .

CSP with Hierarchical State

Robert Colvin, Ian J. Hayes, 2009, IFM.

A Declarative Semantics for Logic Program Refinement

Paul Strooper, Robert Colvin, Ian J. Hayes, 2000 .

Contextual and data refinement for the refinement calculus for logic programs

Robert Colvin, 2002 .

ACCS-TR-0701 A Semantics for Behavior Trees

Robert Colvin, Ian J. Hayes, I. Hayes, 2007 .

Refining logic programs using types and invariants

Paul Strooper, Robert Colvin, Ian J. Hayes, 1999 .