An automata-theoretic approach to branching-time model checking
Journal of the ACM (JACM)
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
Local model checking for context-free processes
Nordic Journal of Computing
Synthesizing distinguishing formulae for real time systems
Nordic Journal of Computing
Efficient Diagnostic Generation for Boolean Equation Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
A graphical µ-calculus and local model checking
Journal of Computer Science and Technology
Efficient on-the-fly algorithms for the analysis of timed games
CONCUR 2005 - Concurrency Theory
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Obtaining Memory-Efficient Solutions to Boolean Equation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Equivalence checking for a finite higher order π-calculus
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Structural Analysis of Boolean Equation Systems
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |