Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Grigore Rosu |
Finite-Trace Linear Temporal Logic: Coinductive Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 333-350, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger, Sylvain Hallé, Yliès Falcone |
Third International Competition on Runtime Verification - CRV 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 21-37, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Kosmatov, Julien Signoles |
Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 92-115, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Teng Zhang, Peter Gebhard, Oleg Sokolsky |
SMEDL: Combining Synchronous and Asynchronous Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 482-490, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sean Kauffman, Klaus Havelund, Rajeev Joshi |
nfer - A Notation and System for Inferring Event Stream Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 235-250, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen |
Wireless Protocol Validation Under Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 351-367, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Yliès Falcone |
First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 17-20, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu |
Runtime Verification at Work: A Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 46-67, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier |
Runtime Analysis with R2U2: A Tool Exhibition Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 504-509, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Bernd Finkbeiner |
Runtime Verification for HyperLTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 41-45, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Duncan Paul Attard, Adrian Francalanza |
A Monitoring Tool for a Branching-Time Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 473-481, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger |
An Overview of MarQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 498-503, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Yavolovsky, Milos Zefran, A. Prasad Sistla |
Decision-Theoretic Monitoring of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 404-419, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas |
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 420-435, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jean Goubault-Larrecq, Jean-Philippe Lachance |
On the Complexity of Monitoring Orchids Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 169-184, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Selyunin, Thang Nguyen 0007, Ezio Bartocci, Radu Grosu |
Applying Runtime Monitoring for Automotive Electronic Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 462-469, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Omar Javed, Yudi Zheng, Andrea Rosà, Haiyang Sun, Walter Binder |
Extended Code Coverage for AspectJ-Based Runtime Verification Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 219-234, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Rapin |
Reactive Property Monitoring of Hybrid Systems with Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 447-453, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, César Sánchez 0001 (eds.) |
Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-319-46981-2 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic |
Quantitative Monitoring of STL with Edit Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 201-218, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rishi Surendran, Vivek Sarkar |
Dynamic Determinacy Race Detection for Task Parallelism with Futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 368-385, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan-Christoph Küster, Andreas Bauer 0002 |
Monitoring Real Android Malware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 136-152, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti |
Machine Learning Methods in Statistical Model Checking and System Design - Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 323-341, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
Time-Triggered Runtime Verification of Component-Based Multi-core Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 153-168, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan 0001 |
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 3-17, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Kyle, Jeffery P. Hansen, Sagar Chaki |
Statistical Model Checking of Distributed Adaptive Real-Time Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 269-274, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ian Cassar, Adrian Francalanza |
Runtime Adaptation for Actor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 38-54, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 201-215, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Laurent, Alwyn Goodloe, Lee Pike |
Assuring the Guardians. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 87-101, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros, Anastasios Gounaris |
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 275-280, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alan Perotti, Guido Boella, Artur S. d'Avila Garcez |
Runtime Verification Through Forward Chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 185-200, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Malte Isberner, Bernhard Steffen, Falk Howar |
LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 358-377, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto |
Monitoring for a Decidable Fragment of MTL-∫. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 169-184, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dejan Nickovic |
Monitoring and Measuring Hybrid Behaviors A Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 378-402, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee 0001 |
A Hybrid Approach to Causality Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 250-265, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Maren Geske, Malte Isberner, Bernhard Steffen |
Rigorous Examination of Reactive Systems: The RERS Challenge 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 423-429, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger |
Suggesting Edits to Explain Failing Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 287-293, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir |
On Verifying Hennessy-Milner Logic with Recursion at Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 71-86, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 342-357, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger, David E. Rydeheard |
From First-order Temporal Logic to Parametric Trace Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 216-232, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma |
Second International Competition on Runtime Verification CRV 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 405-422, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink |
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 21-37, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ali Kassem 0001, Yliès Falcone, Pascal Lafourcade 0001 |
Monitoring Electronic Exams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 118-135, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci, Rupak Majumdar (eds.) |
Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-319-23819-7 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 297-305, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luan Viet Nguyen, Christian Schilling 0001, Sergiy Bogomolov, Taylor T. Johnson |
Runtime Verification for Hybrid Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 281-286, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier |
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 233-249, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand |
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 306-320, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman |
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 102-117, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia |
Robust Online Monitoring of Signal Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 55-70, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hentschel 0002, Richard Bubel, Reiner Hähnle |
Symbolic Execution Debugger (SED). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 255-262, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, César Sánchez 0001 |
Foundations of Boolean Stream Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 64-79, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Geist, Kristin Y. Rozier, Johann Schumann |
Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 215-230, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Yliès Falcone |
Organising LTL Monitors over Distributed Systems with a Global Clock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 140-155, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Huang 0001, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu |
ROSRV: Runtime Verification for Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 247-254, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Ballarin |
Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 15-30, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maria Christakis, Patrick Emmisberger, Peter Müller 0001 |
Dynamic Test Generation with Static Fields and Initializers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 269-284, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kuei Sun, Daniel Fryer, Dai Qin, Angela Demke Brown, Ashvin Goel |
Robust Consistency Checking for Modern Filesystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 85-91, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers |
On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 92-107, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hsi-Ming Ho, Joël Ouaknine, James Worrell 0001 |
Online Monitoring of Metric Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 178-192, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali |
Lazy Symbolic Execution for Enhanced Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 323-339, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé |
Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 10-14, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé |
Portable Runtime Verification with Smartphones and Optical Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 80-84, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ming Chai, Bernd-Holger Schlingloff |
Monitoring Systems with Extended Live Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 48-63, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
On Real-Time Monitoring with Imprecise Timestamps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 193-198, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aravind Sukumaran-Rajam, Juan Manuel Martinez Caamaño, Willy Wolff, Alexandra Jimborean, Philippe Clauss |
Speculative Program Parallelization with Scalable and Decentralized Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 124-139, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone |
First International Competition on Software for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 1-9, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Mitsch, André Platzer |
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 199-214, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
On-Line Monitoring for Temporal Logic Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 231-246, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Scott A. Smolka (eds.) |
Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-319-11163-6 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emmanouil Koukoutos, Viktor Kuncak |
Checking Data Structure Properties Orders of Magnitude Faster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 263-268, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Malte Isberner, Falk Howar, Bernhard Steffen |
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 307-322, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anand Yeolekar |
Improving Dynamic Inference with Variable Dependence Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 301-306, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jiannan Zhai, Nigamanth Sridhar, Jason O. Hallstrom |
Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 108-123, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erdal Mutlu, Vladimir Gajinov, Adrián Cristal, Serdar Tasiran, Osman S. Unsal |
Dynamic Verification for Hybrid Concurrent Programming Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 156-161, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel |
Scalable Offline Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 31-47, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ayoub Nouri, Balaji Raman 0001, Marius Bozga, Axel Legay, Saddek Bensalem |
Faster Statistical Model Checking by Means of Abstraction and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 340-355, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mitra Tabaei Befrouei, Chao Wang 0001, Georg Weissenbacher |
Abstraction and Mining of Traces to Explain Concurrency Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 162-177, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu |
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 285-300, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Falzon, Eric Bodden, Rahul Purandare |
Distributed Finite-State Runtime Monitoring with Aggregated Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 94-111, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Kuncak, Etienne Kneuss, Philippe Suter |
Executing Specifications Using Synthesis and Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 1-20, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé |
Runtime Monitoring of Temporal Logic Properties in a Platform Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 346-351, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Polikarpova, Carlo A. Furia, Scott West |
To Run What No One Has Run Before: Executing an Intermediate Verification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 251-268, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Bruyère, Marc Ducobu, Olivier Gauwin |
Right-Universality of Visibly Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 76-93, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Steven Arzt, Siegfried Rasthofer, Eric Bodden |
Instrumenting Android and Java Applications as Easy as abc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 364-381, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mickaël Delahaye, Nikolai Kosmatov |
A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 328-333, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Francalanza, Aldrin Seychell |
Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 112-129, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda 0001 |
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 130-148, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
Monitoring of Temporal First-Order Properties with Aggregations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 40-58, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hillel Kugler |
Runtime Verification and Refutation for Biological Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 384-385, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Donzé |
On Signal Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 382-383, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Kosmatov, Guillaume Petiot, Julien Signoles |
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 167-182, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rumyana Neykova, Nobuko Yoshida, Raymond Hu |
SPY: Local Verification of Global Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 358-363, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Montplaisir, Naser Ezzati-Jivan, Florian Wininger, Michel R. Dagenais |
Efficient Model to Query and Visualize the System States Extracted from Trace Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 219-234, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Ruth Mizzi, Gordon J. Pace |
SMock - A Test Platform for Monitoring Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 352-357, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Normann Decker, Martin Leucker, Daniel Thoma |
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 183-200, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lixin Li, Chao Wang 0001 |
Dynamic Analysis and Debugging of Binary Code for Security Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 403-423, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Kosmatov, Julien Signoles |
A Lesson on Runtime Assertion Checking with Frama-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 386-399, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Axel Legay, Saddek Bensalem (eds.) |
Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-642-40786-4 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jukka Julku, Mika Rautila |
Towards a Generic Non-intrusive Fault Detection Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 334-339, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|