Search results

Jump to: navigation, search

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

Page title matches

Page text matches

  • SAC 2009 SOAP
    ...ast years, and many attempts at using formal methods for specification and verification in this setting have been made. Session correlation, service types, contrac
    7 KB (957 words) - 15:15, 11 August 2008
  • SAC 2009 Programming Languages
    * Program Analysis and Verification,
    4 KB (568 words) - 20:02, 20 August 2008
  • MBSDI 2009
    verification, development and evolution methodology. This
    9 KB (1,151 words) - 18:27, 13 October 2008
  • KES AMSTA 2009
    ** Verification and validation ** Verification and validation
    6 KB (777 words) - 22:54, 14 August 2008
  • IJIS/Special Issue on Goal-Driven Requirements Engineering
    * verification and validation for GDRE
    4 KB (471 words) - 23:33, 13 August 2008
  • COMPARCH 2008
    * Validation & verification
    4 KB (564 words) - 12:33, 8 December 2020
  • TACAS 2009
    ...ities include but are not limited to formal methods, software and hardware verification, static analysis, programming languages, software engineering, real-time sy * Specification and verification techniques for finite and infinite-state systems;
    4 KB (543 words) - 16:39, 16 July 2020
  • JWE
    * Web application evaluation, verification and validation
    6 KB (871 words) - 05:51, 26 August 2008
  • ISORC 2009
    specification, design, verification, validation, testing, maintenance,
    5 KB (715 words) - 17:43, 11 September 2008
  • CSR 2009
    for design, development, testing, analysis, and verification of correct
    5 KB (614 words) - 17:22, 11 September 2008
  • AAMAS 2009
    properties (like cooperation, coordination etc...), agent verification
    10 KB (1,371 words) - 16:14, 12 November 2020
  • VSTTE 2008
    |Field=Software Verification software verification. The Working Conference is open to anyone who is
    5 KB (686 words) - 12:27, 12 September 2008
  • MemoCODE 2009
    ...n different modeling levels, formal, semi-formal, and specification-driven verification on the system level. Transaction-level modeling. * 2. Design and verification methods for composition of concurrent systems: Multi-core architectures, ne
    5 KB (708 words) - 18:23, 13 October 2008
  • SEA 2011
    Software Verification and Model Checking
    2 KB (293 words) - 10:35, 24 June 2011
  • ATC 2009
    ...dels, negotiation, cooperation, competition, self-organization, emergence, verification etc.
    9 KB (1,216 words) - 17:32, 14 October 2008
  • ICESS 2009
    .Hardware/Software Co-Verification
    3 KB (375 words) - 17:48, 14 October 2008
  • FPGA 2009
    ...chnology mapping, system-level partitioning, logic generators, testing and verification, CAD for FPGA-based accelerators, CAD for incremental FPGA design and on-li ...s, tools, and techniques to facilitate the design, development, debugging, verification, and deployment of large-scale and high-performance FPGA-based applications
    4 KB (561 words) - 17:48, 14 October 2008
  • DEPEND 2008
    Verification and validation (including model checking) of dependable software architectu
    7 KB (960 words) - 17:48, 14 October 2008
  • GLSVLSI 2009
    ...sign, logic and behavioral synthesis, logic mapping, simulation and formal verification, layout (partitioning, placement, routing, floorplanning, compaction), algo
    4 KB (459 words) - 21:03, 14 October 2008
  • SIGMETRICS 2009
    ...lgorithms for: analytic modeling, system measurement and monitoring, model verification and validation, simulation, statistical analysis, experimental design, and
    3 KB (361 words) - 21:16, 14 October 2008
  • EICS 2009
    ...-IS 2009, the 16th International Workshop on the Design, Specification and Verification of Interactive Systems.
    4 KB (575 words) - 14:56, 27 December 2015
  • CASCON 2008
    - Reliability: verification and validation; model checking; =
    9 KB (1,193 words) - 22:53, 14 October 2008
  • CDVE 2008
    �?� Cooperative design analysis, verification, integration and interoperability, standards
    4 KB (468 words) - 22:54, 14 October 2008
  • LATA 2008
    - automata for system analysis and programme verification
    6 KB (788 words) - 23:01, 14 October 2008
  • WIALAMAS 2008
    * formal methods for verification of multi-agent systems
    5 KB (670 words) - 23:04, 14 October 2008
  • LPAR 2008
    - Program and system verification
    5 KB (799 words) - 21:49, 26 February 2020
  • ICINCO 2008
    Petri nets (system design/verification with nets, protocols and networks)
    5 KB (634 words) - 23:05, 14 October 2008
  • ICTAC 09
    * software specification, refinement, verification and testing
    8 KB (1,085 words) - 18:01, 12 February 2009
  • LATA 2009
    - automata for system analysis and programme verification
    7 KB (994 words) - 23:06, 14 October 2008
  • TCS 2008
    and Verification. Verification:
    5 KB (698 words) - 23:08, 14 October 2008
  • NLDB 2008
    ...nt Engineering, Terminological Ontologies, Paraphrasing, Dynamic Modeling, Verification, Consistency Checking, Metadata Harvesting ...ase Querying/Retrieval: Natural Language Interfaces for Database Querying, Verification of Database Queries by Paraphrasing, Semantic Analysis for Information Retr
    3 KB (384 words) - 23:08, 14 October 2008
  • TWOMDE 2008
    * Reasoning over MOF-based models using ontologies: verification and
    8 KB (994 words) - 23:09, 14 October 2008
  • MODELS OCL 2008
    web semantics) and for various purposes (e.g., model verification and * validation, verification, and testing,
    5 KB (746 words) - 23:09, 14 October 2008
  • MSVVEIS 2008
    | Title = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
    618 bytes (69 words) - 17:06, 24 February 2016
  • WaGe 2008
    · Workflow verification and validation in grid environments
    7 KB (886 words) - 23:10, 14 October 2008
  • SDKB 2008
    * Validation and Verification of data and knowledge base designs
    2 KB (271 words) - 23:10, 14 October 2008
  • WSES 2008
    * Workflow verification and validation
    4 KB (560 words) - 23:10, 14 October 2008
  • IAMCOM 2008
    14. Service-level specification & verification
    5 KB (651 words) - 23:13, 14 October 2008
  • ICWS 2008
    verification, testing, etc.)
    8 KB (1,158 words) - 23:14, 14 October 2008
  • AAMAS 2020
    ...ications of formal methods and declarative technologies for specification, verification and validation of MAS * Verification of multi-agent systems
    6 KB (659 words) - 17:41, 11 February 2021
  • IFAC/IFIP EI2N 2008
    * Enterprise reference models and their verification, validation, and accreditation
    8 KB (1,024 words) - 17:57, 8 November 2008
  • IET SPR - BIOID 2008
    o Speaker identification/verification
    4 KB (526 words) - 23:17, 14 October 2008
  • IDEAS 2009
    * Testing, Verification and Validation
    8 KB (1,104 words) - 23:18, 14 October 2008
  • SERENE 2008
    * Verification and validation of resilient systems
    9 KB (1,264 words) - 18:14, 8 November 2008
  • CBSE 2008
    ...bines elements of software architecture, modular software design, software verification, configuration and deployment. To foster exchange and collaboration with th ...oretical foundations of component specification, composition, analysis and verification continue to pose research challenges. While the engineering models and meth
    8 KB (1,033 words) - 23:18, 14 October 2008
  • SEKE 2008
    * Validation and Verification
    6 KB (733 words) - 12:48, 27 October 2016
  • SLA++P'08
    compilation, formal analysis and verification techniques, and * formal specification and verification,
    6 KB (659 words) - 23:18, 14 October 2008
  • ADCSS 2008
    ...system software co-engineering, up to operations, through development and verification. * Proving: formal verification or proof
    18 KB (2,714 words) - 23:23, 14 October 2008
  • PAN 2008
    verification problems. In the authorship attribution problem, one is given verification problem, one is given examples of the writing of a single
    5 KB (587 words) - 23:19, 14 October 2008
  • UASS 2009
    - Specification, Validation and Verification of Embedded System and Software
    6 KB (697 words) - 23:19, 14 October 2008
  • 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 100 | next 100) (20 | 50 | 100 | 250 | 500)

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