Showing 641 - 660 results of 887 for search '"Model checking"', query time: 0.18s Refine Results
  1. 641
    Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
    Published 2013
    Table of Contents: “… at the Background -- Model-Checking Bounded Multi-Pushdown Systems -- Multi-weighted Automata and MSO Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 642
    Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 643
    Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  4. 644
    Agent and Multi-Agent Systems: Technology and Applications 11th KES International Conference, KES-AMSTA 2017 Vilamoura, Algarve, Portugal, June 2017 Proceedings /
    Published 2017
    Table of Contents: “… Strategy Game -- Simple Bounded MTLK Model Checking for Timed Interpreted Systems -- An Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 645
    Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  6. 646
    Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  7. 647
    Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  8. 648
    Coordination, Organizations, Institutions and Norms in Agent Systems IV COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers /
    Published 2009
    Table of Contents: “… Enforcement in e-Institutions -- Verifying Social Expectations by Model Checking Truncated Paths…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 649
    Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes -- Algebras -- A Kleene Theorem…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 650
    Information Systems Security 5th International Conference, ICISS 2009 Kolkata, India, December 14-18, 2009 Proceedings /
    Published 2009
    Table of Contents: “… Non-repudiation Protocol through Model Checking -- Method-Specific Java Access Control via RMI Proxy…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 651
    Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Interpolants and Bounded Model Checking for Incomplete Designs -- Statistical Methodology for Comparison of SAT…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 652
    Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Hidden Markov Models for Automated Protocol Learning -- Epistemic Model Checking for Knowledge-Based…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 653
    Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Programs via Higher-Order Model Checking -- Automatically Inferring Quantified Loop Invariants…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 654
    Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
    Published 2014
    Table of Contents: “… Learning -- Faster Statistical Model Checking by Means of Abstraction and Learning.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 655
    Model-Based Testing of Reactive Systems Advanced Lectures /
    Published 2005
    Table of Contents: “… -- 18 Run-Time Verification -- 19 Model Checking -- VII. Appendices -- Appendices -- 20 Model-Based…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 656
    Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  17. 657
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Complexity -- Model-Checking First-Order Logic: Automata and Locality -- Tightening the Exchange Rates…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 658
    FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths -- Closures and Modules…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 659
    Wireless Sensor and Actor Networks IFIP WG 6.8 First International Conference on Wireless Sensor and Actor Networks, WSAN’07, Albacete, Spain, September 24–26, 2007 /
    Published 2007
    Table of Contents: “… Constrained Multihop Wireless Sensor Networks -- Model Checking Wireless Sensor Network Security Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 660
    The Statistical Analysis of Recurrent Events
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search