The following publications are possibly variants of this publication:
- Plasma Lab: A Modular Statistical Model Checking PlatformAxel Legay, Sean Sedwards, Louis-Marie Traonouez. ISoLA 2016: 77-93 [doi]
- A Platform for High Performance Statistical Model Checking - PLASMACyrille Jégourel, Axel Legay, Sean Sedwards. TACAS 2012: 498-503 [doi]
- Statistical Model Checking: An OverviewAxel Legay, Benoît Delahaye, Saddek Bensalem. RV 2010: 122-135 [doi]
- Statistical Abstraction and Model-Checking of Large Heterogeneous SystemsAnanda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay. forte 2010: 32-46 [doi]
- Time for Statistical Model Checking of Real-Time SystemsAlexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang. cav 2011: 349-355 [doi]