Logic Based Abstractions of Real-Time Systems
Formal Methods in System Design
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Fundamenta Informaticae - Concurrency specification and programming
Compositionality and locality for improving model checking in the selective mu-calculus
Science of Computer Programming
A local approach for temporal model checking of Java bytecode
Journal of Computer and System Sciences
On-the-fly state space reductions for weak equivalences
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Reduced Models for Efficient CCS Verification
Formal Methods in System Design
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
DELFIN+: An efficient deadlock detection tool for CCS processes
Journal of Computer and System Sciences
Formal Verification of Concurrent Systems via Directed Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Discovery of SOA patterns via model checking
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Model Checking Multithreaded Programs by Means of Reduced Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Clone detection through process algebras and Java bytecode
Proceedings of the 5th International Workshop on Software Clones
Property-dependent reductions for the modal Mu-calculus
Proceedings of the 18th international SPIN conference on Model checking software
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
A Model Slicing Method for Workflow Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |