# Plasma Lab related publications

[LST15] | Axel Legay, Sean Sedwards, Louis-Marie Traonouez.Estimating Rewards & Rare Events in Nondeterministic Systems.In ECEASST, volume 72, 2015 |

[JLST15] | Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez.Distributed Verification of Rare Properties using Importance Splitting Observers.In ECEASST, volume 72, 2015 |

[DLST15] | Pedro D’Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez.Smart sampling for lightweight verification of Markov decision processes.In STTT, volume 17, issue 4, pages 469-484,2015 |

[LT15] | Axel Legay, Louis-Marie Traonouez.Statistical Model Checking of Simulink Models with Plasma Lab.In Proceedings of FTSCS, Communications in Computer and Information Science.Volume 596, pages 259-264, 2015 |

[BLT14] | Benoît Boyer, Axel Legay, Louis-Marie Traonouez.A Formalism for Stochastic Adaptive Systems.In Proceedings of ISoLA (2), LNCS, volume 8803, pages 160-176, 2014 |

[LST14] | Axel Legay, Sean sedwards, Louis-Marie Traonouez.Scalable Verification of Markov Decision Processes.In Proceedings of WS-FMDS, SEFM 2014 Collocated Workshops.LNCS, volume 8938, pages 350–362, 2014 |

[LS14] | Axel Legay, Sean sedwards.On Statistical Model Checking with PLASMA.In Proceedings of TASE, IEEE Computer Society, pages 139–145, 2014 |

[BCLS13] | Benoît Boyer, Kévin Corre, Axel Legay, Sean sedwards.PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library.In Proceedings of QEST, LNCS, volume 8054, pages 160-164, 2013 |

[MMBLA13] | Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold.SoS contract verification using statistical model checking.In Proceedings of AiSoS, EPTCS, pages 67-83, 2013 |

[ABL13] | Alexandre Arnold, Benoît Boyer, Axel Legay.Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach.In Proceedings of AiSoS, EPTCS, pages 47-66, 2013 |

[JLS12] | Cyrille Jégourel, Axel Legay, Sean Sedwards.A Platform for High Performance Statistical Model Checking – PLASMA.In Proceedings of TACAS, LNCS, volume 7214, pages 498-503, 2012 |

# Other SMC and model-checking publications

[TFL10] | Claus Thrane, Uli Fahrenberg and Kim G. Larsen.Quantitative Simulations of Weighted Transition Systems.In Journal of Logic and Algebraic Programming, Volume 79, 2010. |

[BBBCDL10] | A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye and A. Legay.Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.In Proceedings of the 5th Int. Conference on Formal Techniques for Distributed Systems (FORTE). LNCS 6117, Springer, 2010 |

[AFS09] | Luca de Alfaro, Marco Faella and Mariëlle Stoelinga.Linear and Branching System Metrics.In IEEE Trans. Software Eng., Volume 35, 2009. |

[RP09] | Diana El Rabih and Nihal Pekergin.Statistical Model Checking Using Perfect Simulation.In Proceedings of the Int. Conference on Automated Technology for Verification and Analysis (ATVA).LNCS 5799, 2009 |

[JCLLPZ09] | Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer and Paolo Zuliani.A Bayesian Approach to Model Checking Biological Systems.In Proceedings of the 7th Int. Computational Methods in Systems Biology (CMSB).LNCS 5688, Springer, 2009 |

[KZHHJ09] | J-P. Katoen, I. S. Zapreev, E. M. Hahn, H. Hermanns and D. N. Jansen.The Ins and Outs of the Probabilistic Model Checker MRMC.In Proceedings of the 6th Int. Conference on the Quantitative Evaluation of Systems (QEST).IEEE Computer Society, 2009 |

[CDL09] | E. M. Clarke, A. Donzé and A. Legay.On Simulation-based Probabilistic Model Checking of Mixed-Analog Circuits.In Formal Methods in System Design, 2010 |

[CFLHJL08] | Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha and Axel Legay.Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway.In Proceedings of CMSB. LNCS 5307, Springer, 2008 |

[BK08] | C. Baier and J-P. Katoen.Principles of Model Checking.MIT Press, 2008. |

[You06] | H. L. S. Younes.Error Control for Probabilistic Model Checking.In Proceedings of the 7th Int. Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI).LNCS 3855, Springer 2006 |

[You05] | H. L. S. Younes.Verification and Planning for Stochastic Processes with Asynchronous Events.PhD thesis, Carnegie Mellon, 2005 |

[SVA05b] | K. Sen, M. Viswanathan and G. A. Agha.VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems.In Proceedings of QEST. IEEE Computer Society, 2005 |

[SVA05] | K. Sen, M. Viswanathan and G. Agha.On Statistical Model Checking of Stochastic Systems.In Proceedings of the 7th Int. Conference on Computer Aided Verification (CAV).LNCS 3576, Springer, 2005 |

[SVA04] | Koushik Sen, Mahesh Viswanathan and Gul Agha.Statistical Model Checking of Black-Box Probabilistic Systems.In Proceedings of the 16th Int. Conference on Computer Aided Verification (CAV).LNCS 3114, Springer, 2004 |

[CGJLV03] | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu and Helmut Veith.Counterexample-guided abstraction refinement for symbolic model checking.In Journal ACM. Volume 50, 2003 |

[YS02] | Haakan L. S. Younes and Reid G. Simmons.Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling.In Proceedings of the 14th Int. Conference on Computer Aided Verification (CAV).LNCS 2404, Springer, 2002 |

[CGP99] | E. Clarke, O. Grumberg and D. Peled.Model Checking.MIT Press, 1999 |

[BCMDH92] | J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang.Symbolic Model Checking: 10.^{20} States and BeyondIn Information and Computation Volume 98, 1992 |

[Wald45] | Abraham Wald.Sequential Tests of Statistical Hypotheses.In Annals of Mathematical Statistics. Volume 16, issue 2, pages 117-186, 1945 |