Uniform Dynamic Self-Stabilizing Leader Election
IEEE Transactions on Parallel and Distributed Systems
Self-stabilizing algorithms for synchronous unidirectional rings
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Analyzing Expected Time by Scheduler-Luck Games
IEEE Transactions on Software Engineering
Approximate Verification of Probabilistic Systems
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
On using network attached disks as shared memory
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Hundreds of impossibility results for distributed computing
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
ProbMela and verification of Markov decision processes
ACM SIGMETRICS Performance Evaluation Review
Quantitative analysis of distributed randomized protocols
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Asymptotic analysis of a leader election algorithm
Theoretical Computer Science
Cost distribution of the Chang-Roberts leader election algorithm and related problems
Theoretical Computer Science
Generating Compact MTBDD-Representations from Probmela Specifications
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
On the cost of uniform protocols whose memory consumption is adaptive to interval contention
Theoretical Computer Science
Randomized generation of acyclic orientations upon anonymous distributed systems
Journal of Parallel and Distributed Computing
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing
Proceedings of the 28th ACM symposium on Principles of distributed computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Simplifying Itai-Rodeh Leader Election for Anonymous Rings
Electronic Notes in Theoretical Computer Science (ENTCS)
Bisimulation minimisation mostly speeds up probabilistic model checking
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
How fast and fat is your probabilistic model checker? an experimental performance comparison
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Brief announcement: asynchronous bounded expected delay networks
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Satisfiability degree analysis for transition system
AICI'10 Proceedings of the 2010 international conference on Artificial intelligence and computational intelligence: Part I
The computational power of the W And GHZ States
Quantum Information & Computation
Counterexample generation for Markov chains using SMT-based bounded model checking
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Hierarchical counterexamples for discrete-time Markov chains
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
A linear process-algebraic format with data for probabilistic automata
Theoretical Computer Science
On the cost of uniform protocols whose memory consumption is adaptive to interval contention
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Exact quantum algorithms for the leader election problem
STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
Exact Quantum Algorithms for the Leader Election Problem
ACM Transactions on Computation Theory (TOCT)
Fair leader election by randomized voting
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Simulation and analysis of distributed systems in klaim
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Minimal critical subsystems for discrete-time markov models
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Modeling and verification of probabilistic actor systems using prebeca
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Hi-index | 0.00 |