The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "RV"( http://dblp.L3S.de/Venues/RV )

URL (DBLP): http://dblp.uni-trier.de/db/conf/rv

Publication years (Num. hits)
2007 (18) 2008-2009 (26) 2010 (40) 2011 (35) 2012 (31) 2013 (33) 2014 (29) 2015 (29) 2016 (36) 2017 (30) 2018 (29) 2019 (26)
Publication types (Num. hits)
inproceedings(349) proceedings(13)
Venues (Conferences, Journals, ...)
RV(362)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 15 keywords

Results
Found 362 publication records. Showing 362 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir Comparing Controlled System Synthesis and Suppression Enforcement. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky Overhead-Aware Deployment of Runtime Monitors. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nic Volanschi, Bernard P. Serpette AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled An Extension of LTL with Rules and Its Application to Runtime Verification. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Leonardo Mariani (eds.) Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan 0001, Ashutosh Trivedi 0001 Efficient Detection and Quantification of Timing Leaks with Neural Networks. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luis Miguel Danielsson, César Sánchez Decentralized Stream Runtime Verification. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dogan Ulus Timescales: A Benchmark Generator for MTL Monitoring Tools. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dogan Ulus, Calin Belta Reactive Control Meets Runtime Verification: A Case Study of Navigation. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Georgios 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 RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh Shape Expressions for Specifying and Extracting Signal Features. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta NuRV: A nuXmv Extension for Runtime Verification. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma Runtime Verification for Timed Event Streams with Partial Information. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hansol Yoon, Yi Chou, Xin Chen 0002, Eric Frew, Sriram Sankaranarayanan 0001 Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan 0001 A Retrospective Look at the Monitoring and Checking (MaC) Framework. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sean Kauffman, Klaus Havelund, Sebastian Fischmeister Monitorability over Unreliable Channels. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Srinivas Pinisetty On the Runtime Enforcement of Timed Properties. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christopher Hahn Algorithms for Monitoring Hyperproperties. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller Neural Predictive Monitoring. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Reza Babaee, Vijay Ganesh, Sean Sedwards Accelerated Learning of Predictive Runtime Monitors for Rare Failure. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta Assumption-Based Runtime Verification with Partial Observability and Resets. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hazem Torfah Stream-Based Monitors for Real-Time Properties. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lang Feng, Jeff Huang 0001, Jiang Hu, Abhijith Reddy FastCFI: Real-Time Control Flow Integrity Using FPGA Without Code Instrumentation. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joshua Heneage Dawes, Giles Reger Explaining Violations of Properties in Control-Flow Temporal Logic. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sanjit A. Seshia Introspective Environment Modeling. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joshua Schneider 0001, David A. Basin, Srdan Krstic, Dmitriy Traytel A Formally Verified Monitor for Metric First-Order Temporal Logic. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi Property-Driven Runtime Resolution of Feature Interactions. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joshua Schneider 0001, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel Scalable Online First-Order Monitoring. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Reza 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 RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antoine El-Hokayem, Yliès Falcone Bringing Runtime Verification Home. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lukas 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 RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ansem 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 RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem Tracing Distributed Component-Based Systems, a Brief Overview. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sylvain Hallé, Raphaël Khoury Writing Domain-Specific Languages for BeepBeep. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1César Sánchez Online and Offline Stream Runtime Verification of Synchronous Systems. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shaun Azzopardi, Joshua Ellul, Gordon J. Pace Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia Time-Series Learning Using Monotonic Logical Properties. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled Runtime Verification: From Propositional to First-Order Temporal Logic. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antoine El-Hokayem, Yliès Falcone Can We Monitor All Multithreaded Programs? Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giles Reger, David E. Rydeheard From Parametric Trace Slicing to Rule Systems. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Samy Jaziri, Nicolas Markey Efficient Timed Diagnosis Using Automata with Timed Domains. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial). Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Grigore Rosu Runtime Verification - 17 Years Later. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen De Roover, Elisa Gonzalez Boix Practical Information Flow Control for Web Applications. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Colombo, Martin Leucker (eds.) Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yliès Falcone Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare METIS: Resource and Context-Aware Monitoring of Finite State Properties. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jasmin Jahic, Matthias Jung 0001, Thomas Kuhn, Claus Kestel, Norbert Wehn A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Kristin Y. Rozier MLTL Benchmark Generation via Formula Progression. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Felipe Gorostiaga, César Sánchez Striver: Stream Runtime Verification for Real-Time Event-Streams. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel A Taxonomy for Classifying Runtime Verification Tools. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer Efficient Monitoring of Real Driving Emissions. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher 0001, Viviana Mascardi Verifying and Validating Autonomous Systems: Towards an Integrated Approach. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz COST Action IC1402 Runtime Verification Beyond Monitoring. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zachary Benavides, Rajiv Gupta 0001, Xiangyu Zhang 0001 Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David A. Basin, Srdan Krstic, Dmitriy Traytel Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aaron Paulos, Partha P. Pal, Shane S. Clark, Kyle Usbeck, Patrick Hurley Trusted Mission Operation - Concept and Implementation. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ankush Desai, Shaz Qadeer P: Modular and Safe Asynchronous Programming. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jun Inoue 0001, Yoriyuki Yamagata Operational Semantics of Process Monitors. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia Combining Model Checking and Runtime Verification for Safe Robotics. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup Monitoring Hyperproperties. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury Event Stream Processing with Multiple Threads. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giuseppe Bombara, Calin Belta Signal Clustering Using Temporal Logics. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens Stream Runtime Monitoring on UAS. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Martin Tappler Probabilistic Black-Box Reachability Checking. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone Verifying Policy Enforcers. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Himanshu Chauhan, Vijay K. Garg Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shuo Chen 0001, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer SVAuth - A Single-Sign-On Integration Solution with Runtime Verification. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Babak Yadegari, Saumya Debray Control Dependencies in Interpretive Systems. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim Völlinger Verifying the Output of a Distributed Algorithm Using Certification. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Katarína Kejstová, Petr Rockai, Jiri Barnat From Model Checking to Runtime Verification and Back. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shuvendu K. Lahiri, Giles Reger (eds.) Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Björn Andersson, Sagar Chaki, Dionisio de Niz Combining Symbolic Runtime Enforcers for Cyber-Physical Systems. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Prashanth Nayak, Mike Hibler, David Johnson 0004, Eric Eide A Wingman for Virtual Appliances. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Minjun Seo, Roman Lysecky Hierarchical Non-intrusive In-situ Requirements Monitoring for Embedded Systems. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daisuke Ishii, Alexandre Goldsztejn HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chafik Meniar, Florence Opalvens, Sylvain Hallé Runtime Verification of User Interface Guidelines in Mobile Devices. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adrian 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 RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Susmit Jha, Ashish Tiwari 0001, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar TeLEx: Passive STL Learning Using Only Positive Examples. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky Monitoring Time Intervals. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hassan Salehe Matar, Serdar Tasiran, Didem Unat EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chaoqiang Deng, Kedar S. Namjoshi Witnessing Network Transformations. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson Runtime Detection of Temporal Memory Errors. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Doron Peled Using Genetic Programming for Software Reliability. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb TrackOS: A Security-Aware Real-Time Operating System. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue 0001, Lei Ma 0003, Yoshinori Tanabe, Mitsuharu Yamamoto Runtime Monitoring for Concurrent Systems. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sylvain Hallé When RV Meets CEP. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Takumi Akazaki Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carl Martin Rosenberg, Martin Steffen, Volker Stolz Leveraging DTrace for Runtime Verification. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman Runtime Visualization and Verification in JIVE. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David M. Cerna, Wolfgang Schreiner, Temur Kutsia Predicting Space Requirements for a Stream Monitor Specification Language. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fernando 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 RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jeffery 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 RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah A Stream-Based Specification Language for Network Monitoring. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider An Automata-Based Approach to Evolving Privacy Policies for Social Networks. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi Accelerated Runtime Verification of LTL Specifications with Counting Semantics. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carlos Moreno 0002, Sebastian Fischmeister Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oded Maler Some Thoughts on Runtime Verification. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 362 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license