default search action

combined dblp search
author search
venue search
publication search

ask others

2nd VORTEX@ECOOP/ISSTA 2018: Amsterdam, The Netherlands

> Home > Conferences and Workshops > VORTEX
> Home > Conferences and Workshops > ECOOP
> Home > Conferences and Workshops > ISSTA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-09302
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-09302
Davide Ancona, Gordon Pace:
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018. EPTCS 302, 2019
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-10040
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-10040
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. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-10041
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-10041
Eduardo Geraldo, João Costa Seco:
SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode. 16-31
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-10042
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-10042
Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn:
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. 32-46
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-10743
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-10743
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli:
On Distributed Runtime Verification by Aggregate Computing. 47-61

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.