Computation tree measurement language (CTML) von Jing, Yaping, Miner, Andrew S.

Volltext

Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding von Wan, Min, Ciardo, Gianfranco, Miner, Andrew S.

Volltext

Saturation for a General Class of Models von Miner, A.S.

Volltext

Exploiting interleaving semantics in symbolic state-space generation von Ciardo, Gianfranco, Lüttgen, Gerald, Miner, Andrew S.

Volltext

Implicit GSPN reachability set generation using decision diagrams von S. Miner, Andrew

Volltext

The footprint form of a matrix: Definition, properties, and an application von Amparore, Elvio G., Ciardo, Gianfranco, Miner, Andrew S.

Volltext

Runtime Fault Detection in Programmed Molecular Systems von Ellis, Samuel J., Klinge, Titus H., Lathrop, James I., Lutz, Jack H., Lutz, Robyn R., Miner, Andrew S., Potter, Hugh D.

Volltext

Reachability Set Generation Using Hybrid Relation Compatible Saturation von Biswal, Shruti, Miner, Andrew S.

Volltext

Improving Saturation Efficiency with Implicit Relations von Biswal, Shruti, Miner, Andrew S.

Volltext

Action and State Based Computation Tree Measurement Language and Algorithms von Jing, Yaping, Miner, Andrew S.

Volltext

Efficient Reachability Set Generation and Storage Using Decision Diagrams von Miner, Andrew S., Ciardo, Gianfranco

Volltext

A Formal Language toward the Unification of Model Checking and Performance Evaluation von Miner, Andrew S., Jing, Yaping

Volltext

Explicit State Space and Markov Chain Generation Using Decision Diagrams von Babar, Junaid, Miner, Andrew S.

Volltext

Decision diagrams for the exact solution of Markov models von Miner, Andrew S.

Volltext

Using the exact state space of a Markov model to compute approximate stationary measures von Miner, Andrew S., Ciardo, Gianfranco, Donatelli, Susanna

Volltext

Storage alternatives for large structured state spaces von Ciardo, Gianfranco, Miner, Andrew S.

Volltext

Efficient state space generation of GSPNs using decision diagrams von Miner, A.S.

Volltext bestellen

A data structure for the efficient Kronecker solution of GSPNs von Ciardo, G., Miner, A.S.

Volltext

Efficient solution of GSPNs using canonical matrix diagrams von Miner, A.S.

Volltext

Computing response time distributions using stochastic Petri nets and matrix diagrams von Miner, A.S.

Volltext