Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Renato Silva" ( http://dblp.L3S.de/Authors/Renato_Silva )

  Author page on DBLP  Author page in RDF  Community of Renato Silva in ASPL-2

Publication years (Num. hits)
2009 (1) 2010 (1) 2011 (3)
Publication types (Num. hits)
article(3) inproceedings(2)
Venues (Conferences, Journals, ...)
ECEASST(1) Electr. Notes Theor. Comput. S...(1) FMCO(1) ICFEM(1) Softw., Pract. Exper.(1)
Authors
Renato Silva(5) Michael Butler(3) Thai Son Hoang(2) Alexei Iliasov(1) Carine Pascal(1) Wei Wei(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei A Survey on Event-B Decomposition. Search on Bibsonomy ECEASST The full citation details ... 2011 DBLP  BibTeX  RDF
1Renato Silva, Carine Pascal, Thai Son Hoang, Michael Butler Decomposition tool for event-B. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Renato Silva Towards the Composition of Specifications in Event-B. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Renato Silva, Michael Butler Shared Event Composition/Decomposition in Event-B. Search on Bibsonomy FMCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Renato Silva, Michael Butler Supporting Reuse of Event-B Developments through Generic Instantiation. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generic instantiation, formal methods, reusability, event-B
Displaying result #1 - #5 of 5 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.