Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
From process algebra to visual language
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Generating Tests from Counterexamples
Proceedings of the 26th International Conference on Software Engineering
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Semi-formal design of reliable mesh generation systems
Advances in Engineering Software
Advanced unit testing: how to scale up a unit test framework
Proceedings of the 2006 international workshop on Automation of software test
A derivation system and compositional logic for security protocols
Journal of Computer Security
Local Module Checking for CTL Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Symbolic model checking of institutions
Proceedings of the ninth international conference on Electronic commerce
Pattern rewriting for efficient search in partial-order event data
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
What causes a system to satisfy a specification?
ACM Transactions on Computational Logic (TOCL)
Specification and Verification of Institutions Through Status Functions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Distributed Lyapunov Functions in Analysis of Graph Models of Software
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Improved bounded model checking for the universal fragment of CTL
Journal of Computer Science and Technology
Model checking active networks with SPIN
Computer Communications
Modeling, specification and verification of ad-hoc sensor networks using SPIN
Computer Standards & Interfaces
Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Adaptive Verification using Forced Simulation
Electronic Notes in Theoretical Computer Science (ENTCS)
Integration of Reliability and Performance Analyses for Active Network Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Automata Games for Multiple-model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
SAT-based verification of LTL formulas
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Model checking with SAT-based characterization of ACTL formulas
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Exhaustive testing of exception handlers with enforcer
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Verification of program properties using different theorem provers: a case study
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Variants of LTL query checking
HVC'10 Proceedings of the 6th international conference on Hardware and software: verification and testing
Runtime verification of java programs for scenario-based specifications
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Scenario-Based timing consistency checking for time petri nets
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Checking component-based embedded software designs for scenario-based timing specifications
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Verifying scenario-based aspect specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Consistency checking of concurrent models for scenario-based specifications
SDL'05 Proceedings of the 12th international conference on Model Driven
Enforcer – efficient failure injection
FM'06 Proceedings of the 14th international conference on Formal Methods
Sanity checks in formal verification
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Timing analysis of scenario-based specifications using linear programming
Software Testing, Verification & Reliability
Information Sciences: an International Journal
Software simulation and verification to increase the reliability of Intelligent Environments
Advances in Engineering Software
| Hi-index | 0.00 |