More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

6th RV 2015: Vienna, Austria

> Home > Conferences and Workshops > RV

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:
  - conf/rv/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2015
Ezio Bartocci, Rupak Majumdar:
Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. Lecture Notes in Computer Science 9333, Springer 2015, ISBN 978-3-319-23819-7

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/rv/CameronFMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CameronFMS15
Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan:
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification. 3-17

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rv/NenziBCLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/NenziBCLM15
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. 21-37
- view
  authority control:
- export record
  dblp key:
  - conf/rv/CassarF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CassarF15
Ian Cassar, Adrian Francalanza:
Runtime Adaptation for Actor Systems. 38-54
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DeshmukhDGJJS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DeshmukhDGJJS15
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia:
Robust Online Monitoring of Signal Temporal Logic. 55-70
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FrancalanzaAI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FrancalanzaAI15
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
On Verifying Hennessy-Milner Logic with Recursion at Runtime. 71-86
- view
  authority control:
- export record
  dblp key:
  - conf/rv/LaurentGP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/LaurentGP15
Jonathan Laurent, Alwyn Goodloe, Lee Pike:
Assuring the Guardians. 87-101
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KaneCDK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KaneCDK15
Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman:
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. 102-117
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KassemFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KassemFL15
Ali Kassem, Yliès Falcone, Pascal Lafourcade:
Monitoring Electronic Exams. 118-135
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Kuster015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Kuster015
Jan-Christoph Küster, Andreas Bauer:
Monitoring Real Android Malware. 136-152
- view
  authority control:
- export record
  dblp key:
  - conf/rv/NavabpourBF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/NavabpourBF15
Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister:
Time-Triggered Runtime Verification of Component-Based Multi-core Systems. 153-168
- view
  authority control:
- export record
  dblp key:
  - conf/rv/PedroPPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/PedroPPP15
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto:
Monitoring for a Decidable Fragment of MTL-∫. 169-184
- view
  authority control:
- export record
  dblp key:
  - conf/rv/PerottiBG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/PerottiBG15
Alan Perotti, Guido Boella, Artur S. d'Avila Garcez:
Runtime Verification Through Forward Chaining. 185-200
- view
  authority control:
- export record
  dblp key:
  - conf/rv/PhanYRGSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/PhanYRGSS15
Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. 201-215
- view
  authority control:
- export record
  dblp key:
  - conf/rv/RegerR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/RegerR15
Giles Reger, David E. Rydeheard:
From First-order Temporal Logic to Parametric Trace Slicing. 216-232
- view
  authority control:
- export record
  dblp key:
  - conf/rv/SchumannMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/SchumannMR15
Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier:
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. 233-249
- view
  authority control:
- export record
  dblp key:
  - conf/rv/WangGGSL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/WangGGSL15
Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee:
A Hybrid Approach to Causality Analysis. 250-265

Short Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rv/KyleHC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KyleHC15
David Kyle, Jeffery P. Hansen, Sagar Chaki:
Statistical Model Checking of Distributed Adaptive Real-Time Software. 269-274
- view
  authority control:
- export record
  dblp key:
  - conf/rv/NaskosSKG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/NaskosSKG15
Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros, Anastasios Gounaris:
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources. 275-280
- view
  authority control:
- export record
  dblp key:
  - conf/rv/NguyenSBJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/NguyenSBJ15
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson:
Runtime Verification for Hybrid Analysis Tools. 281-286
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Reger15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Reger15
Giles Reger:
Suggesting Edits to Explain Failing Traces. 287-293

Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rv/ChimentoAPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ChimentoAPS15
Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider:
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. 297-305
- view
  authority control:
- export record
  dblp key:
  - conf/rv/PinisettyFJM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/PinisettyFJM15
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand:
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. 306-320

Tutorial Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rv/BortolussiMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BortolussiMS15
Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti:
Machine Learning Methods in Statistical Model Checking and System Design - Tutorial. 323-341
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DaianFMSSIR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DaianFMSSIR15
Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu:
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. 342-357
- view
  authority control:
- export record
  dblp key:
  - conf/rv/IsbernerSH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/IsbernerSH15
Malte Isberner, Bernhard Steffen, Falk Howar:
LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. 358-377
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Nickovic15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Nickovic15
Dejan Nickovic:
Monitoring and Measuring Hybrid Behaviors A Tutorial. 378-402

Software Competitions

- view
  authority control:
- export record
  dblp key:
  - conf/rv/FalconeNRT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FalconeNRT15
Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma:
Second International Competition on Runtime Verification CRV 2015. 405-422
- view
  authority control:
- export record
  dblp key:
  - conf/rv/GeskeIS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/GeskeIS15
Maren Geske, Malte Isberner, Bernhard Steffen:
Rigorous Examination of Reactive Systems: The RERS Challenge 2015. 423-429

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.