Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(17)
Ian Hayes
18
Paul A. Strooper
12
Kathryn M. S. Winter
10
Lindsay J. Groves
8
David Hemer
5
Conferences
(12)
LOPSTR
4
IFM
2
APSEC
2
SEFM
2
CAV
2
Journals
(7)
ENTCS
3
TPLP
2
SCP
2
JLP
1
JSS
1
Keywords
(100)
Embed
Subscribe
Academic
Authors
Robert J. Colvin
Robert J. Colvin,University of Queensland,Software Engineering,Programming Languages,Algorithms & Theory
Edit
Robert J. Colvin
University of Queensland
Publications:
37
|
Citations:
166
Fields:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research areas and Fields of study
Collaborated with
17 co-authors
from 1998 to 2011
|
Cited by
152 authors
Cumulative
Annual
Sort by:
Publications
(37)
BibTeX
|
RIS
|
RefWorks
Download
A semantics for Behavior Trees using CSP with specification commands
(
Citations: 1
)
Robert J. Colvin
,
Ian J. Hayes
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 10, pp. 891-914, 2011
Structural Operational Semantics through Context-Dependent Behaviour
Robert J. Colvin
,
Ian J. Hayes
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 80, pp. 392-426, 2011
Structural operational semantics through context-dependent behaviour
Robert J. Colvin
,
Ian J. Hayes
Published in 2011.
Integrating Requirements: The Behavior Tree Philosophy
(
Citations: 1
)
Kirsten Winter
,
Ian J. Hayes
,
Robert Colvin
Conference:
Conference on Software Engineering and Formal Methods - SEFM
, 2010
A general technique for proving lock-freedom
(
Citations: 3
)
Robert Colvin
,
Brijesh Dongol
Journal:
Science of Computer Programming - SCP
, vol. 74, no. 3, pp. 143-165, 2009
Sort by:
Citations
(166 times by 101 publications)
Dynamic QoS Management and Optimization in Service-Based Systems
(
Citations: 6
)
Radu Calinescu
,
Lars Grunske
,
Raffaela Mirandola
,
Giordano Tamburrelli
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 3, pp. 387-409, 2011
Proving linearizability with temporal logic
(
Citations: 2
)
Simon Bäumler
,
Gerhard Schellhorn
,
Bogdan Tofan
,
Wolfgang Reif
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 1, pp. 91-112, 2011
Mechanically verified proof obligations for linearizability
(
Citations: 2
)
John Derrick
,
Gerhard Schellhorn
,
Heike Wehrheim
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 33, no. 1, pp. 1-43, 2011
A semantics for Behavior Trees using CSP with specification commands
(
Citations: 1
)
Robert J. Colvin
,
Ian J. Hayes
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 10, pp. 891-914, 2011
Specifying and checking semantic atomicity for multithreaded programs
Jacob Burnim
,
George C. Necula
,
Koushik Sen
Conference:
Architectural Support for Programming Languages and Operating Systems - ASPLOS
, pp. 79-90, 2011
Comments