Jeeg: a programming language for concurrent objects synchronization
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Synthesizing Monitors for Safety Properties
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Integrating Temporal Assertions into a Parallel Debugger
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
An Execution Semantics for MSC-2000
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Automata-Based Verification of Temporal Properties on Running Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on Automated software engineering
Checking Finite Traces Using Alternating Automata
Formal Methods in System Design
Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods in System Design
An Overview of the Runtime Verification Tool Java PathExplorer
Formal Methods in System Design
Proceedings of the 26th International Conference on Software Engineering
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
Formal Methods in System Design
IEEE Transactions on Software Engineering
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Event-based runtime verification of java programs
WODA '05 Proceedings of the third international workshop on Dynamic analysis
Software Model Checking: The VeriSoft Approach
Formal Methods in System Design
Combining test case generation and runtime verification
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Run-time analysis of time-critical systems
Journal of Systems Architecture: the EUROMICRO Journal
Collecting Statistics Over Runtime Executions
Formal Methods in System Design
Research challenges in embedded and hybrid systems
ACM SIGBED Review
Research challenges in embedded and hybrid systems
ACM SIGBED Review
Formal Verification of Simulation Traces Using Computation Slicing
IEEE Transactions on Computers
Simulation-based verification using Temporally Attributed Boolean Logic
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Verified Software: Theories, Tools, Experiments
Regression Verification - A Practical Way to Verify Programs
Verified Software: Theories, Tools, Experiments
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
AMOEBA-RT: Run-Time Verification of Adaptive Software
Models in Software Engineering
Integration of verification methods for program systems
Programming and Computing Software
Model-based Runtime Verification Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of the DEVS model implementation using aspect embedded DEVS
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
On-Line Model Checking as Operating System Service
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Testing Conformance of Real-Time Applications by Automatic Generation of Observers
Electronic Notes in Theoretical Computer Science (ENTCS)
Monitoring Algorithms for Metric Temporal Logic Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Runtime Verification of Concurrent Haskell Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Temporal Assertions using AspectJ
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based Runtime Verification Framework for Self-optimizing Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Experiments with test case generation and runtime analysis
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Testing extended regular language membership incrementally by rewriting
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Architectural design, behavior modeling and run-time verification of network embedded systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
AMT: a property-based monitoring tool for analog systems
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
The good, the bad, and the ugly, but how ugly is ugly?
RV'07 Proceedings of the 7th international conference on Runtime verification
Analog property checkers: a DDR2 case study
Formal Methods in System Design
You should better enforce than verify
RV'10 Proceedings of the First international conference on Runtime verification
Runtime verification of stochastic, faulty systems
RV'10 Proceedings of the First international conference on Runtime verification
Reliable software development: analysis-aware design
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Java replay for dependence-based debugging
Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
TRACECONTRACT: a scala DSL for trace analysis
FM'11 Proceedings of the 17th international conference on Formal methods
Past time LTL runtime verification for microcontroller binary code
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Monitoring aspects for the customization of automatically generated code for big-step models
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Comprehensive verification framework for dependability of self-optimizing systems
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Detecting errors in multithreaded programs by generalized predictive analysis of executions
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Runtime verification of statechart implementations
Architecting Dependable Systems III
On the use of formal specifications as part of running programs
Software Engineering for Multi-Agent Systems IV
Automated runtime validation of software architecture design
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Processing flows of information: From data stream to complex event processing
ACM Computing Surveys (CSUR)
Validating Quality Attribute Requirements
Software—Practice & Experience
JavaMOP: efficient parametric runtime monitoring framework
Proceedings of the 34th International Conference on Software Engineering
RV'11 Proceedings of the Second international conference on Runtime verification
Automated test-trace inspection for microcontroller binary code
RV'11 Proceedings of the Second international conference on Runtime verification
MONPOLY: monitoring usage-control policies
RV'11 Proceedings of the Second international conference on Runtime verification
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study
Journal of Systems and Software
Detecting temporal logic predicates on distributed computations
DISC'07 Proceedings of the 21st international conference on Distributed Computing
What does AI have to do with RV?
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Generating sound and effective memory debuggers
Proceedings of the 2013 international symposium on memory management
Runtime verification of microcontroller binary code
Science of Computer Programming
Using SPIN for automated debugging of infinite executions of Java programs
Journal of Systems and Software
Hi-index | 0.00 |