| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | Martin Leucker |
Teaching Runtime Verification. |
RV |
2011 |
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 | A. Prasad Sistla, Milos Zefran, Yao Feng |
Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. |
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 | Steven P. Reiss, Alexander Tarvo |
What Is My Program Doing? Program Dynamics in Programmer's Terms. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharad Malik |
Runtime Verification: A Computer Architecture Perspective. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Narcisa Andreea Milea, Siau-Cheng Khoo, David Lo, Cristian Pop |
NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows. |
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 | David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu |
MONPOLY: Monitoring Usage-Control Policies. |
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 | Newres Al Haider, Benoit Gaudin, John Murphy |
Execution Trace Exploration and Analysis Using Ontologies. |
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 | 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 | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
Algorithms for Monitoring Real-Time Properties. |
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 | Eric Bodden |
MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration). |
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 | 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 | 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 | Howard Barringer, Klaus Havelund |
Internal versus External DSLs for Trace Analysis - (Extended Abstract). |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee |
Runtime Verification of Traces under Recording Uncertainty. |
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 | Chao Wang, Malay K. Ganai |
Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. |
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 | 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 | 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 | Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios E. Fainekos |
Combining Time and Frequency Domain Specifications for Periodic Signals. |
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 | Christian Colombo, Adrian Francalanza, Rudolph Gatt |
Elarva: A Monitoring Tool for Erlang. |
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 | Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu |
Monitoring Data Structures Using Hardware Transactional Memory. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao, Hua Zhong, Tao Huang |
Runtime Verification of Data-Centric Properties in Service Based Systems. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | William N. Sumner, Christian Hammer, Julian Dolby |
Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers, Bernd Finkbeiner |
Monitoring Realizability. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim De Pauw, Mihai Letia, Bugra Gedik, Henrique Andrade, Andy Frenkiel, Michael Pfeifer, Daby Sow |
Visual Debugging for Stream Processing Applications. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Barnett |
Code Contracts for .NET: Runtime Verification and So Much More. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico |
Automatic Requirement Extraction from Test Cases. |
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 | Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller |
Copilot: A Hard Real-Time Runtime Monitor. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo, Gordon J. Pace, Patrick Abela |
Compensation-Aware Runtime Monitoring. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion |
Behavior Abstraction in Malware Analysis. |
RV |
2010 |
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 | Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann (eds.) |
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Schumann, Ashok N. Srivastava, Ole J. Mengshoel |
Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper). |
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 | Christian Colombo, Andrew Gauci, Gordon J. Pace |
LarvaStat: Monitoring of Statistical Properties. |
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 | Eric Bodden, Patrick Lam |
Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. |
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 | Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li |
WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. |
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 | Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit |
Checking the Correspondence between UML Models and Implementation. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Rahul Purandare, Suzette Person |
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer |
Run-Time Verification of Optimistic Concurrency. |
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 | Etienne Kneuss, Philippe Suter, Viktor Kuncak |
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bodden, Patrick Lam, Laurie J. Hendren |
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. |
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 |
|
| 1 | Cristina M. Wilcox, Brian C. Williams |
Runtime Verification of Stochastic, Faulty Systems. |
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 | Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet |
Causality Analysis in Contract Violation. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok |
Aspect-Oriented Instrumentation with GCC. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Kraft, Anders Wall, Holger M. Kienle |
Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yliès Falcone |
You Should Better Enforce Than Verify. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Malay K. Ganai, Chao Wang |
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Odersky |
Contracts for Scala. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Valentin Artho |
Run-Time Verification of Networked Software. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Tabakov, Moshe Y. Vardi |
Optimized temporal monitors for SystemC. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Sekar |
Runtime Analysis and Instrumentation for Securing Software. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Feigin, Alan Mycroft |
Formally Efficient Program Instrumentation. |
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 | 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 | Vasu Singh |
Runtime Verification for Software Transactional Memories. |
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 | Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce |
Rule Systems for Runtime Verification: A Short Tutorial. |
RV |
2009 |
DBLP DOI BibTeX RDF |
Java, temporal logic, Python, AspectJ, Runtime verification, log file analysis, code instrumentation, rule systems |
| 1 | Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä |
The LIME Interface Specification Language and Runtime Monitoring Tool. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Adler, Wolfram Amme |
Type-Separated Bytecode - Its Construction and Evaluation. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Doron Peled (eds.) |
Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar |
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos |
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier |
Runtime Verification of Safety-Progress Properties. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee |
DMaC: Distributed Monitoring and Checking. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Lars Kuhtz |
Monitor Circuits for LTL with Bounded and Unbounded Future. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Tripakis |
A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Zhai, Guojin He, Mats Per Erik Heimdahl |
Hardware Supported Flexible Monitoring: Early Results. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta |
Runtime Verification of C Memory Safety. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram K. Rajamani |
Verification, Testing and Statistics. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor Hansen, Peter Schachte, Harald Søndergaard |
State Joining and Splitting for the Symbolic Execution of Binaries. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur |
Deadlocks: From Exhibiting to Healing. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell |
Property Patterns for Runtime Monitoring of Web Service Conversations. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Feng Chen, Thomas Ball |
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John M. Rushby |
Runtime Certification. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhu Gopinathan, Sriram K. Rajamani |
Runtime Monitoring of Object Invariants with Guarantee. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky |
Checking Traces for Regulatory Conformance. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hakim Belhaouari, Frédéric Peschanski |
A Lightweight Container Architecture for Runtime Verification. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker (eds.) |
Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers |
RV |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joachim Baran, Howard Barringer |
Forays into Sequential Composition and Concatenation in Eagle. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")