Liveness-preserving simulation relations
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
An assume-guarantee rule for checking simulation
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the complexity of verifying concurrent transition systems
Information and Computation
An Assume-Guarantee Rule for Checking Simulation
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Bisimulation Minimization in an Automata-Theoretic Verification Framework
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
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
Applicability of Fair Simulation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
A Hierarchy of Polynomial-Time Computable Simulations for Automata
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Compositional Reasoning in Model Checking
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
State Space Reductions for Alternating Büchi Automata
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Applicability of fair simulation
Information and Computation
PLTL-partitioned model checking for reactive systems under fairness assumptions
ACM Transactions on Embedded Computing Systems (TECS)
Simulation relations for alternating Büchi automata
Theoretical Computer Science
Bridging the gap between fair simulation and trace inclusion
Information and Computation
Design Synthesis from Interaction and State-Based Specifications
IEEE Transactions on Software Engineering
Simulating midlet's security claims with automata modulo theory
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Implementing an LTL-to-Büchi translator in Erlang: a protest experience report
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Bridging the gap between fair simulation and trace inclusion
Information and Computation
Applicability of fair simulation
Information and Computation
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Enhancing simulation for checking language containment
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Efficient state space reduction for automata by fair simulation
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A hybrid algorithm for LTL games
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
ACM Transactions on Computational Logic (TOCL)
On the refinement of liveness properties of distributed systems
Formal Methods in System Design
Theoretical Computer Science
Solving games without determinization
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Minimizing generalized büchi automata
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Security-by-contract: toward a semantics for digital signatures on mobile code
EuroPKI'07 Proceedings of the 4th European conference on Public Key Infrastructure: theory and practice
Hi-index | 0.00 |