Showing 461 - 480 results of 887 for search '"Model checking"', query time: 0.11s Refine Results
  1. 461
    Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
    Published 2009
    Table of Contents: “… Method for Model Checking.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 462
    Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy /
    by de Haan, Ronald, de Haan, Ronald
    Published 2019
    Table of Contents: “… Oracle -- Problems in Knowledge Representation and Reasoning -- Model Checking for Temporal Logics…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 463
    Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers /
    Published 2010
    Table of Contents: “…. Workflow and Orchestration -- Model Checking of Security-Sensitive Business Processes -- Session 3. Secure…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 464
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    Published 2007
    Table of Contents: “…-Structures with Pointers -- Symbolic Model Checking of Infinite-State Systems Using Narrowing -- Delayed…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 465
    Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
    Published 2007
    Table of Contents: “…Models and Software Model Checking of a Distributed File Replication System -- From “Formal Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 466
    Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers /
    Published 2008
    Table of Contents: “… Causality Graphs -- Hybrid Multiagent Systems with Timed Synchronization – Specification and Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 467
    Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers /
    Published 2014
    Table of Contents: “… -- Verification and Validation of Agent-Based Simulations using Approximate Model Checking -- Validating Simulated…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 468
    Recent Advances in Research on Unmanned Aerial Vehicles
    Published 2013
    Table of Contents: “… and Interception Problem -- Using Idempotent Methods -- Model Checking for Verification in UAV -- Cooperative…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 469
    Handbook of Weighted Automata
    Published 2009
    Table of Contents: “… -- Model Checking Linear-Time Properties of Probabilistic Systems -- Applications of Weighted Automata…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 470
    Basic and advanced Bayesian structural equation modeling : with applications in the medical and behavioral sciences /
    by Song, Xin-Yuan
    Published 2012
    Table of Contents: “… for estimating structural equation models -- Bayesian model comparison and model checking -- Practical structural…”
    Full Text via HEAL-Link
    eBook
  11. 471
    Transactions on Computational Systems Biology XIV Special Issue on Computational Models for Cell Processes /
    Published 2012
    Table of Contents: “… -- Probabilistic Model Checking of the PDGF Signaling Pathway -- Self-assembly Models of Variable Resolution…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 472
    Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings /
    Published 2002
    Table of Contents: “… Proving -- Model Checking -- The Complexity of the Graded ?-Calculus -- Lazy Theorem Proving for Bounded…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 473
    TAPSOFT'97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings /
    Published 1997
    Table of Contents: “… of timed algorithms and their model checking in high level languages -- Model checking through symbolic…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 474
    Mathematical Foundations of Computer Science 1999 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings /
    Published 1999
    Table of Contents: “… Results for Confluence Problems -- Model Checking -- Is Your Model Checker on Time? -- Clausal Resolution…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 475
    Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
    Published 2018
    Table of Contents: “… Theories -- Cubicle-W: Parameterized Model Checking on Weak Memory -- QRAT+: Generalizing QRAT by a More…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 476
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 477
    Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /
    Published 2015
    Table of Contents: “… Servers in the Transient Analysis of Product Form Queuing Networks -- Model Checking of Open Interval…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 478
    Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
    Published 2016
    Table of Contents: “… and Their Efficiency -- On-the-Fly Mean-field Model-Checking for Attribute-Based Coordination -- Scheduling Games…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 479
    Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23–25, 2015, Revised Selected Papers /
    Published 2016
    Table of Contents: “…Programming Support for Future Parallel Architectures -- Flexible Interpolation for Efficient Model…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 480
    Computer and Information Science 2015
    Published 2016
    Table of Contents: “… Training Data -- Depth-First Heuristic Search for Software Model Checking -- A Novel Architecture…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search