Heuristics: intelligent search strategies for computer problem solving
Heuristics: intelligent search strategies for computer problem solving
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Local model checking in the modal mu-calculus
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proof-checking a data link protocol
TYPES '93 Proceedings of the international workshop on Types for proofs and programs
Construction and analysis of transition systems with MEC
Construction and analysis of transition systems with MEC
Communication and concurrency
Validation with guided search of the state space
DAC '98 Proceedings of the 35th annual Design Automation Conference
State space reduction by non-standard semantics for deadlock analysis
Science of Computer Programming
Selective mu-calculus and formula-based equivalence of transition systems
Journal of Computer and System Sciences
Directed explicit model checking with HSF-SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Symbolic Model Checking
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
Partial Order Reduction in Directed Model Checking
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
A Bounded Retransmission Protocol for Large Data Packets
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Efficient Guiding Towards Cost-Optimality in UPPAAL
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Exploring Very Large State Spaces Using Genetic Algorithms
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Experiments in Theorem Proving and Model Checking for Protocol Verification
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
KI '98 Proceedings of the 22nd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Stubborn Attack On State Explosion
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Bounded-memory Algorithms for Verification On-the-fly
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
A Case Study in Safety-Critical Design
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Property Preserving Simulations
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
All from One, One for All: on Model Checking Using Representatives
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
The NCSU Concurrency Workbench
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Property Preserving Homomorphisms of Transition Systems
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Verifying Temporal Properties of Processes
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
SetA*: an efficient BDD-based heuristic search algorithm
Eighteenth national conference on Artificial intelligence
Group Multicast in Distributed Mobile Systems with Unreliable Wireless Network
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Heuristic Search + Local Model Checking in Selective mu-Calculus
IEEE Transactions on Software Engineering
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Formal Verification of Concurrent Systems via Directed Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
The article ''Replication and consistency in a distributed environment'' by Breitbart and Korth [Yuri Breitbart, Henry F. Korth, J. Comput. System Sci. 59 (1) (1999) 29-69] presents replication graphs as an efficient means to handle concurrency control ...