|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ECOOP/ISSTA ![The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ECOOP/ISSTA ![In: Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018., pp. 1-15, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli |
On Distributed Runtime Verification by Aggregate Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ECOOP/ISSTA ![In: Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018., pp. 47-61, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Geraldo, João Costa Seco |
SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ECOOP/ISSTA ![In: Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018., pp. 16-31, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn |
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ECOOP/ISSTA ![In: Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018., pp. 32-46, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|