Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming
Proceedings of the 17th International Conference on Logic Programming
A Symbolic Semantics for Abstract Model Checking
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions
ACM Transactions on Computational Logic (TOCL)
Model checking real-time value-passing systems
Journal of Computer Science and Technology
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Model-checking Distributed Components: The Vercors Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
Active Objects and Distributed Components: Theory and Implementation
Formal Methods for Components and Objects
On identification of input/output extended automata with finite bisimilar quotients
ACC'09 Proceedings of the 2009 conference on American Control Conference
Model Checking Optimisation Based Congestion Control Algorithms
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems
Information and Computation
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems
Information and Computation
Automatic test generation on a (U)SIM smart card
CARDIS'06 Proceedings of the 7th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications
Behavioural models for hierarchical components
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Equivalence checking for infinite systems using parameterized Boolean equation systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
A symbolic framework for the conformance checking of value-passing choreographies
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
ACM Computing Surveys (CSUR)
Theories of Programming and Formal Methods
Hi-index | 0.00 |