Showing 761 - 780 results of 887 for search '"model checking"', query time: 0.32s Refine Results
  1. 761
    Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /
    Published 2007
    Table of Contents: “… Throttle Controller Using the Timed Abstract State Machine Language and Toolset -- Model Checking of UML…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 762
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /
    Published 2010
    Table of Contents: “… -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 763
    Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
    Published 2014
    Table of Contents: “….- Applied Bounded Model Checking for Interlocking System Designs.- Formal Implementation of Data Validation…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 764
    Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Protein Folding Kinetics Via Temporal Logic Model Checking -- Efficient Algorithms to Explore Conformation…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 765
    KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings /
    Published 2018
    Table of Contents: “… -- Reasoning -- Model Checking for Coalition Announcement Logic -- Fusing First-order Knowledge Compilation…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 766
    Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings /
    Published 2012
    Table of Contents: “…-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 767
    Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I /
    Published 2014
    Table of Contents: “… and Learning for Multiplicity Tree Automata -- Monadic datalog and regular tree pattern queries -- Model…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 768
    Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings /
    Published 2014
    Table of Contents: “… Systems Model Checking -- Adaptive Mechanism Based on Shared Learning in Multi-agent System -- An Agent…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 769
    Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
    Published 2008
    Table of Contents: “… Place/Transition Systems -- Explicit State Model Checking for Graph Grammars -- Linear-Ordered Graph…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 770
    SOFSEM 2001: Theory and Practice of Informatics 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings /
    Published 2001
    Table of Contents: “… -- On the Approximability of Interactive Knapsack Problems -- Model Checking Communication Protocols -- Pipelined…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 771
    Dependable Computing EDCC-4 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings /
    Published 2002
    Table of Contents: “… of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System -- BPM Based Robust E…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 772
    FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
    Published 2002
    Table of Contents: “… for Software Verification -- Closing Open SDL-Systems for Model Checking with DTSpin -- A Generalised Sweep…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 773
    Intelligent Agents V: Agents Theories, Architectures, and Languages 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings /
    Published 1999
    Table of Contents: “… -- A Model Checking Algorithm for Multi-agent Systems -- Compositional Verification of Multi-agent…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 774
    UML'99 - The Unified Modeling Language: Beyond the Standard Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings /
    Published 1999
    Table of Contents: “… UML Specifications -- Formalising UML State Machines for Model Checking -- Panel 2 -- SDL as UML: Why…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 775
    STACS 2003 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings /
    Published 2003
    Table of Contents: “… Verification of Security Protocols -- Durations, Parametric Model-Checking in Timed Automata with Presburger…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 776
    UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings /
    Published 2003
    Table of Contents: “… -- A QoS-Oriented Extension of UML Statecharts -- Short Tool Papers -- CheckVML: A Tool for Model…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 777
    Computer Network Security Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings /
    Published 2003
    Table of Contents: “… for Security Policies Management -- Symbolic Partial Model Checking for Security Analysis -- Rule-Based Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 778
    Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 /
    Published 2003
    Table of Contents: “… Protocol -- Generation of All Counter-Examples for Push-Down Systems -- Modeling and Model Checking Mobile…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 779
    Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Reactive Systems -- Divider Circuit Verification with Model Checking and Theorem Proving -- Specification…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 780
    Software Engineering - ESEC/FSE '99 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings /
    Published 1999
    Table of Contents: “… to the Future? -- Using Model Checking to Generate Tests from Requirements Specifications -- Specification-Based…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search