|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Brijesh Dongol, John Derrick |
Data refinement for true concurrency ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@IFM ![In: Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013., pp. 15-35, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall |
Modelling and Refinement in CODA ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@IFM ![In: Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013., pp. 36-51, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Frank Zeyda, Ana Cavalcanti 0001 |
Refining SCJ Mission Specifications into Parallel Handler Designs ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@IFM ![In: Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013., pp. 52-67, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Amálio |
Relaxing Behavioural Inheritance ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@IFM ![In: Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013., pp. 68-83, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa |
Bisimilarity and refinement for hybrid(ised) logics ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@IFM ![In: Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013., pp. 84-98, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Emil Sekerinski, Tian Zhang |
On a New Notion of Partial Refinement ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@IFM ![In: Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013., pp. 1-14, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten, Steve Reeves (eds.) |
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@IFM ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eerke A. Boiten, John Derrick, Graeme Smith 0001 (eds.) |
Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 127-154, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Larissa Meinicke, Kim Solin |
Refinement Algebra for Probabilistic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 177-195, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Höfner, Georg Struth |
Can Refinement be Automated? ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 197-222, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Johanna Tuominen, Tomi Westerlund, Juha Plosila |
Power Aware System Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 223-253, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Graeme Smith 0001 |
Using Model Checking to Automatically Find Retrieve Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 155-175, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Gerhard Schellhorn |
On the Refinement of Atomic Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 3-30, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Heike Wehrheim |
Refinement in the Presence of Unknowns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 255-264, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Eerke A. Boiten, John Derrick, Graeme Smith 0001 |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 1, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Neil Evans, Neil Grant |
Towards the Formal Verification of a Java Processor in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 45-67, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lindsay Groves |
Trace-based Derivation of a Lock-Free Queue Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 69-98, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Eerke A. Boiten, Dan Grundy |
Reduction and Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 31-44, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Arjan J. Mooij |
Constructing and Reasoning About Security Protocols Using Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 99-126, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|