Publications

The following publications are related to MEDDLY, either as descriptions of the library itself, or as applications that use the library.

Library

Junaid Babar and Andrew Miner.
Meddly: Multi–terminal and Edge–valued Decision Diagram LibrarY.
In 7th Int. Conf. on Quantitative Evaluation of Systems (QEST’10), pages 195-196, September 2010.

Junaid Babar and Andrew Miner.
Explicit state space and Markov chain generation using decision diagrams.
In 11th European Workshop on Performance Engineering (EPEW'14), LNCS 8721, pages 240-254, September 2014.
Junaid Babar, Marco Beccuti, Susanna Donatelli, and Andrew Miner.
GreatSPN enhanced with decision diagram data structures.
In Application and Theory of Petri Nets 2010 (Proc. 31st Int. Conf. on Applications and Theory of Petri Nets), Springer LNCS 6128, pages 208-317, June 2010.