Process algebra for performance evaluation
Theoretical Computer Science
General distributions in process algebra
Lectures on formal methods and performance analysis
Guest Editors' Introduction: Human-Centered Computing at NASA
IEEE Intelligent Systems
A Testing Theory for Generally Distributed Stochastic Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Stochastic Process Algebras Meet Eden
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An Axiomatization of Probabilistic Testing
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
On probabilistic program equivalence and refinement
CONCUR 2005 - Concurrency Theory
Remarks on Testing Probabilistic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
Probabilistic timed behavior trees
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Characterising probabilistic processes logically
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
Revealing complexity through domain-specific modelling and analysis
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
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
Theories of Programming and Formal Methods
| Hi-index | 0.00 |