|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 15 keywords
|
|
|
|
|
Results
Found 462 publication records. Showing 462 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | 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 | Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet |
Causality Analysis in Contract Violation. |
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 | 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 | Etienne Kneuss, Philippe Suter, Viktor Kuncak |
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo 0001, Gordon J. Pace, Patrick Abela |
Compensation-Aware Runtime Monitoring. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bodden, Patrick Lam 0001, Laurie J. Hendren |
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Sekar 0001 |
Runtime Analysis and Instrumentation for Securing Software. |
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 0001 |
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. |
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 | Cyrille Valentin Artho |
Run-Time Verification of Networked Software. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee 0001, 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 | Wim De Pauw, Mihai Letia, Bugra Gedik, Henrique Andrade, Andy Frenkiel, Michael Pfeifer, Daby M. Sow |
Visual Debugging for Stream Processing Applications. |
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 | 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 | Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer |
Run-Time Verification of Optimistic Concurrency. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee 0001 |
DMaC: Distributed Monitoring and Checking. |
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 | 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 | Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta |
Runtime Verification of C Memory Safety. |
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 | 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 | Saddek Bensalem, Doron A. Peled (eds.) |
Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers |
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 | 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 | Sriram K. Rajamani |
Verification, Testing and Statistics. |
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 | Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier |
Runtime Verification of Safety-Progress Properties. |
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 | Trevor Hansen, Peter Schachte, Harald Søndergaard |
State Joining and Splitting for the Symbolic Execution of Binaries. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John M. Rushby |
Runtime Certification. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq, Julien Olivain |
A Smell of Orchids. |
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 | Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur |
Deadlocks: From Exhibiting to Healing. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Horatiu Jula, George Candea |
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. |
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 | Martin Leucker (eds.) |
Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Feng Chen 0006, Thomas Ball |
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. |
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 | Hakim Belhaouari, Frédéric Peschanski |
A Lightweight Container Architecture for Runtime Verification. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Baran, Howard Barringer |
Forays into Sequential Composition and Concatenation in Eagle. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky |
Checking Traces for Regulatory Conformance. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Durr, Lodewijk Bergmans, Mehmet Aksit |
Static and Dynamic Detection of Behavioral Conflicts Between Aspects. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Eisner |
PSL for Runtime Verification: Theory and Practice. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini |
Runtime Verification of Interactions: From MSCs to Aspects. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Avgustinov, Julian Tibble, Oege de Moor |
On the Semantics of Matching Trace Monitoring Patterns. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Serdar Tasiran (eds.) |
Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Tasiran, Tayfun Elmas |
Rollback Atomicity. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Barringer, David E. Rydeheard, Klaus Havelund |
Rule Systems for Run-Time Monitoring: From Eagleto RuleR. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Usa Sammapun, Insup Lee 0001, Oleg Sokolsky, John Regehr |
Statistical Runtime Checking of Probabilistic Properties. |
RV |
2007 |
DBLP DOI BibTeX RDF |
statistical monitoring, Runtime verification, probabilistic properties |
| 1 | Hiromasa Shin, Yusuke Endoh, Yoshio Kataoka |
ARVE: Aspect-Oriented Runtime Verification Environment. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter |
Translation Validation of System Abstractions. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates |
Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. |
RV |
2007 |
DBLP DOI BibTeX RDF |
Java-MaC, Aspect Oriented Programming, Runtime Verification, Runtime Monitoring, Software Assurance |
| 1 | Volker Stolz |
Temporal Assertions with Parametrised Propositions. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Mahoney, William L. Sousan |
Instrumentation of Open-Source Software for Intrusion Detection. |
RV |
2007 |
DBLP DOI BibTeX RDF |
Intrusion Detection, Domain Specific Language, Instrumentation |
| 1 | Eric Bodden, Laurie J. Hendren, Patrick Lam 0001, Ondrej Lhoták, Nomair A. Naeem |
Collaborative Runtime Verification with Tracematches. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Martin Leucker, Christian Schallhart |
The Good, the Bad, and the Ugly, But How Ugly Is Ugly? |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard |
Runtime Checking for Program Verification. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Barringer, Dov M. Gabbay, David E. Rydeheard |
From Runtime Verification to Evolvable Systems. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Charlotte Herzeel, Kris Gybels, Pascal Costanza |
Escaping with Future Variables in HALO. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #462 of 462 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license