|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 12 keywords
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Robert Colvin, Ian J. Hayes |
Structural operational semantics through context-dependent behaviour.  |
J. Log. Algebr. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes |
A semantics for Behavior Trees using CSP with specification commands. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirsten Winter, Ian J. Hayes, Robert Colvin |
Integrating Requirements: The Behavior Tree Philosophy. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Groves, Robert Colvin |
Trace-based derivation of a scalable lock-free stack algorithm. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Brijesh Dongol |
A general technique for proving lock-freedom. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirsten Winter, Robert Colvin, R. Geoff Dromey |
Dynamic Relational Behaviour for Large-Scale Systems. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes |
CSP with Hierarchical State. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Lars Grunske, Kirsten Winter |
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems. |
Journal of Systems and Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
Calculating modules in contextual logic program refinement. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Groves, Robert Colvin |
Derivation of a Scalable Lock-Free Stack Algorithm. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey |
Early Validation and Verification of a Distributed Role-Based Access Control Model. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Grunske, Kirsten Winter, Robert Colvin |
Timed Behavior Trees and Their Application to Verifying Real-Time Systems. |
ASWEC |
2007 |
DBLP DOI BibTeX RDF |
real time systems, model checking, requirements engineering, timed automata, Behavior Trees |
| 1 | Robert Colvin, Lindsay Groves |
A Scalable Lock-Free Stack Algorithm and its Verification. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Brijesh Dongol |
Verifying Lock-Freedom Using Well-Founded Orders. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey |
"Integrare", a Collaborative Environment for Behavior-Oriented Design. |
CDVE |
2007 |
DBLP DOI BibTeX RDF |
behavior-oriented design, software environment, behavior tree |
| 1 | Robert Colvin, Lars Grunske, Kirsten Winter |
Probabilistic Timed Behavior Trees. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
model checking, probabilities, timed automata, Behavior Trees |
| 1 | Lars Grunske, Robert Colvin, Kirsten Winter |
Probabilistic Model-Checking Support for FMEA. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
Failure Mode and Effect Analysis, Probabilistic Model Checking, System Safety |
| 1 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
Calculating modules in contextual logic program refinement |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir |
Formal Verification of a Lazy Concurrent List-Based Set Algorithm. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Simon Doherty, Lindsay Groves |
Verifying Concurrent Data Structures by Simulation. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Lindsay Groves |
Formal Verification of an Array-Based Nonblocking Queue. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper |
Developing Logic Programs from Specifications Using Stepwise Refinement. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin |
Don't Care Non-determinism in Logic Program Refinement. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson |
A Refinement Calculus for Logic Programs |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson |
A refinement calculus for logic programs. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper |
Refinement of Higher-Order Logic Programs. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper |
Translating Refined Logic Programs to Mercury. |
ACSC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
A Technique for Modular Logic Program Refinement. |
LOPSTR (LNCS 2042: Selected Papers) |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
Modular Logic Program Refinement. |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Robert Colvin, Ian J. Hayes, Paul A. Strooper |
Refining Logic Programs Using Types. |
ACSC |
2000 |
DBLP DOI BibTeX RDF |
logic programming, Refinement, types |
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")