Search results

Jump to: navigation, search

Create the page "Verification" on this wiki! See also the search results found.

  • SSIRI 2008
    # Software testing and verification
    3 KB (337 words) - 23:20, 14 October 2008
  • UbiCC Sp. Issue 2009
    Component based software engineering &Software verification & analysis
    4 KB (502 words) - 23:20, 14 October 2008
  • ICFHR 2008
    · Writer Verification and Identification
    3 KB (364 words) - 23:21, 14 October 2008
  • VLSI-DAT 2009
    * Physical design and verification * Design verification
    2 KB (282 words) - 23:21, 14 October 2008
  • TFP 2008
    * Validation and Verification of Functional Programs
    5 KB (636 words) - 23:22, 14 October 2008
  • CORCS 2008
    * formal techniques for verification and validation of
    2 KB (254 words) - 23:22, 14 October 2008
  • EPOS 2008
    - Validation and verification strategies (e.g. stylized facts, statistical signatures, validation with st
    4 KB (523 words) - 23:23, 14 October 2008
  • FDL 2008
    | Title = Forum on Specification, Verification & Design Languages
    532 bytes (59 words) - 23:23, 14 October 2008
  • LICS 2008
    ...out security, rewriting, specifications, type systems and type theory, and verification. We welcome submissions in emergent areas, such as bioinformatics and quant
    2 KB (285 words) - 15:11, 7 November 2016
  • NEWCAS-TAISA 2009
    * Test and verification
    3 KB (377 words) - 23:24, 14 October 2008
  • DATICS 2009
    * embedded system hardware/software co-design and co-verification ...rmal methods: equivalence checking, CSP applications and transaction-level verification
    9 KB (1,181 words) - 00:37, 15 October 2008
  • MNRC 2008
    * Test, Verification, and Reliability
    2 KB (228 words) - 23:24, 14 October 2008
  • MWSCAS 2008
    * CS8: Verification
    3 KB (364 words) - 23:24, 14 October 2008
  • MWCAS 2008
    * CS8: Verification
    2 KB (187 words) - 23:24, 14 October 2008
  • SAMOS 2008
    * System-Level Design, Simulation, and Verification
    2 KB (275 words) - 23:24, 14 October 2008
  • NEWCAS 2008
    * Test and verification
    3 KB (391 words) - 23:24, 14 October 2008
  • ICONS 2009
    Validation and verification of safety requirements for complex systems containing hardware, software an Verification and validation of safety
    11 KB (1,492 words) - 23:26, 14 October 2008
  • ACM SAC OE 2009
    - Model analysis, verification and validation.
    6 KB (746 words) - 23:26, 14 October 2008
  • ICONS 2008
    Validation and verification of safety requirements for complex systems containing hardware, software an
    6 KB (765 words) - 23:26, 14 October 2008
  • WDA 2008
    ...echanisms such as clock- and Vdd-gating are increasing voltage droops; the verification manpower budget is becoming a significant part of the design effort; oxide * Dynamic verification techniques
    5 KB (598 words) - 01:12, 31 May 2012
  • EDCC 2008
    * Hardware and software testing, verification, and validation.
    4 KB (528 words) - 23:27, 14 October 2008
  • HSCC 2009
    �?� Tools for analysis, verification, control, and optimization;
    3 KB (406 words) - 23:29, 14 October 2008
  • MEMS 2009
    * Design, simulation and analysis tools with experimental verification
    2 KB (278 words) - 22:54, 4 February 2009
  • CRTS 2008
    verification techniques.
    6 KB (707 words) - 23:29, 14 October 2008
  • EURASIP Journal on Embedded Systems 2009
    ...ifferent applications of formal or semiformal techniques in specification, verification, and synthesis of * Verification of system-level languages
    4 KB (456 words) - 23:30, 14 October 2008
  • ESWEEK 2008
    14) Validation, verification, and debugging techniques for embedded softwar\ 4) Simulation and verification
    11 KB (1,352 words) - 00:33, 15 October 2008
  • LCTES 2008
    research challenges are encountered in areas such as verification, o Validation and verification, system integration and testing
    5 KB (673 words) - 23:30, 14 October 2008
  • MEMOCODE 2008
    * formal verification (model checking, theorem proving)
    4 KB (526 words) - 23:30, 14 October 2008
  • APRES 2008
    - Verification and certification of reconfigurable systems
    7 KB (851 words) - 23:30, 14 October 2008
  • RTAS Event-based Semantics 2008
    certification, resulting in a major verification challenge. The notion of verification of such systems.
    3 KB (426 words) - 23:30, 14 October 2008
  • FIT 2008
    * Verification & analysis of interfaces
    4 KB (537 words) - 23:30, 14 October 2008
  • DIPES 2008
    4. Validation and verification of embedded systems
    5 KB (655 words) - 23:30, 14 October 2008
  • DADS 2009
    ...ions and formal methods (e.g., rigorous development of dependable systems, verification and refinement of fault tolerant systems, techniques and mechanisms ensurin
    8 KB (952 words) - 23:31, 14 October 2008
  • WAODS 2008
    - Verification tools for ontologies
    4 KB (523 words) - 23:31, 14 October 2008
  • SWF 2008
    o Scientific workflow modeling, verification, and validation
    6 KB (750 words) - 23:31, 14 October 2008
  • ISORC 2008
    ...-driven development of high integrity applications, specification, design, verification, validation, testing, maintenance, system of systems, etc.
    3 KB (377 words) - 23:31, 14 October 2008
  • ESOP 2009
    ...ogical foundations, denotational semantics, operational semantics, program verification, static analysis, testing, language-based security.
    6 KB (824 words) - 23:32, 14 October 2008
  • PPoPP 2009
    * Formal analysis and verification
    4 KB (495 words) - 23:32, 14 October 2008
  • PPDP 2008
    * Program Analysis and Verification
    4 KB (451 words) - 23:32, 14 October 2008
  • ISSTA 2020
    * Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
    2 KB (216 words) - 09:31, 16 July 2020
  • LICS 2020
    * type systems and type theory and verification
    5 KB (656 words) - 11:29, 27 August 2020
  • CAV 2020
    |Title=International Conference on Computer Aided Verification * Algorithms and tools that combine verification and learning
    2 KB (291 words) - 11:09, 20 November 2020
  • PLDI 2008
    * Verification
    5 KB (678 words) - 20:58, 26 November 2016
  • HNS 2008
    * Design and Verification of Embedded Systems
    1 KB (142 words) - 23:34, 14 October 2008
  • FMCAD 2008
    ...ems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD 2008 will include a full day
    2 KB (269 words) - 23:36, 14 October 2008
  • IWLS 2008
    ...nd Synthesis provides a forum for research in synthesis, optimization, and verification of integrated circuits and systems. The emphasis is on novelty and intellec * testing and verification;
    3 KB (399 words) - 23:36, 14 October 2008
  • DAC 2008
    ...pic for DAC 2008. Papers that specifically target wireless related design, verification, test and implementation issues will be highlighted at the conference.
    2 KB (322 words) - 12:03, 27 November 2020
  • SOFSEM 2009
    * Techniques and Tools for Formal Verification * program semantics, logic, and verification
    6 KB (682 words) - 10:18, 14 April 2020
  • FM'08
    analysis, model-checking, verification, calculation, reusable
    7 KB (979 words) - 23:37, 14 October 2008
  • DEON 2008
    ...theoretical work (formal models, representations, specifications, logics, verification) and implementation-oriented work (architectures, programming languages, de
    5 KB (587 words) - 23:37, 14 October 2008

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://www.openresearch.org/wiki/Special:Search"