Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
Testing preorders for probabilistic processes can be characterized by simulations
Theoretical Computer Science
Compositional Verification of Randomized Distributed Algorithms
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Probabilistic Temporal Logics via the Modal Mu-Calculus
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Norm Functions for Probabilistic Bisimulations with Delays
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Fully Abstract Characterization of Probabilistic May Testing
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Probabilistic cluster unfoldings
Fundamenta Informaticae
Specification and Verification of Real-Time Properties Using LOTOS and SQTL
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Model checking for a probabilistic branching time logic with fairness
Distributed Computing
Probabilistic temporal logics via the modal mu-calculus
Theoretical Computer Science
True-concurrency probabilistic models: Markov nets and a law of large numbers
Theoretical Computer Science
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Stability of Distributed Algorithms in the Face of Incessant Faults
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining shared-coin algorithms
Journal of Parallel and Distributed Computing
A testing scenario for probabilistic automata
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Reactive probabilistic programs and refinement algebra
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Traces, executions and schedulers, coalgebraically
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Automated learning of probabilistic assumptions for compositional reasoning
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
On the refinement of liveness properties of distributed systems
Formal Methods in System Design
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic transition systems for continuous state spaces and non-determinism
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Assume-Guarantee verification for probabilistic systems
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Probabilistic Cluster Unfoldings
Fundamenta Informaticae
Efficient probabilistic abstraction for SysML activity diagrams
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
High-Level counterexamples for probabilistic automata
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Compositional probabilistic verification through multi-objective model checking
Information and Computation
A formal verification framework for SysML activity diagrams
Expert Systems with Applications: An International Journal
A property-based abstraction framework for SysML activity diagrams
Knowledge-Based Systems
| Hi-index | 0.00 |