Search Results

There are 28853 results for: content related to: The humble Bayesian: Model checking from a fully Bayesian perspective

  1. Testing with model checkers: a survey

    Software Testing, Verification and Reliability

    Volume 19, Issue 3, September 2009, Pages: 215–261, Gordon Fraser, Franz Wotawa and Paul E. Ammann

    Version of Record online : 11 DEC 2008, DOI: 10.1002/stvr.402

  2. Model Checking

    Standard Article

    Wiley Encyclopedia of Computer Science and Engineering

    Doron Peled, Patrizio Pelliccione and Paola Spoletini

    Published Online : 16 MAR 2009, DOI: 10.1002/9780470050118.ecse247

  3. Model checking aircraft controller software: a case study

    Software: Practice and Experience

    Volume 45, Issue 7, July 2015, Pages: 989–1017, Zhe Chen, Yi Gu, Zhiqiu Huang, Jun Zheng, Chang Liu and Ziyi Liu

    Version of Record online : 21 NOV 2013, DOI: 10.1002/spe.2242

  4. Rejoinder to discussion of ‘Philosophy and the practice of Bayesian statistics’

    British Journal of Mathematical and Statistical Psychology

    Volume 66, Issue 1, February 2013, Pages: 76–80, Andrew Gelman and Cosma Shalizi

    Version of Record online : 10 OCT 2012, DOI: 10.1111/j.2044-8317.2012.02066.x

  5. MODEL CHECKING

    Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

    Zahir Tari, Peter Bertok, Anshuman Mukherjee, Pages: 15–26, 2013

    Published Online : 18 OCT 2013, DOI: 10.1002/9781118720103.ch2

  6. TIME-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING

    Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

    Zahir Tari, Peter Bertok, Anshuman Mukherjee, Pages: 115–154, 2013

    Published Online : 18 OCT 2013, DOI: 10.1002/9781118720103.ch6

  7. Comment on Gelman and Shalizi

    British Journal of Mathematical and Statistical Psychology

    Volume 66, Issue 1, February 2013, Pages: 65–67, Stephen Senn

    Version of Record online : 28 SEP 2012, DOI: 10.1111/j.2044-8317.2012.02065.x

  8. Automatic test case generation from Simulink/Stateflow models using model checking

    Software Testing, Verification and Reliability

    Volume 24, Issue 2, March 2014, Pages: 155–180, Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K.C. Shashidhar and S. Ramesh

    Version of Record online : 22 JAN 2013, DOI: 10.1002/stvr.1489

  9. Tools for Model-Checking Timed Systems

    Communicating Embedded Systems: Software and Design: Formal Methods

    Alexandre David, Gerd Behrmann, Peter Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jiří Srba, Wang Yi, Kenneth Y. Joergensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez, Pages: 165–225, 2013

    Published Online : 13 FEB 2013, DOI: 10.1002/9781118558188.ch6

  10. Model Checking Timed Automata

    Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

    Patricia Bouyer, François Laroussinie, Pages: 111–140, 2010

    Published Online : 27 JAN 2010, DOI: 10.1002/9780470611012.ch4

  11. INTRODUCTION

    Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

    Zahir Tari, Peter Bertok, Anshuman Mukherjee, Pages: 1–14, 2013

    Published Online : 18 OCT 2013, DOI: 10.1002/9781118720103.ch1

  12. Synthesis of attack actions using model checking for the verification of security protocols

    Security and Communication Networks

    Volume 4, Issue 2, February 2011, Pages: 147–161, Stylianos Basagiannis, Panagiotis Katsaros and Andrew Pombortsis

    Version of Record online : 12 JUN 2009, DOI: 10.1002/sec.119

  13. MEMORY-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING

    Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

    Zahir Tari, Peter Bertok, Anshuman Mukherjee, Pages: 77–114, 2013

    Published Online : 18 OCT 2013, DOI: 10.1002/9781118720103.ch5

  14. Multiple Imputation for Model Checking: Completed-Data Plots with Missing and Latent Data

    Biometrics

    Volume 61, Issue 1, March 2005, Pages: 74–85, Andrew Gelman, Iven Van Mechelen, Geert Verbeke, Daniel F. Heitjan and Michel Meulders

    Version of Record online : 28 FEB 2005, DOI: 10.1111/j.0006-341X.2005.031010.x

  15. Model Checking of Finite-State Systems

    Real-Time Systems: Scheduling, Analysis, and Verification

    Albert M. K. Cheng, Pages: 86–133, 2003

    Published Online : 13 MAR 2003, DOI: 10.1002/0471224626.ch4

  16. Testing aspect-oriented programs with finite state machines

    Software Testing, Verification and Reliability

    Volume 22, Issue 4, June 2012, Pages: 267–293, Dianxiang Xu, Omar El-Ariss, Weifeng Xu and Linzhang Wang

    Version of Record online : 13 SEP 2010, DOI: 10.1002/stvr.440

  17. Model Comparison and Model Checking

    Structural Equation Modeling: A Bayesian Approach

    Sik-Yum Lee, Pages: 111–138, 2007

    Published Online : 8 AUG 2007, DOI: 10.1002/9780470024737.ch5

  18. The Predictive Distribution and Model Checking

    Bayesian Modeling Using WinBUGS

    Ioannis Ntzoufras, Pages: 341–388, 2008

    Published Online : 21 JUL 2008, DOI: 10.1002/9780470434567.ch10

  19. Philosophy and the practice of Bayesian statistics

    British Journal of Mathematical and Statistical Psychology

    Volume 66, Issue 1, February 2013, Pages: 8–38, Andrew Gelman and Cosma Rohilla Shalizi

    Version of Record online : 24 FEB 2012, DOI: 10.1111/j.2044-8317.2011.02037.x

  20. Multilevel multidimensional item response model with a multilevel latent covariate

    British Journal of Mathematical and Statistical Psychology

    Volume 68, Issue 3, November 2015, Pages: 410–433, Sun-Joo Cho and Brian Bottge

    Version of Record online : 28 MAR 2015, DOI: 10.1111/bmsp.12051