{"id":231,"date":"2012-12-19T15:05:43","date_gmt":"2012-12-19T14:05:43","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?page_id=231"},"modified":"2016-07-13T16:38:53","modified_gmt":"2016-07-13T14:38:53","slug":"publications","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/plasma-lab\/publications\/","title":{"rendered":"Bibliography"},"content":{"rendered":"

Plasma Lab related publications<\/h1>\n

 <\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n
[LST15]<\/td>\nAxel Legay, Sean Sedwards, Louis-Marie Traonouez.
\nEstimating Rewards & Rare Events in Nondeterministic Systems<\/strong>.
\nIn ECEASST<\/em>, volume 72, 2015<\/td>\n<\/tr>\n
[JLST15]<\/td>\nCyrille J\u00e9gourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez.
\nDistributed Verification of Rare Properties using Importance Splitting Observers<\/strong>.
\nIn ECEASST<\/em>, volume 72, 2015<\/td>\n<\/tr>\n
[DLST15]<\/td>\nPedro D’Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez.
\nSmart sampling for lightweight verification of Markov decision processes<\/strong>.
\nIn STTT<\/em>, volume 17, issue 4, pages 469-484,2015<\/td>\n<\/tr>\n
[LT15]<\/td>\nAxel Legay, Louis-Marie Traonouez.
\nStatistical Model Checking of Simulink Models with Plasma Lab<\/strong>.
\nIn Proceedings of FTSCS<\/em>, Communications in Computer and Information Science.
\nVolume 596, pages 259-264, 2015<\/td>\n<\/tr>\n
[BLT14]<\/td>\nBeno\u00eet Boyer, Axel Legay, Louis-Marie Traonouez.
\nA Formalism for Stochastic Adaptive Systems<\/strong>.
\nIn Proceedings of ISoLA (2)<\/em>, LNCS, volume 8803, pages 160-176, 2014<\/td>\n<\/tr>\n
[LST14]<\/td>\nAxel Legay, Sean sedwards, Louis-Marie Traonouez.
\nScalable Verification of Markov Decision Processes<\/strong>.
\nIn Proceedings of WS-FMDS<\/em>, SEFM 2014 Collocated Workshops.
\nLNCS, volume 8938, pages 350–362, 2014<\/td>\n<\/tr>\n
[LS14]<\/td>\nAxel Legay, Sean sedwards.
\nOn Statistical Model Checking with PLASMA<\/strong>.
\nIn Proceedings of TASE<\/em>, IEEE Computer Society, pages 139–145, 2014<\/td>\n<\/tr>\n
[BCLS13]<\/td>\nBeno\u00eet Boyer, K\u00e9vin Corre, Axel Legay, Sean sedwards.
\nPLASMA-lab: A Flexible, Distributable Statistical Model Checking Library<\/strong>.
\nIn Proceedings of QEST<\/em>, LNCS, volume 8054, pages 160-164, 2013<\/td>\n<\/tr>\n
[MMBLA13]<\/td>\nAlessandro Mignogna, Leonardo Mangeruca, Beno\u00eet Boyer, Axel Legay, Alexandre Arnold.
\nSoS contract verification using statistical model checking<\/strong>.
\nIn Proceedings of AiSoS<\/em>, EPTCS, pages 67-83, 2013<\/td>\n<\/tr>\n
[ABL13]<\/td>\nAlexandre Arnold, Beno\u00eet Boyer, Axel Legay.
\nContracts and Behavioral Patterns for SoS: The EU IP DANSE approach<\/strong>.
\nIn Proceedings of AiSoS<\/em>, EPTCS, pages 47-66, 2013<\/td>\n<\/tr>\n
[JLS12]<\/td>\nCyrille J\u00e9gourel, Axel Legay, Sean Sedwards.
\nA Platform for High Performance Statistical Model Checking – PLASMA<\/strong>.
\nIn Proceedings of TACAS<\/em>, LNCS, volume 7214, pages 498-503, 2012<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

Other SMC and model-checking publications<\/h1>\n

 <\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
[TFL10]<\/td>\nClaus Thrane, Uli Fahrenberg and Kim G. Larsen.
\nQuantitative Simulations of Weighted Transition Systems<\/strong>.
\nIn Journal of Logic and Algebraic Programming<\/em>, Volume 79, 2010.<\/td>\n<\/tr>\n
[BBBCDL10]<\/td>\nA. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye and A. Legay.
\nStatistical Abstraction and Model-Checking of Large Heterogeneous Systems<\/strong>.
\nIn Proceedings of the 5th Int. Conference on Formal Techniques for Distributed Systems (FORTE)<\/em>. LNCS 6117, Springer, 2010<\/td>\n<\/tr>\n
[AFS09]<\/td>\nLuca de Alfaro, Marco Faella and Mari\u00eblle Stoelinga.
\nLinear and Branching System Metrics<\/strong>.
\nIn IEEE Trans. Software Eng.<\/em>, Volume 35, 2009.<\/td>\n<\/tr>\n
[RP09]<\/td>\nDiana El Rabih and Nihal Pekergin.
\nStatistical Model Checking Using Perfect Simulation<\/strong>.
\nIn Proceedings of the Int. Conference on Automated Technology for Verification and Analysis (ATVA)<\/em>.
\nLNCS 5799, 2009<\/td>\n<\/tr>\n
[JCLLPZ09]<\/td>\nSumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, Andr\u00e9 Platzer and Paolo Zuliani.
\nA Bayesian Approach to Model Checking Biological Systems<\/strong>.
\nIn Proceedings of the 7th Int. Computational Methods in Systems Biology (CMSB)<\/em>.
\nLNCS 5688, Springer, 2009<\/td>\n<\/tr>\n
[KZHHJ09]<\/td>\nJ-P. Katoen, I. S. Zapreev, E. M. Hahn, H. Hermanns and D. N. Jansen.
\nThe Ins and Outs of the Probabilistic Model Checker MRMC<\/strong>.
\nIn Proceedings of the 6th Int. Conference on the Quantitative Evaluation of Systems (QEST)<\/em>.
\nIEEE Computer Society, 2009<\/td>\n<\/tr>\n
[CDL09]<\/td>\nE. M. Clarke, A. Donz\u00e9 and A. Legay.
\nOn Simulation-based Probabilistic Model Checking of Mixed-Analog Circuits<\/strong>.
\nIn Formal Methods in System Design<\/em>, 2010<\/td>\n<\/tr>\n
[CFLHJL08]<\/td>\nEdmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha and Axel Legay.
\nStatistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway<\/strong>.
\nIn Proceedings of CMSB<\/em>. LNCS 5307, Springer, 2008<\/td>\n<\/tr>\n
[BK08]<\/td>\nC. Baier and J-P. Katoen.
\nPrinciples of Model Checking<\/strong>.
\nMIT Press<\/em>, 2008.<\/td>\n<\/tr>\n
[You06]<\/td>\nH. L. S. Younes.
\nError Control for Probabilistic Model Checking<\/strong>.
\nIn Proceedings of the 7th Int. Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)<\/em>.
\nLNCS 3855, Springer 2006<\/td>\n<\/tr>\n
[You05]<\/td>\nH. L. S. Younes.
\nVerification and Planning for Stochastic Processes with Asynchronous Events<\/strong>.
\nPhD thesis, Carnegie Mellon, 2005<\/td>\n<\/tr>\n
[SVA05b]<\/td>\nK. Sen, M. Viswanathan and G. A. Agha.
\nVESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems<\/strong>.
\nIn Proceedings of QEST<\/em>. IEEE Computer Society, 2005<\/td>\n<\/tr>\n
[SVA05]<\/td>\nK. Sen, M. Viswanathan and G. Agha.
\nOn Statistical Model Checking of Stochastic Systems<\/strong>.
\nIn Proceedings of the 7th Int. Conference on Computer Aided Verification (CAV)<\/em>.
\nLNCS 3576, Springer, 2005<\/td>\n<\/tr>\n
[SVA04]<\/td>\nKoushik Sen, Mahesh Viswanathan and Gul Agha.
\nStatistical Model Checking of Black-Box Probabilistic Systems<\/strong>.
\nIn Proceedings of the 16th Int. Conference on Computer Aided Verification (CAV)<\/em>.
\nLNCS 3114, Springer, 2004<\/td>\n<\/tr>\n
[CGJLV03]<\/td>\nEdmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu and Helmut Veith.
\nCounterexample-guided abstraction refinement for symbolic model checking<\/strong>.
\nIn Journal ACM<\/em>. Volume 50, 2003<\/td>\n<\/tr>\n
[YS02]<\/td>\nHaakan L. S. Younes and Reid G. Simmons.
\nProbabilistic Verification of Discrete Event Systems Using Acceptance Sampling<\/strong>.
\nIn Proceedings of the 14th Int. Conference on Computer Aided Verification (CAV)<\/em>.
\nLNCS 2404, Springer, 2002<\/td>\n<\/tr>\n
[CGP99]<\/td>\nE. Clarke, O. Grumberg and D. Peled.
\nModel Checking<\/strong>.
\nMIT Press<\/em>, 1999<\/td>\n<\/tr>\n
[BCMDH92]<\/td>\nJ. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang.
\nSymbolic Model Checking: 1020<\/sup> States and Beyond<\/strong>.
\nIn Information and Computation<\/em> Volume 98, 1992<\/td>\n<\/tr>\n
[Wald45]<\/td>\nAbraham Wald.
\nSequential Tests of Statistical Hypotheses<\/strong>.
\nIn Annals of Mathematical Statistics<\/em>. Volume 16, issue 2, pages 117-186, 1945<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

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\u00e9gourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Distributed Verification of Rare Properties using Importance Splitting Observers. In ECEASST, volume 72, 2015 [DLST15] Pedro\u2026<\/p>\n

Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":234,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-231","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/231","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/users\/234"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/comments?post=231"}],"version-history":[{"count":47,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/231\/revisions"}],"predecessor-version":[{"id":2213,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/231\/revisions\/2213"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=231"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}