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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 149-166, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ana Almeida Matos, Jan Cederquist |
Informative Types and Effects for Hybrid Migration Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 21-39, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vineeth Mekkat, Anup Holey, Antonia Zhai |
Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 201-218, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kai Lampka |
With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 400-402, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 285-303, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chengsong Wang, Zhenbang Chen, Xiaoguang Mao |
Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 269-284, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Bauer 0002, Jan-Christoph Küster, Gil Vegliach |
From Propositional to First-Order Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 59-75, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-642-35631-5 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck |
A Witnessing Compiler: A Proof of Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 340-345, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 304-321, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund |
A Scala DSL for Rete-Based Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 322-327, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid |
Repair Abstractions for More Efficient Data Structure Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, pp. 235-250, 2013, Springer, 978-3-642-40786-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jim R. Larus |
It's the End of the World as We Know It (And I Feel Fine). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 48, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jon Eyolfson, Patrick Lam 0001 |
Detecting Unread Memory Using Dynamic Binary Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 49-63, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Sebastian Currea, Mohamad Jaber 0001 |
Runtime Verification and Enforcement for Android Applications with RV-Droid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 88-95, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet |
BabelTrace: A Collection of Transducers for Trace Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 126-130, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-642-29859-2 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wenchao Li 0001, Sanjit A. Seshia |
Sparse Coding for Specification Mining and Error Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 64-81, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Doina Bucur |
Temporal Monitors for TinyOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 96-109, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 229-244, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Gordon J. Pace |
Fast-Forward Runtime Monitoring - An Industrial Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 214-228, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Vigna |
Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 183, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu |
Monitoring Compliance Policies over Incomplete and Disagreeing Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 151-167, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Malay K. Ganai |
Dynamic Livelock Analysis of Multi-threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 3-18, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister |
Path-Aware Time-Triggered Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 199-213, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John Erickson, Stephen N. Freund, Madanlal Musuvathi |
Dynamic Analyses for Data-Race Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 1, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 308-313, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 260-275, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Baldor, Jianwei Niu 0001 |
Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 245-259, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 35-41, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 42-47, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Rinard |
From Runtime Verification to Runtime Intervention and Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 276, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eva Darulova, Viktor Kuncak |
Certifying Solutions for Numerical Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 277-291, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Cadar, Koushik Sen |
Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 2, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Leucker |
Sliding between Model Checking and Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 82-87, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey |
Scalable Dynamic Partial Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 19-34, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Traian-Florin Serbanuta, Feng Chen 0006, Grigore Rosu |
Maximal Causal Models for Sequentially Consistent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 136-150, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 168-182, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Reinbacher, Matthias Függer, Jörg Brauer |
Real-Time Runtime Verification on Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 110-125, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 314-319, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 184-198, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Richter, Klaus Kabitzsch |
Quantitative Trace Analysis Using Extended Timing Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 131-135, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Nelson, David J. Pearce 0001, James Noble 0001 |
Profiling Field Initialisation in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 292-307, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 177-192, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bodden |
MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 365-369, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 223-238, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee 0001 |
Runtime Verification of Traces under Recording Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 442-456, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chao Wang 0001, Malay K. Ganai |
Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 4-18, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sharad Malik |
Runtime Verification: A Computer Architecture Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 49-62, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 381-395, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic |
Parametric Identification of Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 147-160, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan |
Cooperative Concurrency for a Multicore World - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 342-344, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Horatiu Jula, Silviu Andrica, George Candea |
Efficiency Optimizations for Implementations of Deadlock Immunity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 78-93, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar |
Permission Regions for Race-Free Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 94-109, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 110-114, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Steven P. Reiss, Alexander Tarvo |
What Is My Program Doing? Program Dynamics in Programmer's Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 245-259, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Leucker |
Teaching Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 34-48, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 131-146, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 208-222, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa |
Unbounded Symbolic Execution for Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 396-411, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Sebastian Fischmeister |
Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 19-33, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 325-341, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu |
MONPOLY: Monitoring Usage-Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 360-364, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan |
Isolating Determinism in Multi-threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 63-77, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Howard Barringer, Klaus Havelund |
Internal versus External DSLs for Trace Analysis - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 1-3, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar Chakarov, Sriram Sankaranarayanan 0001, Georgios Fainekos |
Combining Time and Frequency Domain Specifications for Periodic Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 294-309, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Adrian Francalanza, Rudolph Gatt |
Elarva: A Monitoring Tool for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 370-374, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 193-207, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | William N. Sumner, Christian Hammer 0001, Julian Dolby |
Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 161-176, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | A. Prasad Sistla, Milos Zefran, Yao Feng |
Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 276-293, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Newres Al Haider, Benoit Gaudin, John Murphy 0001 |
Execution Trace Exploration and Analysis Using Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 412-426, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
Algorithms for Monitoring Real-Time Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 260-275, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lee Pike, Sebastian Niller, Nis Wegmann |
Runtime Verification for Ultra-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 310-324, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Bernd Finkbeiner |
Monitoring Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 427-441, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 375-380, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 239-244, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu |
Monitoring Data Structures Using Hardware Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 345-359, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers, pp. 115-130, 2011, Springer, 978-3-642-29859-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 285-299, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 368-383, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bodden, Patrick Lam 0001 |
Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 74-88, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cristina M. Wilcox, Brian C. Williams |
Runtime Verification of Stochastic, Faulty Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 452-459, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Brian Demsky, Jin Zhou, William Montaz |
Recovery Tasks: An Automated Approach to Failure Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 229-244, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 330-344, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Zamfir, George Candea |
Low-Overhead Bug Fingerprinting for Fast Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 460-468, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Maurizio Parton, Francesca Scozzari |
A Tool Which Mines Partial Execution Traces to Improve Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 475-479, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vasu Singh |
Runtime Verification for Software Transactional Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 421-435, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Achenbach, Klaus Ostermann |
A Meta-Aspect Protocol for Developing Dynamic Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 153-167, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Deian Tabakov, Moshe Y. Vardi |
Optimized temporal monitors for SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 436-451, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 1-15, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit |
Checking the Correspondence between UML Models and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 198-213, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Axel Legay, Benoît Delahaye, Saddek Bensalem |
Statistical Model Checking: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 122-135, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Musfiq Rahman, Bruce R. Childers, Sangyeun Cho |
StealthWorks: Emulating Memory Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 360-367, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Patrick O'Neil Meredith, Grigore Rosu |
Runtime Verification with the RV System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 136-152, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mike Barnett 0001 |
Code Contracts for .NET: Runtime Verification and So Much More. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 16-17, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 469-474, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky |
Contracts for Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 51-57, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Boris Feigin, Alan Mycroft |
Formally Efficient Program Instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 245-252, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Andrew Gauci, Gordon J. Pace |
LarvaStat: Monitoring of Statistical Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 480-484, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé, Roger Villemaire |
Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 106-121, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|