Search results for "runtime verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce	Rule Systems for Runtime Verification: A Short Tutorial.	RV	2009	DBLP DOI BibTeX RDF	Java, temporal logic, Python, AspectJ, Runtime verification, log file analysis, code instrumentation, rule systems
4	Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates	Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.	RV	2007	DBLP DOI BibTeX RDF	Java-MaC, Aspect Oriented Programming, Runtime Verification, Runtime Monitoring, Software Assurance
3	Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier	Runtime Verification of Safety-Progress Properties.	RV	2009	DBLP DOI BibTeX RDF
3	Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta	Runtime Verification of C Memory Safety.	RV	2009	DBLP DOI BibTeX RDF
3	Hakim Belhaouari, Frédéric Peschanski	A Lightweight Container Architecture for Runtime Verification.	RV	2008	DBLP DOI BibTeX RDF
3	Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong	UML state machine diagram driven runtime verification of Java programs for message interaction consistency.	SAC	2008	DBLP DOI BibTeX RDF	UML state machine diagrams, java, runtime verification
3	Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem	Collaborative Runtime Verification with Tracematches.	RV	2007	DBLP DOI BibTeX RDF
3	Cindy Eisner	PSL for Runtime Verification: Theory and Practice.	RV	2007	DBLP DOI BibTeX RDF
3	Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini	Runtime Verification of Interactions: From MSCs to Aspects.	RV	2007	DBLP DOI BibTeX RDF
3	Hiromasa Shin, Yusuke Endoh, Yoshio Kataoka	ARVE: Aspect-Oriented Runtime Verification Environment.	RV	2007	DBLP DOI BibTeX RDF
3	Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky	07011 Executive Summary -- Runtime Verification.	Runtime Verification	2007	DBLP BibTeX RDF
3	Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky	07011 Abstracts Collection -- Runtime Verification.	Runtime Verification	2007	DBLP BibTeX RDF
3	Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee	Runtime Verification for Wireless Sensor Network Applications.	Runtime Verification	2007	DBLP BibTeX RDF
3	Feng Chen, Grigore Rosu	Mop: an efficient and generic runtime verification framework.	OOPSLA	2007	DBLP DOI BibTeX RDF	monitoring-oriented programming, aspect-oriented programming, runtime verification
3	Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr	Statistical Runtime Checking of Probabilistic Properties.	RV	2007	DBLP DOI BibTeX RDF	statistical monitoring, Runtime verification, probabilistic properties
3	Marcelo d'Amorim, Klaus Havelund	Event-based runtime verification of java programs.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	event versus state predicates, Java, aspect oriented programming, temporal logic, runtime verification, program instrumentation
3	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
3	Eric Bodden	A lightweight LTL runtime verification tool for java.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	joinpoints, linear-time temporal logic (LTL), metadata, aspectJ, concurrent systems, runtime verification
3	Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee, Christos Tsarouchis	Is runtime verification applicable to cheat detection?	NETGAMES	2004	DBLP DOI BibTeX RDF	runtime verification, multiplayer game, cheat detection
3	Gergely Pintér, István Majzik	Runtime Verification of Statechart Implementations.	WADS	2004	DBLP DOI BibTeX RDF	temporal logic, Runtime verification, UML statecharts
2	Martin Leucker	Teaching Runtime Verification.	RV	2011	DBLP DOI BibTeX RDF
2	Sharad Malik	Runtime Verification: A Computer Architecture Perspective.	RV	2011	DBLP DOI BibTeX RDF
2	Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok	Runtime Verification with State Estimation.	RV	2011	DBLP DOI BibTeX RDF
2	Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister	Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification.	RV	2011	DBLP DOI BibTeX RDF
2	Eric Bodden	MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration).	RV	2011	DBLP DOI BibTeX RDF
2	Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee	Runtime Verification of Traces under Recording Uncertainty.	RV	2011	DBLP DOI BibTeX RDF
2	Lee Pike, Sebastian Niller, Nis Wegmann	Runtime Verification for Ultra-Critical Systems.	RV	2011	DBLP DOI BibTeX RDF
2	Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst	Runtime Verification of LTL-Based Declarative Process Models.	RV	2011	DBLP DOI BibTeX RDF
2	Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao, Hua Zhong, Tao Huang	Runtime Verification of Data-Centric Properties in Service Based Systems.	RV	2011	DBLP DOI BibTeX RDF
2	Mike Barnett	Code Contracts for .NET: Runtime Verification and So Much More.	RV	2010	DBLP DOI BibTeX RDF
2	Matthew B. Dwyer, Rahul Purandare, Suzette Person	Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?	RV	2010	DBLP DOI BibTeX RDF
2	Sylvain Hallé, Roger Villemaire	Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications.	RV	2010	DBLP DOI BibTeX RDF
2	Cristina M. Wilcox, Brian C. Williams	Runtime Verification of Stochastic, Faulty Systems.	RV	2010	DBLP DOI BibTeX RDF
2	Patrick O'Neil Meredith, Grigore Rosu	Runtime Verification with the RV System.	RV	2010	DBLP DOI BibTeX RDF
2	Vasu Singh	Runtime Verification for Software Transactional Memories.	RV	2010	DBLP DOI BibTeX RDF
2	Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix, Richard Castanet	Automated Runtime Verification for Web Services.	ICWS	2010	DBLP DOI BibTeX RDF	Rule specification, Nomad language, Web Services, Runtime verification, Passive testing
2	Franz Baader, Andreas Bauer 0002, Marcel Lippmann	Runtime Verification Using a Temporal Description Logic.	FroCos	2009	DBLP DOI BibTeX RDF
2	Somayeh Malakuti, Christoph Bockisch, Mehmet Aksit	Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software.	ISSRE	2009	DBLP DOI BibTeX RDF	Mutliple-Language Software, Composition Filter Model, Runtime Verification
2	Bernd Finkbeiner, Lars Kuhtz	Monitor Circuits for LTL with Bounded and Unbounded Future.	RV	2009	DBLP DOI BibTeX RDF
2	Doron Drusinsky, Man-tak Shing	Using UML Statecharts with Knowledge Logic Guards.	MoDELS	2009	DBLP DOI BibTeX RDF	K-statechart, knowledge-logic, formal specification, runtime verification, adaptive behavior
2	Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao	Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models.	HASE	2008	DBLP DOI BibTeX RDF
2	Ganesh Gopalakrishnan, Robert M. Kirby	Runtime verification methods for MPI.	IPDPS	2008	DBLP DOI BibTeX RDF
2	Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky (eds.)	Runtime Verification, 02.01. - 06.01.2007	Runtime Verification	2008	DBLP BibTeX RDF
2	Andreas Bauer 0002, Jan Jürjens	Security protocols, properties, and their monitoring.	SESS	2008	DBLP DOI BibTeX RDF	monitoring of history-based properties, temporal logic, security protocols, runtime verification, language-based security, security automata
2	Howard Barringer, Dov M. Gabbay, David E. Rydeheard	From Runtime Verification to Evolvable Systems.	RV	2007	DBLP DOI BibTeX RDF
2	Selma Ikiz, Alper Sen	Runtime Verification of k-Mutual Exclusion for SoCs.	MTV	2007	DBLP DOI BibTeX RDF
2	Volker Stolz	Temporal Assertions with Parametrised Propositions.	RV	2007	DBLP DOI BibTeX RDF
2	Stavros Tripakis	Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks.	Runtime Verification	2007	DBLP BibTeX RDF
2	Pavel Avgustinov, Julian Tibble, Oege de Moor	Making trace monitors feasible.	OOPSLA	2007	DBLP DOI BibTeX RDF	program analysis, runtime verification, program monitors
2	Saeed Jalili, Mehdi MirzaAghaei	RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach.	SERA	2007	DBLP DOI BibTeX RDF	Runtime Verification (RV), Real-time and Reactive Program, Event-based Real-Time Logic (ERL), Aspect- Oriented Approach
2	Alper Sen, Vijay K. Garg	Formal Verification of Simulation Traces Using Computation Slicing.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Simulation, formal verification, temporal logic, partial order, runtime verification, lattice theory
2	Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng	Runtime Verification of Java Programs for Scenario-Based Specifications.	Ada-Europe	2006	DBLP DOI BibTeX RDF
2	Grigore Rosu, Klaus Havelund	Rewriting-Based Techniques for Runtime Verification.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	verification, rewriting, runtime analysis
2	Bernd Finkbeiner, Henny Sipma	Checking Finite Traces Using Alternating Automata.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	alternating automata, trace checking, temporal logic, runtime verification, online monitoring
2	Michael Barnett, Wolfram Schulte, Nikolai Tillmann	Using AsmL for Runtime Verification.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
2	Antony Edwards, Trent Jaeger, Xiaolan Zhang	Runtime verification of authorization hook placement for the linux security modules framework.	ACM Conference on Computer and Communications Security	2002	DBLP DOI BibTeX RDF
1	Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto	JCML: A specification language for the runtime verification of Java Card programs.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Shaz Qadeer, Serdar Tasiran	Runtime verification of concurrency-specific correctness criteria.	STTT	2012	DBLP DOI BibTeX RDF
1	Oleg Sokolsky, Klaus Havelund, Insup Lee	Introduction to the special section on runtime verification.	STTT	2012	DBLP DOI BibTeX RDF
1	Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu	An overview of the MOP runtime verification framework.	STTT	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	RV	2012	DBLP DOI BibTeX RDF
1	Xian Zhang, Martin Leucker, Wei Dong	Runtime Verification with Predictive Semantics.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Andreas Bauer 0002, Jan-Christoph Küster, Gil Vegliach	Runtime Verification Meets Android Security.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao	UML interaction model-driven runtime verification of Java programs.	IET Software	2011	DBLP DOI BibTeX RDF
1	Andreas Bauer 0002, Martin Leucker, Christian Schallhart	Runtime Verification for LTL and TLTL.	ACM Trans. Softw. Eng. Methodol.	2011	DBLP DOI BibTeX RDF
1	Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira	Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation.	Ann. Math. Artif. Intell.	2011	DBLP DOI BibTeX RDF
1	Vladimir V. Rubanov, Eugene A. Shatokhin	Runtime Verification of Linux Kernel Modules Based on Call Interception.	ICST	2011	DBLP DOI BibTeX RDF
1	Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem	Runtime Verification of Component-Based Systems.	SEFM	2011	DBLP DOI BibTeX RDF
1	Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski	Past Time LTL Runtime Verification for Microcontroller Binary Code.	FMICS	2011	DBLP DOI BibTeX RDF
1	Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz	Runtime Verification of Typical Requirements for a Space Critical SoC Platform.	FMICS	2011	DBLP DOI BibTeX RDF
1	Ritesh Parikh, Valeria Bertacco	Formally enhanced runtime verification to ensure NoC functional correctness.	MICRO	2011	DBLP DOI BibTeX RDF
1	Aymen Baouab, Olivier Perrin, Claude Godart	An Event-Driven Approach for Runtime Verification of Inter-organizational Choreographies.	IEEE SCC	2011	DBLP DOI BibTeX RDF	cross-organizational flow, Service notification, Business process, event, Choreography
1	Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister	Sampling-Based Runtime Verification.	FM	2011	DBLP DOI BibTeX RDF
1	Fang Deng, Haiwen Liu, Jin Shao, Qianxiang Wang	Specification and Runtime Verification of API Constraints on Interacting Objects.	SEKE	2011	DBLP BibTeX RDF
1	Hasan Sözer, Christian Hofmann, Bedir Tekinerdogan, Mehmet Aksit	Runtime Verification of Component-Based Embedded Software.	ISCIS	2011	DBLP DOI BibTeX RDF
1	Bohuslav Krena, Zdenek Letko, Tomás Vojnar	Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software.	RV	2011	DBLP DOI BibTeX RDF
1	A. Prasad Sistla, Milos Zefran, Yao Feng	Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State.	RV	2011	DBLP DOI BibTeX RDF
1	Horatiu Jula, Silviu Andrica, George Candea	Efficiency Optimizations for Implementations of Deadlock Immunity.	RV	2011	DBLP DOI BibTeX RDF
1	Steven P. Reiss, Alexander Tarvo	What Is My Program Doing? Program Dynamics in Programmer's Terms.	RV	2011	DBLP DOI BibTeX RDF
1	Narcisa Andreea Milea, Siau-Cheng Khoo, David Lo, Cristian Pop	NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows.	RV	2011	DBLP DOI BibTeX RDF
1	Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan	Isolating Determinism in Multi-threaded Programs.	RV	2011	DBLP DOI BibTeX RDF
1	David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu	MONPOLY: Monitoring Usage-Control Policies.	RV	2011	DBLP DOI BibTeX RDF
1	Newres Al Haider, Benoit Gaudin, John Murphy	Execution Trace Exploration and Analysis Using Ontologies.	RV	2011	DBLP DOI BibTeX RDF
1	Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa	Unbounded Symbolic Execution for Program Verification.	RV	2011	DBLP DOI BibTeX RDF
1	David A. Basin, Felix Klaedtke, Eugen Zalinescu	Algorithms for Monitoring Real-Time Properties.	RV	2011	DBLP DOI BibTeX RDF
1	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	CoMA: Conformance Monitoring of Java Programs by Abstract State Machines.	RV	2011	DBLP DOI BibTeX RDF
1	Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum	Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths.	RV	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.	RV	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.	RV	2011	DBLP DOI BibTeX RDF
1	Howard Barringer, Klaus Havelund	Internal versus External DSLs for Trace Analysis - (Extended Abstract).	RV	2011	DBLP DOI BibTeX RDF
1	Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar	Permission Regions for Race-Free Parallelism.	RV	2011	DBLP DOI BibTeX RDF
1	Chao Wang, Malay K. Ganai	Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables.	RV	2011	DBLP DOI BibTeX RDF
1	Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic	Parametric Identification of Temporal Properties.	RV	2011	DBLP DOI BibTeX RDF
1	Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan	Cooperative Concurrency for a Multicore World - (Extended Abstract).	RV	2011	DBLP DOI BibTeX RDF
1	Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios E. Fainekos	Combining Time and Frequency Domain Specifications for Periodic Signals.	RV	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.	RV	2011	DBLP DOI BibTeX RDF
1	Christian Colombo, Adrian Francalanza, Rudolph Gatt	Elarva: A Monitoring Tool for Erlang.	RV	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sebastian Fischmeister	Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement].	RV	2011	DBLP DOI BibTeX RDF
1	Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu	Monitoring Data Structures Using Hardware Transactional Memory.	RV	2011	DBLP DOI BibTeX RDF
1	William N. Sumner, Christian Hammer, Julian Dolby	Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs.	RV	2011	DBLP DOI BibTeX RDF