Showing 621 - 640 results of 887 for search '"model checking"', query time: 0.16s Refine Results
  1. 621
    Computer Security -- ESORICS 2002 7th European Symposium on Research in Computer Security Zurich, Switzerland, October 14-16, 2002, Proceedings /
    Published 2002
    Table of Contents: “… for Distributed Web Caches -- Analysing a Stream Authentication Protocol Using Model Checking -- Equal To The Task…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 622
    Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers /
    Published 2006
    Table of Contents: “… with Branching Time: Completeness and Decidability Results -- Coordination and Model Checking -- An Intensional…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 623
    Detection of Intrusions and Malware, and Vulnerability Assessment Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Code by Model Checking -- Improving the Efficiency of Misuse Detection -- Distributed Intrusion…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 624
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
    Published 2012
    Table of Contents: “… for Static and Runtime Verification: Framework and Applications.- Statistical Model Checking QoS Properties…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 625
    Fundamental Approaches to Software Engineering 19th International Conference, FASE 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: “… Systems – Featuring ProFeat -- Statistical model checking of e-Motions domain-specific modeling languages…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 626
    Beyond Two: Theory and Applications of Multiple-Valued Logic
    Published 2003
    Table of Contents: “… Search Algorithms for Non-clausal Satisfiability -- Model Checking for Multi-valued Computation Tree…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 627
    Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
    Published 2003
    Table of Contents: “…? -- Automatic Structures of Bounded Degree -- An Optimal Automata Approach to LTL Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 628
    Recent Advances in AI Planning 4th European Conference on Planning, ECP'97, Toulouse, France, September 24 - 26, 1997, Proceedings /
    Published 1997
    Table of Contents: “… time and resource problem for planning architectures -- Planning via model checking: A decision…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 629
    Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings /
    Published 1999
    Table of Contents: “… and HOL -- Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 630
    Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Memory Allocation and Deallocation for Pointer-Intensive Applications -- Space Reductions for Model…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 631
    Multiagent System Technologies First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Context -- From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 632
    Fundamental Approaches to Software Engineering 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Specifications -- Probe Mechanism for Object-Oriented Software Testing -- Model Checking Software via Abstraction…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 633
    Informatics 10 Years Back. 10 Years Ahead /
    Table of Contents: “… Problem in Model Checking -- A Political Issue: Open Source? -- From Research Software to Open Source…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 634
    Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
    Published 2016
    Table of Contents: “… Congratulations, Frank -- Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 635
    Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /
    Published 2004
    Table of Contents: “… Circuit Specifications -- Combined Formal Refinement and Model Checking for Real-Time Systems Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 636
    Radical Innovations of Software and Systems Engineering in the Future 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers /
    Published 2004
    Table of Contents: “… for Complex Systems of Embedded Systems -- Software Evolution as the Key to Productivity -- Model-Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 637
    Transactions on Petri Nets and Other Models of Concurrency XII
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  18. 638
    Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005 /
    Published 2006
    Table of Contents: “… Simulation of Communication Protocols with StateC -- Integrating Model-Checking with UML-Based SoC…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 639
    Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Stack Based GP Language for Vector Processing -- Genetic Programming with Fitness Based on Model…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 640
    Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Mapping Relations -- Explicit-State Software Model Checking Based on CEGAR and Interpolation -- Design…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search