Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FORECAST@STAF"( http://dblp.L3S.de/Venues/FORECAST@STAF )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2016 (9)
Publication types (Num. hits)
inproceedings(8) proceedings(1)
Venues (Conferences, Journals, ...)
FORECAST@STAF(9)
Authors
Diego Latella(2) Stephen Gilmore(2) Alessandro Aldini(1) Gina Belmonte(1) Jacob Beal(1) Jane Hillston(1) Maurice H. ter Beek(1) Michele Loreti(1) Mieke Massink(1) Mirco Tribastone(1) Mirko Viroli(1) Natalia Zon(1) Paul Piho(1) Vashti Galpin(1) Vincenzo Ciancia(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Mirko Viroli, Jacob Beal Resiliency with Aggregate Computing: State of the Art and Roadmap. Search on Bibsonomy FORECAST@STAF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stephen Gilmore Data as processes: introducing measurement data into CARMA models. Search on Bibsonomy FORECAST@STAF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems. Search on Bibsonomy FORECAST@STAF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging. Search on Bibsonomy FORECAST@STAF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Michele Loreti (eds.) Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. Search on Bibsonomy FORECAST@STAF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mirco Tribastone Challenges in Quantitative Abstractions for Collective Adaptive Systems. Search on Bibsonomy FORECAST@STAF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diego Latella On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract. Search on Bibsonomy FORECAST@STAF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Natalia Zon, Vashti Galpin, Stephen Gilmore Modelling movement for collective adaptive systems with CARMA. Search on Bibsonomy FORECAST@STAF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul Piho, Jane Hillston Stochastic and Spatial Equivalences for PALOMA. Search on Bibsonomy FORECAST@STAF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (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