| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu |
Runtime Verification with Particle Filtering.  |
RV  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Almeida Matos, Jan Cederquist |
Informative Types and Effects for Hybrid Migration Control. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineeth Mekkat, Anup Holey, Antonia Zhai |
Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka |
With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee 0001 |
A Causality Analysis Framework for Component-Based Real-Time Systems. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengsong Wang, Zhenbang Chen, Xiaoguang Mao |
Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Jan-Christoph Küster, Gil Vegliach |
From Propositional to First-Order Monitoring. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaz Qadeer, Serdar Tasiran (eds.) |
Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck |
A Witnessing Compiler: A Proof of Concept. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister |
Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund |
A Scala DSL for Rete-Based Runtime Verification. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid |
Repair Abstractions for More Efficient Data Structure Repair. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim R. Larus |
It's the End of the World as We Know It (And I Feel Fine). |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Eyolfson, Patrick Lam 0001 |
Detecting Unread Memory Using Dynamic Binary Translation. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yliès Falcone, Sebastian Currea, Mohamad Jaber 0001 |
Runtime Verification and Enforcement for Android Applications with RV-Droid. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet |
BabelTrace: A Collection of Transducers for Trace Validation. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarfraz Khurshid, Koushik Sen (eds.) |
Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenchao Li 0001, Sanjit A. Seshia |
Sparse Coding for Specification Mining and Error Localization. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Doina Bucur |
Temporal Monitors for TinyOS. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo |
Runtime Enforcement of Timed Properties. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo 0001, Gordon J. Pace |
Fast-Forward Runtime Monitoring - An Industrial Case Study. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Vigna |
Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
Monitoring Compliance Policies over Incomplete and Disagreeing Logs. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Malay K. Ganai |
Dynamic Livelock Analysis of Multi-threaded Programs. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
Path-Aware Time-Triggered Runtime Verification. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | John Erickson, Stephen N. Freund, Madanlal Musuvathi |
Dynamic Analyses for Data-Race Detection. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin D. Rodes, Anh Nguyen-Tuong, Jason Hiser, John C. Knight, Michele Co, Jack W. Davidson |
Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen |
Rewrite-Based Statistical Model Checking of WMTL. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Baldor, Jianwei Niu 0001 |
Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Fiedor, Tomás Vojnar |
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismail Kuru 0001, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor, Osman S. Unsal |
PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard |
From Runtime Verification to Runtime Intervention and Adaptation. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Darulova, Viktor Kuncak |
Certifying Solutions for Numerical Constraints. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Cadar, Koushik Sen |
Symbolic Execution. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker |
Sliding between Model Checking and Runtime Verification. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey |
Scalable Dynamic Partial Order Reduction. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Traian-Florin Serbanuta, Feng Chen 0006, Grigore Rosu |
Maximal Causal Models for Sequentially Consistent Systems. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster |
Adaptive Runtime Verification. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Reinbacher, Matthias Függer, Jörg Brauer |
Real-Time Runtime Verification on Chip. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Marta Z. Kwiatkowska, David Parker 0001, Hongyang Qu 0001, Mateusz Ujma |
Incremental Runtime Verification of Probabilistic Systems. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé |
MapReduce for Parallel Trace Validation of LTL Properties. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Richter, Klaus Kabitzsch |
Quantitative Trace Analysis Using Extended Timing Diagrams. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Nelson, David J. Pearce 0001, James Noble 0001 |
Profiling Field Initialisation in Java. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bohuslav Krena, Zdenek Letko, Tomás Vojnar |
Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bodden |
MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration). |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee 0001 |
Runtime Verification of Traces under Recording Uncertainty. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Wang 0001, Malay K. Ganai |
Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharad Malik |
Runtime Verification: A Computer Architecture Perspective. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic |
Parametric Identification of Temporal Properties. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan |
Cooperative Concurrency for a Multicore World - (Extended Abstract). |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Horatiu Jula, Silviu Andrica, George Candea |
Efficiency Optimizations for Implementations of Deadlock Immunity. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar |
Permission Regions for Race-Free Parallelism. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, Dmitriy Vyukov |
Dynamic Race Detection with LLVM Compiler - Compile-Time Instrumentation for ThreadSanitizer. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven P. Reiss, Alexander Tarvo |
What Is My Program Doing? Program Dynamics in Programmer's Terms. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker |
Teaching Runtime Verification. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst |
Runtime Verification of LTL-Based Declarative Process Models. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister |
Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa |
Unbounded Symbolic Execution for Program Verification. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Sebastian Fischmeister |
Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoquan Wu, Jun Wei 0001, Chunyang Ye, Xiaozhe Shao, Hua Zhong 0001, Tao Huang 0001 |
Runtime Verification of Data-Centric Properties in Service Based Systems. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu |
MONPOLY: Monitoring Usage-Control Policies. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan |
Isolating Determinism in Multi-threaded Programs. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Barringer, Klaus Havelund |
Internal versus External DSLs for Trace Analysis - (Extended Abstract). |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Chakarov, Sriram Sankaranarayanan 0001, Georgios Fainekos |
Combining Time and Frequency Domain Specifications for Periodic Signals. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo 0001, Adrian Francalanza, Rudolph Gatt |
Elarva: A Monitoring Tool for Erlang. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok |
Runtime Verification with State Estimation. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | William N. Sumner, Christian Hammer 0001, Julian Dolby |
Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Milos Zefran, Yao Feng |
Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Newres Al Haider, Benoit Gaudin, John Murphy 0001 |
Execution Trace Exploration and Analysis Using Ontologies. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
Algorithms for Monitoring Real-Time Properties. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lee Pike, Sebastian Niller, Nis Wegmann |
Runtime Verification for Ultra-Critical Systems. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers, Bernd Finkbeiner |
Monitoring Realizability. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar |
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski |
Automated Test-Trace Inspection for Microcontroller Binary Code. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu |
Monitoring Data Structures Using Hardware Transactional Memory. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Narcisa Andreea Milea, Siau-Cheng Khoo, David Lo 0001, Cristian Pop |
NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid |
Reducing Configurations to Monitor in a Software Product Line. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav |
Efficient Data Race Detection for Async-Finish Parallelism. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bodden, Patrick Lam 0001 |
Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina M. Wilcox, Brian C. Williams |
Runtime Verification of Stochastic, Faulty Systems. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Demsky, Jin Zhou, William Montaz |
Recovery Tasks: An Automated Approach to Failure Recovery. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis |
Verification of an AFDX Infrastructure Using Simulations and Probabilities. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Zamfir, George Candea |
Low-Overhead Bug Fingerprinting for Fast Debugging. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Maurizio Parton, Francesca Scozzari |
A Tool Which Mines Partial Execution Traces to Improve Static Analysis. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasu Singh |
Runtime Verification for Software Transactional Memories. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Achenbach, Klaus Ostermann |
A Meta-Aspect Protocol for Developing Dynamic Analyses. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Tabakov, Moshe Y. Vardi |
Optimized temporal monitors for SystemC. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Ackermann, Rance Cleaveland, Samuel Huang 0001, Arnab Ray, Charles P. Shelton, Elizabeth Latronico |
Automatic Requirement Extraction from Test Cases. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit |
Checking the Correspondence between UML Models and Implementation. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Legay, Benoît Delahaye, Saddek Bensalem |
Statistical Model Checking: An Overview. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Musfiq Rahman, Bruce R. Childers, Sangyeun Cho |
StealthWorks: Emulating Memory Errors. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick O'Neil Meredith, Grigore Rosu |
Runtime Verification with the RV System. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Barnett 0001 |
Code Contracts for .NET: Runtime Verification and So Much More. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Djihed Afifi, David E. Rydeheard, Howard Barringer |
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Odersky |
Contracts for Scala. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Feigin, Alan Mycroft |
Formally Efficient Program Instrumentation. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo 0001, Andrew Gauci, Gordon J. Pace |
LarvaStat: Monitoring of Statistical Properties. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé, Roger Villemaire |
Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license