Showing 281 - 300 results of 887 for search '"Model checking"', query time: 0.13s Refine Results
  1. 281
    Nonparametric Monte Carlo Tests and Their Applications
    by Zhu, Lixing
    Published 2005
    Table of Contents: “… Linear Model -- Model Checking for Multivariate Regression Models -- Heteroscedasticity Tests…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 282
    Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Information Theory and Foundations of Probability -- Model Checking as A Reachability Problem -- Automatic…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 283
    Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
    Published 2012
    Table of Contents: “… (Extended Abstract) -- Statistical Model Checking, Refinement Checking, Optimization, for Stochastic Hybrid…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 284
    Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Model Checking of Higher-Order Recursion Schemes -- Model Checking Dynamic Pushdown Networks…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 285
    Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
    Published 2008
    Table of Contents: “… Queues with Resets -- Simulation and Model Checking -- Simulation of a Peer to Peer Market for Grid…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 286
    Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings /
    Published 2017
    Table of Contents: “…Formal methods integration and experience reports -- Model checking -- Refinement and verification…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 287
    Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings /
    Published 2002
    Table of Contents: “… Admitting Final Semantics -- Model Checking Fixed Point Logic with Chop -- On Model Checking Durational…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 288
    CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings /
    Published 2006
    Table of Contents: “… of Concurrency -- Model Checking -- A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 289
    Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
    Published 2013
    Table of Contents: “… for Probabilistic Systems -- SMT-Based Software Model Checking: Explicit Scheduler, Symbolic Threads -- Regular…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 290
    Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 291
    Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
    Published 2016
    Table of Contents: “… Model Checking with PRISM -- PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 292
    Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers /
    Published 2003
    Table of Contents: “… -- The Definition of Transitive Closure with OCL - Limitations and Applications - -- Verification and Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 293
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    Published 2008
    Table of Contents: “… for Intuitionistic Propositional Logic -- Invited Talk -- Model Checking – My 27-Year Quest to Overcome the State…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 294
    Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Natural Language Requirement Specifications for Embedded Real-Time Systems -- Model Checking of Concurrent…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 295
    Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
    Published 2016
    Table of Contents: “…- and Reward-Bounded Probabilistic Model Checking Techniques -- Computing Specification-Sensitive Abstractions…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 296
    Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings /
    Published 1998
    Table of Contents: “… Semantics for Abstract Model Checking -- Automatic Determination of Communication Topologies in Mobile…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 297
    Recent Advances in AI Planning 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings /
    Published 2000
    Table of Contents: “…Planning as Model Checking -- Conformant Planning via Model Checking -- Strong Cyclic Planning…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 298
    Compositionality: The Significant Difference International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures /
    Published 1998
    Table of Contents: “… in Model Checking -- Modeling Urgency in Timed Systems -- Compositional Refinement of Interactive Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 299
    FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings /
    Published 2003
    Table of Contents: “… and Regular Conditions -- Real-Time Model-Checking: Parameters Everywhere -- The Caucal Hierarchy of Infinite…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 300
    2020_Book_ToolsAndAlgorithmsForTheConstr.pdf
    Published 2020
    “…; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II…”
    Get full text
Search Tools: RSS Feed – Email Search