Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Refine@ICFEM"( http://dblp.L3S.de/Venues/Refine@ICFEM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/refine

Publication years (Num. hits)
2006 (12) 2007 (1)
Publication types (Num. hits)
inproceedings(12) proceedings(1)
Venues (Conferences, Journals, ...)
Refine@ICFEM(13)
Authors
Bernhard K. Aichernig(3) Eerke A. Boiten(3) John Derrick(3) Lindsay Groves(3) Jim Woodcock 0001(2) Ana Cavalcanti 0001(1) David Hemer(1) Graeme Smith 0001(1) H.-Christian Estler(1) Heike Wehrheim(1) Jifeng He 0001(1) Juha Plosila(1) K. O. Chow(1) King Sing Cheung(1) Kirsten Winter(1) Leo Freitas(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves (eds.) Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006 Search on Bibsonomy Refine@ICFEM The full citation details ... 2007 DBLP  BibTeX  RDF
1Lindsay Groves, Robert Colvin Derivation of a Scalable Lock-Free Stack Algorithm. Search on Bibsonomy Refine@ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David Hemer Semi-Automated Component-Based Development of Formally Verified Software. Search on Bibsonomy Refine@ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1King Sing Cheung, K. O. Chow A Petri Net Based Method for Refining Object Oriented System Specifications. Search on Bibsonomy Refine@ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1John Derrick, Eerke A. Boiten Relational Concurrent Refinement with Internal Operations. Search on Bibsonomy Refine@ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Graeme Smith 0001, Kirsten Winter Simulation Machines for Checking Action System Refinements. Search on Bibsonomy Refine@ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Xiaojian Liu, Zhiming Liu 0001, Liang Zhao 0022 Object-Oriented Structure Refinement - A Graph Transformational Approach. Search on Bibsonomy Refine@ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Leo Freitas, Jim Woodcock 0001 FDR Explorer. Search on Bibsonomy Refine@ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tomi Westerlund, Juha Plosila Time Aware System Refinement. Search on Bibsonomy Refine@ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Jifeng He 0001 Refinement and Test Case Generation in UTP. Search on Bibsonomy Refine@ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 A Denotational Semantics for Circus. Search on Bibsonomy Refine@ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves Preface. Search on Bibsonomy Refine@ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim Modelchecking Correctness of Refactorings - Some Experiments. Search on Bibsonomy Refine@ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license