default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd RV 2012: Istanbul, Turkey
- Shaz Qadeer, Serdar Tasiran:
Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7687, Springer 2013, ISBN 978-3-642-35631-5 - John Erickson, Stephen N. Freund, Madanlal Musuvathi:
Dynamic Analyses for Data-Race Detection. 1 - Cristian Cadar, Koushik Sen:
Symbolic Execution. 2 - Malay K. Ganai:
Dynamic Livelock Analysis of Multi-threaded Programs. 3-18 - Jirí Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey:
Scalable Dynamic Partial Order Reduction. 19-34 - Jan Fiedor, Tomás Vojnar:
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. 35-41 - Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor
, Osman S. Unsal:
PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors. 42-47 - Jim R. Larus:
It's the End of the World as We Know It (And I Feel Fine). 48 - Jon Eyolfson, Patrick Lam:
Detecting Unread Memory Using Dynamic Binary Translation. 49-63 - Wenchao Li, Sanjit A. Seshia:
Sparse Coding for Specification Mining and Error Localization. 64-81 - Martin Leucker:
Sliding between Model Checking and Runtime Verification. 82-87 - Yliès Falcone, Sebastian Currea, Mohamad Jaber:
Runtime Verification and Enforcement for Android Applications with RV-Droid. 88-95 - Doina Bucur:
Temporal Monitors for TinyOS. 96-109 - Thomas Reinbacher, Matthias Függer, Jörg Brauer:
Real-Time Runtime Verification on Chip. 110-125 - Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet:
BabelTrace: A Collection of Transducers for Trace Validation. 126-130 - Andreas Richter, Klaus Kabitzsch:
Quantitative Trace Analysis Using Extended Timing Diagrams. 131-135 - Traian-Florin Serbanuta, Feng Chen, Grigore Rosu:
Maximal Causal Models for Sequentially Consistent Systems. 136-150 - David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu:
Monitoring Compliance Policies over Incomplete and Disagreeing Logs. 151-167 - Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster:
Adaptive Runtime Verification. 168-182 - Giovanni Vigna:
Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications. 183 - Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé:
MapReduce for Parallel Trace Validation of LTL Properties. 184-198 - Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister:
Path-Aware Time-Triggered Runtime Verification. 199-213 - Christian Colombo, Gordon J. Pace:
Fast-Forward Runtime Monitoring - An Industrial Case Study. 214-228 - Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo:
Runtime Enforcement of Timed Properties. 229-244 - Kevin Baldor, Jianwei Niu:
Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic. 245-259 - Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen:
Rewrite-Based Statistical Model Checking of WMTL. 260-275 - Martin C. Rinard:
From Runtime Verification to Runtime Intervention and Adaptation. 276 - Eva Darulova, Viktor Kuncak:
Certifying Solutions for Numerical Constraints. 277-291 - Stephen Nelson, David J. Pearce, James Noble:
Profiling Field Initialisation in Java. 292-307 - 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. 308-313 - Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma:
Incremental Runtime Verification of Probabilistic Systems. 314-319
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
