Bisimulation Minimization and Symbolic Model Checking
Formal Methods in System Design
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Bisimulation Minimization in an Automata-Theoretic Verification Framework
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Proofs Methods for Bisimulation Based Information Flow Security
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Synchronous Modelling of Asynchronous Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
From Bisimulation to Simulation: Coarsest Partition Problems
Journal of Automated Reasoning
An efficient algorithm for computing bisimulation equivalence
Theoretical Computer Science
Ackermann encoding, bisimulations and OBDDs
Theory and Practice of Logic Programming
EPspectra: a formal toolkit for developing DSP software applications
Theory and Practice of Logic Programming
An efficient simulation algorithm based on abstract interpretation
Information and Computation
Lightweight Specification-based Testing of Memory Cards: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Another Glance at Relay Stations in Latency-Insensitive Design
Electronic Notes in Theoretical Computer Science (ENTCS)
A denotational semantics for Handel-C
Formal methods and hybrid real-time systems
Minimization of non-deterministic automata with large alphabets
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Verifying persistent security properties
Computer Languages, Systems and Structures
Hi-index | 0.00 |