Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir |
Comparing Controlled System Synthesis and Suppression Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 148-164, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Teng Zhang, Greg Eakman, Insup Lee 0001, Oleg Sokolsky |
Overhead-Aware Deployment of Runtime Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 375-381, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nic Volanschi, Bernard P. Serpette |
AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 393-401, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Doron Peled |
An Extension of LTL with Rules and Its Application to Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 239-255, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Leonardo Mariani (eds.) |
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-030-32078-2 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan 0001, Ashutosh Trivedi 0001 |
Efficient Detection and Quantification of Timing Leaks with Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 329-348, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luis Miguel Danielsson, César Sánchez 0001 |
Decentralized Stream Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 185-201, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dogan Ulus |
Timescales: A Benchmark Generator for MTL Monitoring Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 402-412, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dogan Ulus, Calin Belta |
Reactive Control Meets Runtime Verification: A Case Study of Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 368-374, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan 0001 |
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 27-47, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh |
Shape Expressions for Specifying and Extracting Signal Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 292-309, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta |
NuRV: A nuXmv Extension for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 382-392, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Leucker, César Sánchez 0001, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma |
Runtime Verification for Timed Event Streams with Partial Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 273-291, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hansol Yoon, Yi Chou, Xin Chen 0002, Eric W. Frew, Sriram Sankaranarayanan 0001 |
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 349-367, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sampath Kannan, Moonzoo Kim, Insup Lee 0001, Oleg Sokolsky, Mahesh Viswanathan 0001 |
A Retrospective Look at the Monitoring and Checking (MaC) Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 1-14, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sean Kauffman, Klaus Havelund, Sebastian Fischmeister |
Monitorability over Unreliable Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 256-272, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Srinivas Pinisetty |
On the Runtime Enforcement of Timed Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 48-69, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Hahn |
Algorithms for Monitoring Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 70-90, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller |
Neural Predictive Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 129-147, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Reza Babaee, Vijay Ganesh, Sean Sedwards |
Accelerated Learning of Predictive Runtime Monitors for Rare Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 111-128, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta |
Assumption-Based Runtime Verification with Partial Observability and Resets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 165-184, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hazem Torfah |
Stream-Based Monitors for Real-Time Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 91-110, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lang Feng, Jeff Huang 0001, Jiang Hu, Abhijith Reddy |
FastCFI: Real-Time Control Flow Integrity Using FPGA Without Code Instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 221-238, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Heneage Dawes, Giles Reger |
Explaining Violations of Properties in Control-Flow Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 202-220, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sanjit A. Seshia |
Introspective Environment Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 15-26, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Schneider 0001, David A. Basin, Srdan Krstic, Dmitriy Traytel |
A Formally Verified Monitor for Metric First-Order Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pp. 310-328, 2019, Springer, 978-3-030-32078-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi |
Property-Driven Runtime Resolution of Feature Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 316-333, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Schneider 0001, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel |
Scalable Online First-Order Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 353-371, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister |
Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 187-204, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Antoine El-Hokayem, Yliès Falcone |
Bringing Runtime Verification Home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 222-240, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma, Alexander Weiss |
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 43-63, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet |
An Environment for the ParTraP Trace Property Language (Tool Demonstration). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 437-446, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Hosein Nazarpour, Mohamad Jaber 0001, Marius Bozga, Saddek Bensalem |
Tracing Distributed Component-Based Systems, a Brief Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 417-425, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé, Raphaël Khoury |
Writing Domain-Specific Languages for BeepBeep. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 447-457, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | César Sánchez 0001 |
Online and Offline Stream Runtime Verification of Synchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 138-163, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shaun Azzopardi, Joshua Ellul, Gordon J. Pace |
Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 113-137, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
Time-Series Learning Using Monotonic Logical Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 389-405, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Doron Peled |
Runtime Verification: From Propositional to First-Order Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 90-112, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Antoine El-Hokayem, Yliès Falcone |
Can We Monitor All Multithreaded Programs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 64-89, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger, David E. Rydeheard |
From Parametric Trace Slicing to Rule Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 334-352, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos |
Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 409-416, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Samy Jaziri, Nicolas Markey |
Efficient Timed Diagnosis Using Automata with Timed Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 205-221, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci |
Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 35-42, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Grigore Rosu |
Runtime Verification - 17 Years Later. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 3-17, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen De Roover, Elisa Gonzalez Boix |
Practical Information Flow Control for Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 372-388, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Martin Leucker (eds.) |
Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-030-03768-0 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone |
Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 27-32, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare |
METIS: Resource and Context-Aware Monitoring of Finite State Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 167-186, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Jahic, Matthias Jung 0001, Thomas Kuhn 0001, Claus Kestel, Norbert Wehn |
A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 458-468, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jianwen Li, Kristin Y. Rozier |
MLTL Benchmark Generation via Formula Progression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 426-433, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Gorostiaga, César Sánchez 0001 |
Striver: Stream Runtime Verification for Real-Time Event-Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 282-298, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel |
A Taxonomy for Classifying Runtime Verification Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 241-262, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer |
Efficient Monitoring of Real Driving Emissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 299-315, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Ferrando 0001, Louise A. Dennis, Davide Ancona, Michael Fisher 0001, Viviana Mascardi |
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 263-281, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez 0001, Gerardo Schneider, Volker Stolz |
COST Action IC1402 Runtime Verification Beyond Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 18-26, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Benavides, Rajiv Gupta 0001, Xiangyu Zhang 0001 |
Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 103-120, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas |
Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 277-293, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Srdan Krstic, Dmitriy Traytel |
Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 85-102, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Paulos, Partha P. Pal, Shane S. Clark, Kyle Usbeck, Patrick Hurley |
Trusted Mission Operation - Concept and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 416-423, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Desai, Shaz Qadeer |
P: Modular and Safe Asynchronous Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 3-7, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jun Inoue 0001, Yoriyuki Yamagata |
Operational Semantics of Process Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 403-409, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia |
Combining Model Checking and Runtime Verification for Safe Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 172-189, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup |
Monitoring Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 190-207, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury |
Event Stream Processing with Multiple Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 359-369, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Bombara, Calin Belta |
Signal Clustering Using Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 121-137, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens |
Stream Runtime Monitoring on UAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 33-49, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Martin Tappler |
Probabilistic Black-Box Reachability Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 50-67, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone |
Verifying Policy Enforcers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 241-258, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Himanshu Chauhan, Vijay K. Garg |
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 138-154, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shuo Chen 0001, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer |
SVAuth - A Single-Sign-On Integration Solution with Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 349-358, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Babak Yadegari, Saumya Debray |
Control Dependencies in Interpretive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 312-329, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kim Völlinger |
Verifying the Output of a Distributed Algorithm Using Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 424-430, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Katarína Kejstová, Petr Rockai, Jiri Barnat |
From Model Checking to Runtime Verification and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 225-240, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Giles Reger (eds.) |
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-319-67530-5 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Björn Andersson, Sagar Chaki, Dionisio de Niz |
Combining Symbolic Runtime Enforcers for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 68-84, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Prashanth Nayak, Mike Hibler, David Johnson 0004, Eric Eide |
A Wingman for Virtual Appliances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 390-399, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Minjun Seo, Roman Lysecky |
Hierarchical Non-intrusive In-situ Requirements Monitoring for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 259-276, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Ishii, Alexandre Goldsztejn |
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 370-379, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chafik Meniar, Florence Opalvens, Sylvain Hallé |
Runtime Verification of User Interface Guidelines in Mobile Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 410-415, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir |
A Foundation for Runtime Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 8-29, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Susmit Jha, Ashish Tiwari 0001, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar |
TeLEx: Passive STL Learning Using Only Positive Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 208-224, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Teng Zhang, John Wiegley, Insup Lee 0001, Oleg Sokolsky |
Monitoring Time Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 330-345, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Salehe Matar, Serdar Tasiran, Didem Unat |
EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 380-389, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chaoqiang Deng, Kedar S. Namjoshi |
Witnessing Network Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 155-171, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson |
Runtime Detection of Temporal Memory Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 294-311, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Doron Peled |
Using Genetic Programming for Software Reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 116-131, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb |
TrackOS: A Security-Aware Real-Time Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 302-317, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue 0001, Lei Ma 0003, Yoshinori Tanabe, Mitsuharu Yamamoto |
Runtime Monitoring for Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 386-403, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé |
When RV Meets CEP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 68-91, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Takumi Akazaki |
Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 439-446, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carl Martin Rosenberg, Martin Steffen, Volker Stolz |
Leveraging DTrace for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 318-332, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman |
Runtime Visualization and Verification in JIVE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 493-497, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David M. Cerna, Wolfgang Schreiner, Temur Kutsia |
Predicting Space Requirements for a Stream Monitor Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 135-151, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Macías, Torben Scheffel, Malte Schmitz 0001, Rui Wang |
Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 454-461, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle |
Input Attribution for Statistical Model Checking Using Logistic Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 185-200, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah |
A Stream-Based Specification Language for Network Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 152-168, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Raúl Pardo, Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider |
An Automata-Based Approach to Evolving Privacy Policies for Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 285-301, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi |
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 251-267, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Moreno 0002, Sebastian Fischmeister |
Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 268-284, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oded Maler |
Some Thoughts on Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 3-14, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|