Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir |
Comparing Controlled System Synthesis and Suppression Enforcement. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Teng Zhang, Greg Eakman, Insup Lee 0001, Oleg Sokolsky |
Overhead-Aware Deployment of Runtime Monitors. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nic Volanschi, Bernard P. Serpette |
AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Doron Peled |
An Extension of LTL with Rules and Its Application to Runtime Verification. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Leonardo Mariani (eds.) |
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan 0001, Ashutosh Trivedi 0001 |
Efficient Detection and Quantification of Timing Leaks with Neural Networks. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luis Miguel Danielsson, César Sánchez 0001 |
Decentralized Stream Runtime Verification. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dogan Ulus |
Timescales: A Benchmark Generator for MTL Monitoring Tools. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dogan Ulus, Calin Belta |
Reactive Control Meets Runtime Verification: A Case Study of Navigation. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan 0001 |
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh |
Shape Expressions for Specifying and Extracting Signal Features. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta |
NuRV: A nuXmv Extension for Runtime Verification. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Leucker, César Sánchez 0001, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma |
Runtime Verification for Timed Event Streams with Partial Information. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hansol Yoon, Yi Chou, Xin Chen 0002, Eric W. Frew, Sriram Sankaranarayanan 0001 |
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sampath Kannan, Moonzoo Kim, Insup Lee 0001, Oleg Sokolsky, Mahesh Viswanathan 0001 |
A Retrospective Look at the Monitoring and Checking (MaC) Framework. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sean Kauffman, Klaus Havelund, Sebastian Fischmeister |
Monitorability over Unreliable Channels. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Srinivas Pinisetty |
On the Runtime Enforcement of Timed Properties. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Hahn |
Algorithms for Monitoring Hyperproperties. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller |
Neural Predictive Monitoring. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Reza Babaee, Vijay Ganesh, Sean Sedwards |
Accelerated Learning of Predictive Runtime Monitors for Rare Failure. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta |
Assumption-Based Runtime Verification with Partial Observability and Resets. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hazem Torfah |
Stream-Based Monitors for Real-Time Properties. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lang Feng, Jeff Huang 0001, Jiang Hu, Abhijith Reddy |
FastCFI: Real-Time Control Flow Integrity Using FPGA Without Code Instrumentation. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Heneage Dawes, Giles Reger |
Explaining Violations of Properties in Control-Flow Temporal Logic. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sanjit A. Seshia |
Introspective Environment Modeling. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Schneider 0001, David A. Basin, Srdan Krstic, Dmitriy Traytel |
A Formally Verified Monitor for Metric First-Order Temporal Logic. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi |
Property-Driven Runtime Resolution of Feature Interactions. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Schneider 0001, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel |
Scalable Online First-Order Monitoring. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister |
Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Antoine El-Hokayem, Yliès Falcone |
Bringing Runtime Verification Home. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma, Alexander Weiss |
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet |
An Environment for the ParTraP Trace Property Language (Tool Demonstration). |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Hosein Nazarpour, Mohamad Jaber 0001, Marius Bozga, Saddek Bensalem |
Tracing Distributed Component-Based Systems, a Brief Overview. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé, Raphaël Khoury |
Writing Domain-Specific Languages for BeepBeep. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | César Sánchez 0001 |
Online and Offline Stream Runtime Verification of Synchronous Systems. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shaun Azzopardi, Joshua Ellul, Gordon J. Pace |
Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
Time-Series Learning Using Monotonic Logical Properties. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Doron Peled |
Runtime Verification: From Propositional to First-Order Temporal Logic. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Antoine El-Hokayem, Yliès Falcone |
Can We Monitor All Multithreaded Programs? |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger, David E. Rydeheard |
From Parametric Trace Slicing to Rule Systems. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos |
Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Samy Jaziri, Nicolas Markey |
Efficient Timed Diagnosis Using Automata with Timed Domains. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci |
Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial). |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Grigore Rosu |
Runtime Verification - 17 Years Later. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen De Roover, Elisa Gonzalez Boix |
Practical Information Flow Control for Web Applications. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Martin Leucker (eds.) |
Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone |
Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare |
METIS: Resource and Context-Aware Monitoring of Finite State Properties. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Jahic, Matthias Jung 0001, Thomas Kuhn 0001, Claus Kestel, Norbert Wehn |
A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jianwen Li, Kristin Y. Rozier |
MLTL Benchmark Generation via Formula Progression. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Gorostiaga, César Sánchez 0001 |
Striver: Stream Runtime Verification for Real-Time Event-Streams. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel |
A Taxonomy for Classifying Runtime Verification Tools. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer |
Efficient Monitoring of Real Driving Emissions. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Ferrando 0001, Louise A. Dennis, Davide Ancona, Michael Fisher 0001, Viviana Mascardi |
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez 0001, Gerardo Schneider, Volker Stolz |
COST Action IC1402 Runtime Verification Beyond Monitoring. |
RV |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Benavides, Rajiv Gupta 0001, Xiangyu Zhang 0001 |
Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas |
Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Srdan Krstic, Dmitriy Traytel |
Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Paulos, Partha P. Pal, Shane S. Clark, Kyle Usbeck, Patrick Hurley |
Trusted Mission Operation - Concept and Implementation. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Desai, Shaz Qadeer |
P: Modular and Safe Asynchronous Programming. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jun Inoue 0001, Yoriyuki Yamagata |
Operational Semantics of Process Monitors. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia |
Combining Model Checking and Runtime Verification for Safe Robotics. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup |
Monitoring Hyperproperties. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury |
Event Stream Processing with Multiple Threads. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Bombara, Calin Belta |
Signal Clustering Using Temporal Logics. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens |
Stream Runtime Monitoring on UAS. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Martin Tappler |
Probabilistic Black-Box Reachability Checking. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone |
Verifying Policy Enforcers. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Himanshu Chauhan, Vijay K. Garg |
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shuo Chen 0001, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer |
SVAuth - A Single-Sign-On Integration Solution with Runtime Verification. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Babak Yadegari, Saumya Debray |
Control Dependencies in Interpretive Systems. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kim Völlinger |
Verifying the Output of a Distributed Algorithm Using Certification. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Katarína Kejstová, Petr Rockai, Jiri Barnat |
From Model Checking to Runtime Verification and Back. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Giles Reger (eds.) |
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Björn Andersson, Sagar Chaki, Dionisio de Niz |
Combining Symbolic Runtime Enforcers for Cyber-Physical Systems. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Prashanth Nayak, Mike Hibler, David Johnson 0004, Eric Eide |
A Wingman for Virtual Appliances. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Minjun Seo, Roman Lysecky |
Hierarchical Non-intrusive In-situ Requirements Monitoring for Embedded Systems. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Ishii, Alexandre Goldsztejn |
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chafik Meniar, Florence Opalvens, Sylvain Hallé |
Runtime Verification of User Interface Guidelines in Mobile Devices. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir |
A Foundation for Runtime Monitoring. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Susmit Jha, Ashish Tiwari 0001, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar |
TeLEx: Passive STL Learning Using Only Positive Examples. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Teng Zhang, John Wiegley, Insup Lee 0001, Oleg Sokolsky |
Monitoring Time Intervals. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Salehe Matar, Serdar Tasiran, Didem Unat |
EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chaoqiang Deng, Kedar S. Namjoshi |
Witnessing Network Transformations. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson |
Runtime Detection of Temporal Memory Errors. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Doron Peled |
Using Genetic Programming for Software Reliability. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb |
TrackOS: A Security-Aware Real-Time Operating System. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue 0001, Lei Ma 0003, Yoshinori Tanabe, Mitsuharu Yamamoto |
Runtime Monitoring for Concurrent Systems. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé |
When RV Meets CEP. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Takumi Akazaki |
Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carl Martin Rosenberg, Martin Steffen, Volker Stolz |
Leveraging DTrace for Runtime Verification. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman |
Runtime Visualization and Verification in JIVE. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David M. Cerna, Wolfgang Schreiner, Temur Kutsia |
Predicting Space Requirements for a Stream Monitor Specification Language. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Macías, Torben Scheffel, Malte Schmitz 0001, Rui Wang |
Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle |
Input Attribution for Statistical Model Checking Using Logistic Regression. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah |
A Stream-Based Specification Language for Network Monitoring. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Raúl Pardo, Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider |
An Automata-Based Approach to Evolving Privacy Policies for Social Networks. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi |
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Moreno 0002, Sebastian Fischmeister |
Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oded Maler |
Some Thoughts on Runtime Verification. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|