Enhancing compositional reachability analysis with context constraints
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Checking subsystem safety properties in compositional reachability analysis
Proceedings of the 18th international conference on Software engineering
Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
An integrated method for effective behaviour analysis of distributed systems
ICSE '94 Proceedings of the 16th international conference on Software engineering
Verification of liveness properties using compositional reachability analysis
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the complexity of verifying concurrent transition systems
Information and Computation
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Tractable Dataflow Analysis for Distributed Systems
IEEE Transactions on Software Engineering
Analysis Problems for Sequential Dynamical Systems and Communicating State Machines
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Hi-index | 0.00 |