| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Grigore Rosu |
Finite-Trace Linear Temporal Logic: Coinductive Completeness.  |
RV  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger, Sylvain Hallé, Yliès Falcone |
Third International Competition on Runtime Verification - CRV 2016. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Kosmatov, Julien Signoles |
Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Teng Zhang, Peter Gebhard, Oleg Sokolsky |
SMEDL: Combining Synchronous and Asynchronous Monitoring. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Kauffman, Klaus Havelund, Rajeev Joshi |
nfer - A Notation and System for Inferring Event Stream Abstractions. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen |
Wireless Protocol Validation Under Uncertainty. |
RV |
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. |
RV |
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. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier |
Runtime Analysis with R2U2: A Tool Exhibition Report. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Bernd Finkbeiner |
Runtime Verification for HyperLTL. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Duncan Paul Attard, Adrian Francalanza |
A Monitoring Tool for a Branching-Time Logic. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger |
An Overview of MarQ. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Yavolovsky, Milos Zefran, A. Prasad Sistla |
Decision-Theoretic Monitoring of Cyber-Physical Systems. |
RV |
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. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq, Jean-Philippe Lachance |
On the Complexity of Monitoring Orchids Signatures. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Selyunin, Thang Nguyen 0007, Ezio Bartocci, Radu Grosu |
Applying Runtime Monitoring for Automotive Electronic Development. |
RV |
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. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Rapin |
Reactive Property Monitoring of Hybrid Systems with Aggregation. |
RV |
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 |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic |
Quantitative Monitoring of STL with Edit Distance. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rishi Surendran, Vivek Sarkar |
Dynamic Determinacy Race Detection for Task Parallelism with Futures. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Christoph Küster, Andreas Bauer 0002 |
Monitoring Real Android Malware. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti |
Machine Learning Methods in Statistical Model Checking and System Design - Tutorial. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
Time-Triggered Runtime Verification of Component-Based Multi-core Systems. |
RV |
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. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David Kyle, Jeffery P. Hansen, Sagar Chaki |
Statistical Model Checking of Distributed Adaptive Real-Time Software. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Cassar, Adrian Francalanza |
Runtime Adaptation for Actor Systems. |
RV |
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. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Laurent, Alwyn Goodloe, Lee Pike |
Assuring the Guardians. |
RV |
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. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Perotti, Guido Boella, Artur S. d'Avila Garcez |
Runtime Verification Through Forward Chaining. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Malte Isberner, Bernhard Steffen, Falk Howar |
LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. |
RV |
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-∫. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejan Nickovic |
Monitoring and Measuring Hybrid Behaviors A Tutorial. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee 0001 |
A Hybrid Approach to Causality Analysis. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Maren Geske, Malte Isberner, Bernhard Steffen |
Rigorous Examination of Reactive Systems: The RERS Challenge 2015. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger |
Suggesting Edits to Explain Failing Traces. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir |
On Verifying Hennessy-Milner Logic with Recursion at Runtime. |
RV |
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. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger, David E. Rydeheard |
From First-order Temporal Logic to Parametric Trace Slicing. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma |
Second International Competition on Runtime Verification CRV 2015. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink |
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Kassem 0001, Yliès Falcone, Pascal Lafourcade 0001 |
Monitoring Electronic Exams. |
RV |
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 |
RV |
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. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Viet Nguyen, Christian Schilling 0001, Sergiy Bogomolov, Taylor T. Johnson |
Runtime Verification for Hybrid Analysis Tools. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier |
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. |
RV |
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. |
RV |
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. |
RV |
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. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hentschel 0002, Richard Bubel, Reiner Hähnle |
Symbolic Execution Debugger (SED). |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, César Sánchez 0001 |
Foundations of Boolean Stream Runtime Verification. |
RV |
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. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo 0001, Yliès Falcone |
Organising LTL Monitors over Distributed Systems with a Global Clock. |
RV |
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. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Ballarin |
Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Christakis, Patrick Emmisberger, Peter Müller 0001 |
Dynamic Test Generation with Static Fields and Initializers. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuei Sun, Daniel Fryer, Dai Qin, Angela Demke Brown, Ashvin Goel |
Robust Consistency Checking for Modern Filesystems. |
RV |
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. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsi-Ming Ho, Joël Ouaknine, James Worrell 0001 |
Online Monitoring of Metric Temporal Logic. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali |
Lazy Symbolic Execution for Enhanced Learning. |
RV |
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. |
RV |
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. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Chai, Bernd-Holger Schlingloff |
Monitoring Systems with Extended Live Sequence Charts. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
On Real-Time Monitoring with Imprecise Timestamps. |
RV |
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. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone |
First International Competition on Software for Runtime Verification. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Mitsch, André Platzer |
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
On-Line Monitoring for Temporal Logic Robustness. |
RV |
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 |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanouil Koukoutos, Viktor Kuncak |
Checking Data Structure Properties Orders of Magnitude Faster. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Malte Isberner, Falk Howar, Bernhard Steffen |
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Yeolekar |
Improving Dynamic Inference with Variable Dependence Graph. |
RV |
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. |
RV |
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. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel |
Scalable Offline Monitoring. |
RV |
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. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitra Tabaei Befrouei, Chao Wang 0001, Georg Weissenbacher |
Abstraction and Mining of Traces to Explain Concurrency Bugs. |
RV |
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. |
RV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Falzon, Eric Bodden, Rahul Purandare |
Distributed Finite-State Runtime Monitoring with Aggregated Events. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Etienne Kneuss, Philippe Suter |
Executing Specifications Using Synthesis and Constraint Solving. |
RV |
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. |
RV |
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. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Bruyère, Marc Ducobu, Olivier Gauwin |
Right-Universality of Visibly Pushdown Automata. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Arzt, Siegfried Rasthofer, Eric Bodden |
Instrumenting Android and Java Applications as Easy as abc. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mickaël Delahaye, Nikolai Kosmatov |
A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Francalanza, Aldrin Seychell |
Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract). |
RV |
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. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
Monitoring of Temporal First-Order Properties with Aggregations. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hillel Kugler |
Runtime Verification and Refutation for Biological Systems. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Donzé |
On Signal Temporal Logic. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Kosmatov, Guillaume Petiot, Julien Signoles |
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rumyana Neykova, Nobuko Yoshida, Raymond Hu |
SPY: Local Verification of Global Protocols. |
RV |
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. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo 0001, Ruth Mizzi, Gordon J. Pace |
SMock - A Test Platform for Monitoring Tools. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Normann Decker, Martin Leucker, Daniel Thoma |
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lixin Li, Chao Wang 0001 |
Dynamic Analysis and Debugging of Binary Code for Security Applications. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Kosmatov, Julien Signoles |
A Lesson on Runtime Assertion Checking with Frama-C. |
RV |
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 |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jukka Julku, Mika Rautila |
Towards a Generic Non-intrusive Fault Detection Framework. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license