|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Davide Ancona, Gordon Pace (eds.) |
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018. |
VORTEX@ECOOP/ISSTA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro |
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. |
VORTEX@ECOOP/ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli |
On Distributed Runtime Verification by Aggregate Computing. |
VORTEX@ECOOP/ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Geraldo, João Costa Seco |
SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode. |
VORTEX@ECOOP/ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn |
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. |
VORTEX@ECOOP/ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|