Login / Signup
VORTEX@ECOOP/ISSTA
2019
2019
2019
Keyphrases
Publications
volume 302, 2019
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018.
VORTEX@ECOOP/ISSTA
302 (2019)
2018
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)
Giorgio Audrito
,
Ferruccio Damiani
,
Volker Stolz
,
Mirko Viroli
On Distributed Runtime Verification by Aggregate Computing.
VORTEX@ECOOP/ISSTA
(2018)
Eduardo Geraldo
,
João Costa Seco
SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode.
VORTEX@ECOOP/ISSTA
(2018)
Wolfgang Ahrendt
,
Ludovic Henrio
,
Wytse Oortwijn
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors.
VORTEX@ECOOP/ISSTA
(2018)