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
  • LAPL 2009
    as the verification of agent programs (i.e., will an agent program programs and associated verification techniques, with work on various
    4 KB (586 words) - 01:27, 19 November 2008
  • DALT 2008
    sure predictability, allow for the verification of properties, * verification of agents and multiagent systems
    8 KB (840 words) - 23:38, 14 October 2008
  • APSAR 2009
    B3. SAR Calibration and Verification
    2 KB (307 words) - 23:39, 14 October 2008
  • HASE 2008
    ...ies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome.
    6 KB (748 words) - 14:43, 27 December 2015
  • PODC 2008
    - specification, semantics, verification, and testing of distributed systems
    6 KB (766 words) - 13:19, 28 November 2016
  • COMPSAC 2008
    ...lysis and co-design, modelling, design, development, testing, measurement, verification and validation for performance, safety, security, and dependability constra
    2 KB (249 words) - 23:44, 14 October 2008
  • SECURWARE 2009
    Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de
    13 KB (1,617 words) - 19:03, 24 November 2008
  • QAPL 2009
    and the methodologies and tools for the analysis and verification of system Language expressiveness, Logic, Verification, Quantum languages, Semantics,
    6 KB (823 words) - 14:28, 14 December 2008
  • Francesco Flammini
    ...uary 2007, he has worked in Ansaldo STS as a Software/RAMS Engineer in the Verification & Validation unit, specializing in model-based dependability evaluation and
    1 KB (186 words) - 17:22, 5 February 2009
  • M4M-6
    researchers interested in developing algorithms, verification methods
    4 KB (535 words) - 10:05, 24 December 2008
  • BPMDS 2009
    design, compliance assurance and verification, and others.
    11 KB (1,744 words) - 08:47, 5 July 2012
  • ICLP 2009
    ** Verification development, verification, and implementation; (2) application papers,
    5 KB (680 words) - 23:55, 27 February 2020
  • IAAI 2009
    ...n of AI with other technologies; development methodologies; validation and verification; lessons learned; social and other technology transition issues.
    11 KB (1,724 words) - 12:55, 18 January 2009
  • RIVF 2009
    o Software testing and verification o Embedded system testing and verification
    5 KB (567 words) - 12:58, 18 January 2009
  • IEEE/SIES 2009
    ...dded Systems; Real-Time Issues; Models of Embedded Computation; Design and Verification Languages; Operating Systems and Quasi-Static Scheduling; Timing and Perfor
    3 KB (337 words) - 12:59, 18 January 2009
  • ProMAS' 2009
    - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS
    8 KB (977 words) - 12:59, 18 January 2009
  • Ptolemy 2009
    * Model verification
    3 KB (335 words) - 00:52, 2 February 2009
  • SSV 2009
    | Title = 4th International Workshop on Systems Software Verification Industrial-strength software analysis and verification has advanced in
    2 KB (255 words) - 13:00, 18 January 2009
  • TIME 2009
    verification of software and hardware systems. In addition to fostering Track 3: Temporal Logic and Verification in Computer Science
    6 KB (872 words) - 13:00, 18 January 2009
  • ProMAS 2009
    - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS
    7 KB (917 words) - 13:02, 18 January 2009
  • ICINCO 2009
    - Petri nets (system design/verification with nets, protocols and networks)
    5 KB (661 words) - 13:02, 18 January 2009
  • PESOS 2009
    verification, and evolution - to their extreme. Services are in fact - specification, design, implementation, verification, deployment, and
    5 KB (694 words) - 13:03, 18 January 2009
  • FroCoS 2009
    program development and verification, artificial intelligence, knowledge
    5 KB (669 words) - 13:03, 18 January 2009
  • ICCNS 2009
    ...ation form below. Student registrations must be accompanied by a letter of verification from a department chairperson or faculty/research advisor.
    8 KB (1,092 words) - 13:33, 18 January 2009
  • ATVA 2020
    |Title=18th International Symposium on Automated Technology for Verification and Analysis
    596 bytes (75 words) - 08:35, 20 March 2020
  • DISC 2009
    * tools and methodologies for specification, semantics, verification, and testing
    7 KB (890 words) - 15:05, 27 December 2015
  • SPIN 2009
    ...on techniques, as implemented in the SPIN model checker and other software verification tools. The workshop aims to encourage interactions and exchanges of ideas w
    2 KB (238 words) - 16:34, 27 February 2009
  • FACS 2009
    techniques for the specification, development and verification of verification, deployment, testing and certification.
    8 KB (1,079 words) - 17:05, 27 February 2009
  • TTSDP 2009
    ...tware development, component based software engineering, software quality, verification and validation techniques and software project management,.
    1 KB (190 words) - 22:09, 27 February 2009
  • SEPA 2009
    ...tware development, component based software engineering, software quality, verification and validation techniques and software project management.
    2 KB (284 words) - 22:10, 27 February 2009
  • FCT 2009
    ...guages; program analysis and transformation; specification, refinement and verification; type
    2 KB (282 words) - 11:28, 21 April 2021
  • IJERTCS 2009
    - Modeling and verification methods - Formal design and verification methods
    5 KB (646 words) - 17:06, 27 February 2009
  • KSE 2009
    - Testing, Verification and Validation
    6 KB (654 words) - 17:06, 27 February 2009
  • ATVA 2009
    | Title = 7th International Symposium on Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
    6 KB (801 words) - 17:06, 27 February 2009
  • IPTComm 2009
    * Inter-provider trust and verification schemes
    4 KB (621 words) - 17:06, 27 February 2009
  • TKDE 2009
    * Verification and validation of interchanged rule bases in
    7 KB (883 words) - 17:06, 27 February 2009
  • ICOCI 2009
    • Formal Methods, Verification
    3 KB (319 words) - 17:07, 27 February 2009
  • ISC 2009
    VERIFICATION, VALIDATION AND ACCREDITATION ...dation is concerned with the question "Are we building the right system?". Verification, on the other hand, seeks to answer the question "Are we building the syste
    38 KB (4,832 words) - 17:07, 27 February 2009
  • RelMiCS-AKA 2009
    - verification, analysis and development of programs and algorithms
    7 KB (912 words) - 17:08, 27 February 2009
  • ICKE 2009
    * Validation and verification
    11 KB (1,563 words) - 06:56, 12 April 2012
  • DBTest 2009
    * Techniques and algorithms for automatic program verification
    6 KB (817 words) - 17:08, 27 February 2009
  • ESORICS 2009
    - security verification
    6 KB (828 words) - 17:08, 27 February 2009
  • IISWC 2009
    - Instrumentation methodologies for workload verification and characterization
    4 KB (589 words) - 17:08, 27 February 2009
  • CORCS 2009
    - formal techniques for verification and validation of component =20
    4 KB (504 words) - 16:43, 27 December 2015
  • AOSE09
    * Verification and validation techniques for agent-based systems; =C2 and verification logics;
    8 KB (1,153 words) - 22:41, 23 March 2009
  • SimpleScalar
    ...ormance visualization tools, statistical analysis resources, and debug and verification infrastructure.
    2 KB (210 words) - 12:17, 7 April 2016
  • FPGA 2010
    ...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
    5 KB (632 words) - 11:32, 2 August 2009
  • IEEE Systems 2010
    * Systems Verification and Validation
    6 KB (706 words) - 11:33, 2 August 2009
  • DERIS 2009
    Evaluation, Verification, Validation and Refinement of Intelligent systems, have been an important i Today, in fact, the classic approach to the Evaluation, Verification, Validation and Refinement have to be assessed from the new perspectives. T
    6 KB (864 words) - 11:33, 2 August 2009
  • OCL 2009
    verification and validation, code generation, test-driven development, * validation, verification, and testing,
    6 KB (870 words) - 11:34, 2 August 2009
  • Security 2009
    Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de
    6 KB (746 words) - 11:35, 2 August 2009
  • ASWEC 2010
    * Software Verification and Validation * Testing, Analysis and Verification
    8 KB (1,112 words) - 11:35, 2 August 2009
  • GAMES 2009
    ...= Annual Workshop of the ESF Networking Programme on Games for Design and Verification Games for Design and Verification
    3 KB (443 words) - 14:53, 27 December 2015
  • MMIS 2009
    ...topics. A copy of multi-source data must be submitted (through email) for verification. If there is any copyright issue related to the submitted data, the authors
    7 KB (850 words) - 11:36, 2 August 2009
  • LCTES 2010
    new research challenges are encountered in areas such as verification, validation, meeting performance goals and resource constraints, creating a
    2 KB (257 words) - 11:36, 2 August 2009
  • SOC-LOG 2009
    - Verification of logistics services
    12 KB (1,624 words) - 11:36, 2 August 2009
  • DATE 2010
    • Assertion-based and Coverage-driven Verification • Formal Methods and Formal Verification
    5 KB (605 words) - 15:11, 27 December 2015
  • ICIMP 2010
    ...aluation in Internet; System measurement and monitoring; Performance model verification and validation; Stochastic modeling (queues, Petri nets, etc.); Statistical ...ms security; Language-based security; Formalisms for security and protocol verification; Performance on firewall protected real-time systems; Security management i
    14 KB (1,651 words) - 15:56, 15 February 2017
  • ICINCO 2010
    * Petri nets (system design/verification with nets, protocols and networks)
    4 KB (475 words) - 13:42, 26 February 2010
  • LDTA 2010
    * Program analysis, transformation, generation, and verification * model checking to software verification
    5 KB (699 words) - 11:19, 12 September 2009
  • QSIC 2010
    static and dynamic analysis, validation and verification
    4 KB (583 words) - 12:17, 25 November 2009
  • ICITST-2010
    * System design and verification
    5 KB (607 words) - 18:01, 3 December 2009
  • KES AMSTA 2010
    .... Mobile agents. Per-formance, scalability, robustness, and dependability. Verification and validation. E-business agents. Pervasive computing. Privacy, safety, an
    6 KB (733 words) - 18:19, 24 September 2020
  • SECRYPT
    * › Security Verification and Validation
    4 KB (409 words) - 15:40, 5 February 2010
  • TACAS 2019
    * specification and verification techniques; * software and hardware verification;
    3 KB (369 words) - 06:23, 4 August 2020
  • FDL 2010
    ABD TA: Assertion Based Design, Verification & Debug emphasis on frontier design levels, verification, automatic synthesis and
    8 KB (1,113 words) - 17:01, 22 February 2010
  • ECSI
    ...promote efficient methods for electronic systems specification, design and verification. Throughout the ECSI membership the industrial partners, research centres a
    3 KB (394 words) - 17:18, 22 February 2010
  • S&P 2020
    ...pers may present advances in the theory, design, implementation, analysis, verification, or empirical evaluation and measurement of secure systems.
    4 KB (490 words) - 14:42, 6 November 2020
  • FM 2011
    * Tools for formal methods: advances in automated verification and model‐ checking, integration of tools, environments for formal method * Theoretical foundations: all aspects of theory related to specification, verification, refinement, and static analysis. Authors are encouraged to explain how the
    7 KB (993 words) - 14:55, 27 December 2015
  • RTAS 2020
    ...ms that contribute to the state of practice in the design, implementation, verification, and validation of embedded systems and time-sensitive systems (of any size
    2 KB (312 words) - 10:13, 8 October 2020
  • ICST
    |Title=International Conference on Software Testing, Verification and Validation
    133 bytes (17 words) - 21:54, 26 February 2020
  • ATVA
    |Title=International Symposium on Automated Technology for Verification and Analysis
    218 bytes (28 words) - 11:53, 22 March 2020
  • IWIGP 2011
    * test and verification of interactive systems
    5 KB (604 words) - 21:24, 1 November 2010
  • ICALP 2020
    * Specification, Verification and Synthesis
    4 KB (602 words) - 06:44, 26 August 2020
  • ICST 2020
    |Title=International Conference on Software Testing, Verification and Validation
    228 bytes (26 words) - 17:00, 27 February 2020
  • DISC 2020
    * Formal methods for distributed computing: verification, synthesis and testing
    3 KB (344 words) - 11:30, 21 April 2020
  • ISMM 2012
    <li>Program analysis, synthesis, and verification<br>
    2 KB (279 words) - 02:50, 22 October 2011
  • MESA 2011
    * Design & Verification Tools for Embedded Systems Design & Verification Tools for Embedded Systems
    12 KB (1,378 words) - 21:13, 28 November 2010
  • RE 2011
    * Requirements elicitation, analysis, documentation, validation and verification * Formal analysis and verification
    7 KB (895 words) - 19:51, 24 June 2016
  • SAAES 2011
    * Formal Methods in the Design and Verification of SAA Systems
    4 KB (598 words) - 18:55, 23 December 2010
  • SXACEA 2011
    * Formal Verification
    8 KB (678 words) - 09:03, 2 January 2011
  • SAAES
    * Formal Methods in the Design and Verification of SAA Systems
    4 KB (593 words) - 17:49, 7 January 2011
  • WWV 2011
    |Title=7th International Workshop on Automated Specification and Verification of Web Systems Automated Specification and Verification of Web Systems
    5 KB (650 words) - 14:16, 22 February 2011
  • NCA 2011
    * Network Protocol Verification and Validation
    3 KB (322 words) - 05:59, 8 March 2011
  • EI2N 2011
    * Enterprise reference models and their verification, validation, and accreditation
    8 KB (1,135 words) - 21:41, 11 March 2011
  • ICTSS 2011
    Testing is one of the most important technique for the (partial) verification of communication and software systems as well as the validation of their mo ...est result analysis, test oracles, test management, monitoring and runtime verification, test frameworks;
    6 KB (822 words) - 14:44, 18 March 2011
  • SIMUTOOLS 2012
    ...alidation, accreditation, and analysis: benchmark models, simulation-based verification, workflow, simulation experiment design, optimization, and simulation coerc
    6 KB (809 words) - 16:26, 28 September 2011
  • TRUST 2012
    Attestation and integrity verification Verification of trusted computing architectures
    4 KB (451 words) - 12:27, 30 November 2011
  • DISSECT 2020
    Verification and enforcement of security properties
    4 KB (581 words) - 18:48, 24 February 2020
  • ESEC/FSE 2020
    ...gineering || Mobile applications || Scientific computing || Validation and verification
    6 KB (738 words) - 11:21, 6 July 2020
  • OPODIS 2019
    *Programming languages, formal methods, specification and verification applied to distributed systems
    2 KB (299 words) - 11:51, 8 April 2020
  • ICCS 2012
    Logic synthesis and formal verification
    10 KB (1,363 words) - 09:26, 7 May 2012
  • CAV 2019
    |Title=International Conference on Computer-Aided Verification |Field=Computer-Aided Verification
    382 bytes (45 words) - 17:12, 9 February 2021
  • TRUST 2013
    ● Attestation and integrity verification ● Verification of trusted computing architectures
    5 KB (677 words) - 15:19, 19 December 2012
  • ACIS 2013
    * Knowledge verification/validation
    3 KB (408 words) - 11:39, 5 January 2013
  • JIST 2016
    ** Big data verification using semantics
    5 KB (711 words) - 19:02, 7 March 2020
  • ICTSS 2016
    ...est result analysis, test oracles, test management, monitoring and runtime verification, test frameworks ...demonstrate how to systematically combine testing and formal (model-based) verification and analysis to improve quality and reduce effort
    3 KB (405 words) - 10:56, 24 April 2016
  • RIVF 2016
    ..., open source software development, software process, software testing and verification, embedded systems, distributed data management, information integration, do
    3 KB (422 words) - 12:09, 24 April 2016
  • SPVAN 2016
    *Formal verification techniques for VANET protocols
    2 KB (233 words) - 06:32, 20 September 2016
  • APW 2016
    |Field=software verification, eiffel, autoproof, boogie
    387 bytes (46 words) - 10:47, 11 September 2016
  • HLDVT 2016
    |Field=validation, verification, debug, test
    402 bytes (51 words) - 16:17, 8 July 2016
  • NWPT 2016
    |Field=computer science, theory, semantics, verification
    336 bytes (36 words) - 06:30, 20 September 2016
  • FSEN 2017
    |Field=system verification, software engineering, formal methods, software testing
    418 bytes (51 words) - 16:21, 8 July 2016
  • TAIC PART 2017
    |Field=software testing, industry collaboration, verification and validation, software quality
    484 bytes (58 words) - 15:35, 27 August 2016
  • ACSS 2017-2
    * Analysis and verification techniques
    870 bytes (100 words) - 18:53, 2 March 2021
  • AMARETTO 2017
    ...: 2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
    417 bytes (51 words) - 13:47, 25 September 2016
  • ITEQS 2017
    |Field=software testing, verification and validation, extra-functional properties, software quality
    509 bytes (61 words) - 13:48, 25 September 2016
  • CAV 1996
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    401 bytes (50 words) - 15:12, 9 February 2021
  • CAV 2006
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    399 bytes (48 words) - 16:33, 9 February 2021
  • CAV 2011
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    398 bytes (46 words) - 16:58, 9 February 2021
  • CAV 2010
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    393 bytes (45 words) - 16:54, 9 February 2021
  • CAV 2005
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    381 bytes (46 words) - 16:36, 9 February 2021
  • CAV 2014
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    357 bytes (40 words) - 17:05, 9 February 2021
  • CAV 2016
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    372 bytes (42 words) - 17:10, 9 February 2021
  • CAV 2008
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    367 bytes (42 words) - 16:43, 9 February 2021
  • CAV 1997
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    378 bytes (46 words) - 15:18, 9 February 2021
  • CAV 2015
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    378 bytes (43 words) - 17:06, 9 February 2021
  • CAV 2001
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    375 bytes (44 words) - 15:51, 9 February 2021
  • CAV 2002
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    364 bytes (42 words) - 15:42, 9 February 2021
  • CAV 1989
    |Title=Verification Methods for Finite State Systems |Field=Computer-Aided Verification
    306 bytes (37 words) - 18:09, 9 February 2021
  • CAV 2007
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    358 bytes (41 words) - 16:30, 9 February 2021
  • CAV 1995
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    379 bytes (46 words) - 15:04, 9 February 2021
  • CAV 2004
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    341 bytes (38 words) - 16:05, 9 February 2021
  • CAV 2017
    |Title=International Conference on Computer Aided Verification |Field=Computer-Aided Verification
    547 bytes (69 words) - 17:11, 9 February 2021
  • CAV 1990
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    302 bytes (36 words) - 14:39, 9 February 2021
  • CAV 1998
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    373 bytes (45 words) - 15:22, 9 February 2021
  • CAV 1999
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    322 bytes (36 words) - 15:27, 9 February 2021
  • CAV 2003
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    336 bytes (38 words) - 15:58, 9 February 2021
  • CAV 2000
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    336 bytes (38 words) - 15:35, 9 February 2021
  • CAV 2012
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    380 bytes (44 words) - 17:01, 9 February 2021
  • CAV 1994
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    397 bytes (48 words) - 14:56, 9 February 2021
  • CAV 1992
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    383 bytes (46 words) - 14:52, 9 February 2021
  • CAV 1993
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    381 bytes (46 words) - 14:50, 9 February 2021
  • CAV 2009
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    363 bytes (41 words) - 16:48, 9 February 2021
  • CAV 2013
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    370 bytes (42 words) - 17:03, 9 February 2021
  • CAV 1991
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    341 bytes (42 words) - 14:38, 9 February 2021
  • CAV
    |Title=Computer Aided Verification
    93 bytes (11 words) - 17:52, 30 September 2016
  • LICS 2016
    * type systems and type theory and verification
    4 KB (528 words) - 11:25, 26 June 2020
  • LICS 2017
    * type systems and type theory and verification
    4 KB (490 words) - 11:42, 26 June 2020
  • PLDI 2016
    * Rehearsal: a configuration verification tool for puppet
    3 KB (390 words) - 08:01, 9 July 2020
  • SnT2017
    ...Treaty (CTBT)'''. Such interaction helps ensure that the Treaty’s global verification regime remains at the forefront of scientific and technical innovation. ...phere, underwater and underground. The CTBTO is tasked with establishing a verification regime which includes a global network of over 300 monitoring stations.
    3 KB (451 words) - 17:30, 24 January 2017
  • ICCV CoViStories 2017
    Analysis and verification of collaborative visual content: the visual understanding of individual ima
    3 KB (376 words) - 11:59, 8 August 2017
  • ICSS 2017
    * Validation, Verification and Testing for Software Security
    4 KB (562 words) - 12:05, 3 September 2017
  • ICSESS 2017
    Verification and Validation
    5 KB (673 words) - 09:53, 3 September 2017
  • ECIJ 2017 : Electrical & Computer Engineering: An International Journal
    * Hardware Formal Verification
    3 KB (464 words) - 13:28, 28 July 2017
  • OPODIS 2017
    - Programming languages, formal methods, specification and verification
    7 KB (1,009 words) - 15:54, 3 September 2019
  • SoICT 2017
    Verification, Programming Languages; Parallel/Distributed Computing,
    4 KB (559 words) - 11:58, 8 August 2017
  • FoIKS 2018
    Integrity and Constraint Management: verification, validation, consistent
    9 KB (1,118 words) - 13:41, 3 September 2017
  • COMNET SI SDN/NFV Security/Performance 2017 : Elsevier Computer Networks: Special Issue on Security and Performance of SDN/NFV
    attacks), validation, verification and certification of network
    4 KB (515 words) - 11:28, 6 November 2020
  • ISEC 2018
    - System Verification and Validation
    8 KB (1,150 words) - 10:11, 7 August 2019
  • Free VLSI Workshop 2017 : Registrations open – Free VLSI Workshop at Maven Silicon on 20th Aug 2017
    Join us for Free Workshop on RTL Design & Functional Verification and receive Verification.
    2 KB (327 words) - 13:34, 28 July 2017
  • SAC 2018
    Software Verification and Testing SVT
    5 KB (660 words) - 13:50, 8 April 2020
  • MACIS 2017 : 7th International Conference on Mathematical Aspects of Computer and Information Sciences
    engines; applications, especially in systems analysis and formal verification;
    5 KB (670 words) - 13:24, 28 July 2017
  • CADS 2017
    * Test, Verification, and Security of Digital Systems
    1 KB (178 words) - 10:05, 20 November 2020
  • Correctness 2017
    today. While significant advances in verification, testing, and * Practical and scalable tools for model checking, verification,
    5 KB (588 words) - 18:00, 18 February 2021
  • IEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems
    codes, testing, verification, and maintenance. They are rapidly description and verification for structure and behavior of systems.
    4 KB (593 words) - 13:24, 28 July 2017
  • SPTE SC 2017 : IJDSN Special Collection on Secure Positioning Technologies for the Emerging Services and Computing Paradigms
    verification etc. In fact, different positioning scenarios need different
    4 KB (500 words) - 09:56, 21 August 2017
  • SI-SoftMM 2017 : Special Issue on Soft Computing Techniques and Applications on MM Data Analyzing Systems-- Springer Journal of Multimedia Tools and Applications
    and verification paradigms. Preferred topics in this issue include (but are not
    4 KB (598 words) - 09:58, 21 August 2017
  • IoTBDS 2018
    - Tenant Application Development including Customization, Verification,
    8 KB (1,170 words) - 13:40, 3 September 2017
  • ZEUS 2014
    - Formal methods, models, simulation and verification
    7 KB (910 words) - 10:36, 26 November 2017
  • ZEUS 2018
    - Formal methods, models, simulation, and verification
    4 KB (565 words) - 18:34, 4 July 2020
  • ZEUS 2015
    - Formal methods, models, simulation and verification
    7 KB (1,046 words) - 10:36, 26 November 2017
  • ZEUS 2012
    Analysis, simulation and verification
    6 KB (748 words) - 10:36, 26 November 2017
  • ZEUS 2010
    |Field=, modeling,service,simulation,verification Analysis and Verification
    2 KB (266 words) - 20:34, 4 July 2020
  • CP 2019
    *Testing and Verification
    2 KB (263 words) - 16:00, 22 May 2019
  • ASPLOS 2020
    *Verification and testing, and their impact on design and security
    4 KB (547 words) - 12:27, 30 September 2019
  • FASE 2019
    Software quality: (static or run-time) validation and verification of functional and non-functional software properties using theorem proving,
    2 KB (301 words) - 14:34, 4 June 2019
  • ICNP 2018
    ...l aspects of network protocols, including design, analysis, specification, verification, implementation, and performance.
    1 KB (139 words) - 15:07, 26 June 2019
  • FORTE
    ...on Formal Description Techniques and Protocol Specification, Testing, And Verification
    183 bytes (23 words) - 01:48, 18 March 2020
  • VMCAI
    |Title=Verification, Model Checking and Abstract Interpretation
    117 bytes (15 words) - 01:50, 18 March 2020
  • VMCAI 2020
    |Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation
    470 bytes (58 words) - 06:05, 15 May 2020
  • BIOINFORMATICS 2021
    *Formal Verification of Biological Systems
    3 KB (304 words) - 12:02, 22 March 2020
  • BIOINFORMATICS 2019
    *Formal Verification of Biological Systems
    3 KB (359 words) - 12:32, 8 December 2020
  • TAMC 2020
    * programming and verification
    2 KB (192 words) - 08:38, 14 April 2020
  • SafeComp 2020
    * Development, verification and assessment of intelligent and autonomous safety-critical systems * Formal modelling, verification and validation
    5 KB (617 words) - 11:54, 19 June 2020
  • ATVA 2019
    |Title=17th International Symposium on Automated Technology for Verification and Analysis
    672 bytes (77 words) - 08:45, 20 March 2020
  • ATVA 2018
    |Title=16th International Symposium on Automated Technology for Verification and Analysis
    677 bytes (79 words) - 11:53, 22 March 2020
  • DBPL 2020
    * Semantics and Verification of Database Systems
    2 KB (255 words) - 10:39, 17 April 2020
  • PADS 2020
    * Mechanisms for efficient design of experiments, including dynamic verification and validation of models, and automatic simulation model generation and ini
    3 KB (457 words) - 08:25, 17 April 2020
  • KSEM 2020
    • Knowledge verification and validation
    3 KB (277 words) - 15:47, 11 June 2020
  • KSEM 2018
    * Knowledge verification and validation
    2 KB (204 words) - 11:36, 27 March 2020
  • PSI 2019
    * Marta Kwiatkowska (Oxford University, UK): Safety Verification for Deep Neural Networks with Provable Guarantees
    1 KB (131 words) - 18:20, 1 April 2020
  • CoNEXT 2018
    *Network verification and validation
    2 KB (238 words) - 11:18, 6 April 2020
  • Coordination 2020
    ...ification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance and secu ...es, languages, middleware, tools, and environments for the development and verification of coordinated applications;
    2 KB (264 words) - 18:00, 18 February 2021
  • APLAS 2019
    * program analysis, verification, model-checking
    1 KB (141 words) - 15:22, 8 April 2020
  • APLAS 2018
    * Program analysis, verification, model-checking
    1 KB (110 words) - 15:22, 8 April 2020
  • APLAS 2017
    * program analysis, verification, model-checking
    1 KB (109 words) - 15:23, 8 April 2020
  • Petri Nets 2018
    * ● Model checking and verification of distributed systems * ● Verification of infinite-state or parametric systems
    2 KB (243 words) - 20:03, 13 May 2020
  • Petri Nets 2019
    * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
    2 KB (251 words) - 18:19, 13 May 2020
  • Petri Nets 2020
    * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
    2 KB (291 words) - 19:33, 13 May 2020
  • Coordination 2019
    ...ification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance and secu ...es, languages, middleware, tools, and environments for the development and verification of coordinated applications;
    3 KB (355 words) - 08:53, 17 April 2020
  • DBPL 2019
    * Semantics and Verification of Database Systems
    1 KB (166 words) - 10:53, 17 April 2020
  • Coordination 2018
    ...ification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance aspects; ...es, languages, middleware, tools, and environments for the development and verification of oordinated applications;
    2 KB (275 words) - 11:35, 17 April 2020
  • EMAS 2020
    Formal methods and declarative technologies for specification, verification, and engineering of MAS verification of MAS with machine learning components
    8 KB (1,092 words) - 12:49, 22 April 2020
  • EMAS 2019
    * Formal methods and declarative technologies for specification, verification, and engineering of MAS
    5 KB (728 words) - 15:28, 18 June 2020
  • EMAS 2018
    * Formal methods and declarative technologies for specification, verification and engineering of MAS
    6 KB (863 words) - 15:29, 18 June 2020
  • SafeComp 2019
    * development, verification and assessment of highly automated and autonomous dependable systems * formal modelling, verification and validation of critical systems, software and hardware
    3 KB (419 words) - 10:51, 19 June 2020
  • SummerSim 2019
    * - Simulation Verification and Validation
    5 KB (640 words) - 13:03, 5 May 2020
  • DATE 2018
    D4 Formal Methods and Verification, Click here for details ...development environments. Emphasis will also be on model-based design and verification, embedded software platforms, software compilation and integration, real-ti
    12 KB (1,651 words) - 13:30, 27 November 2020
  • LDTA 2012
    * program analysis, transformation, generation, and verification,
    5 KB (722 words) - 13:15, 6 May 2020
  • DATE 2020
    * Formal Methods and Verification * Physical Design and Verification
    4 KB (508 words) - 17:54, 6 January 2021
  • SafeComp 2018
    * Formal methods for verification, validation, and fault tolerance; * Probabilistic verification and validation;
    4 KB (475 words) - 10:23, 19 June 2020
  • FPGA 2020
    ...of FPGAs. Novel design software for system-level partitioning, debug, and verification. Algorithms for modeling, analysis and optimization of timing and power. ...c languages, tools, and techniques to facilitate the design, debugging and verification of FPGA-based applications and systems. Novel hardware/software co-design a
    11 KB (1,541 words) - 15:35, 18 June 2020
  • ASP-DAC 2020
    * 1.1. HW/SW co-design, co-simulation and co-verification * 1.3. System-level formal verification
    6 KB (739 words) - 15:08, 13 May 2020
  • VMCAI 2019
    |Title=20th International Conference on Verification, Model Checking, and Abstract Interpretation
    496 bytes (60 words) - 06:14, 15 May 2020
  • VMCAI 2018
    |Title=19th International Conference on Verification, Model Checking, and Abstract Interpretation
    510 bytes (63 words) - 06:22, 15 May 2020
  • VMCAI 2017
    |Title=18th International Conference on Verification, Model Checking, and Abstract Interpretation
    474 bytes (58 words) - 06:35, 15 May 2020
  • CLEF 2017
    ...tha and Efstathios Stamatatos: An Improved Impostors Method for Authorship Verification
    5 KB (723 words) - 08:29, 27 May 2020
  • ICIMP 2020
    ...aluation in Internet; System measurement and monitoring; Performance model verification and validation; Stochastic modeling (queues, Petri nets, etc.); Statistical ...ms security; Language-based security; Formalisms for security and protocol verification; Performance on firewall protected real-time systems; Security management i
    17 KB (2,088 words) - 12:49, 14 June 2020
  • SAFECOMP 2017
    * Formal methods for verification, validation, and fault tolerance * Probabilistic verification and validation
    4 KB (457 words) - 11:48, 17 June 2020
  • FEC 2021
    '''Safeguards and verification'''
    3 KB (399 words) - 13:48, 24 June 2020
  • ICSNC 2020
    ...f RFID systems; Localization and tracking; Inventory tracking; Testing and verification; Planing and executing RFID systems; RFID pilot projects; Use cases in depl
    13 KB (1,636 words) - 11:51, 10 July 2020
  • ICALP 2019
    * Specification, Verification and Synthesis
    4 KB (556 words) - 06:42, 26 August 2020
  • ICALP 2021
    * Program Analysis, Verification, and Synthesis
    4 KB (503 words) - 06:44, 26 August 2020
  • LICS 2019
    * type systems and type theory and verification
    4 KB (525 words) - 11:27, 27 August 2020
  • LICS 2018
    * type systems and type theory and verification
    4 KB (537 words) - 14:06, 27 August 2020
  • ASE 2017
    * Testing, verification, and validation
    5 KB (557 words) - 07:07, 13 July 2020
  • INTERNET 2020
    ...ment, security policies models, security architectures, formal methods for verification and certification, multi-level security specification; Vulnerabilities, att
    13 KB (1,550 words) - 02:20, 10 July 2020
  • ICCGI 2020
    ...voice, and skin biometrics; Signature recognition; Multimodal biometrics; Verification and identification techniques; Accuracy of biometric technologies; Authenti ...lti-agent planning and cooperation; Logics and formal models of for agency verification; Nomadic agents; Negotiation, auctions, persuasion; Privacy and security is
    18 KB (2,036 words) - 02:36, 10 July 2020
  • VISUAL 2020
    ...ing; Visualizing Concurrent Programs; Code and Programs Visual Exploration/Verification; Visualizing Big Data Links; Web-based Data Visualization; Visualizing Miss
    6 KB (788 words) - 02:42, 10 July 2020
  • EUSAR 2021
    B5 Calibration and Verification
    2 KB (323 words) - 11:18, 10 July 2020
  • ICSEA 2020
    ...tterns, UML, etc.); Software process and workflow; Software validation and verification; Software testing and testing tools; Software implementation; Software proj
    13 KB (1,573 words) - 12:00, 10 July 2020
  • SIMUL 2020
    ...tion models; Multisimulation with multiresolution, multistage multimodels; Verification and validation of simulation models; Simulation metamodels; Executable simu
    12 KB (1,421 words) - 12:02, 10 July 2020
  • SECURWARE 2020
    Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de
    15 KB (1,886 words) - 16:16, 25 August 2020
  • TACAS 2021
    * specification and verification techniques; * software and hardware verification;
    2 KB (293 words) - 14:54, 3 August 2020
  • TACAS 2020
    Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Pr Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata
    2 KB (279 words) - 07:00, 20 August 2020
  • ICPADS 2020
    * Formal verification of distributed systems
    4 KB (436 words) - 12:06, 25 August 2020
  • ICONS 2021
    Verification and validation of safety; Safety tools; Evaluation of
    10 KB (1,210 words) - 20:17, 22 November 2020
  • ALLDATA 2021
    and testing; Validation and verification of regression in small data
    9 KB (1,239 words) - 14:37, 29 December 2020
  • SOFTENG 2021
    Program analysis and software verification; Model-based testing; Testing on verification technology; Testing evolving software; Testing embedded
    12 KB (1,505 words) - 20:38, 22 November 2020
  • ICIMP 2021
    ...aluation in Internet; System measurement and monitoring; Performance model verification and validation; Stochastic modeling (queues, Petri nets, etc.); Statistica ...ms security; Language-based security; Formalisms for security and protocol verification; Performance on firewall protected real-time systems; Security management i
    17 KB (2,035 words) - 14:45, 18 February 2021
  • INTERNET 2021
    security architectures, formal methods for verification and
    13 KB (1,607 words) - 19:32, 30 November 2020
  • ADAPTIVE 2021
    ...ce; Optimal (self-) adaptation; Accuracy validation of (self-) adaptation; Verification; Testing real-time (self-) adaptive performance; Performance analysis of (s
    8 KB (931 words) - 15:28, 29 December 2020
  • COMPUTATION TOOLS 2021
    Platforms for distributed computing; Specification and verification of programs and systems; Techniques for cloud computing; On-request resourc
    7 KB (764 words) - 18:56, 8 December 2020
  • ICDT 2021
    validation and verification mechanisms; Efficient data integration and
    19 KB (2,346 words) - 10:51, 9 December 2020
  • PESARO 2021
    Model verification and validation; Fault-tolerant systems; Simulation, measurement and monitoring; Model verification and validation,
    9 KB (1,079 words) - 11:12, 9 December 2020
  • ACCSE 2021
    Software tools, Programming, Simulation, Verification, Validation
    5 KB (640 words) - 21:39, 17 December 2020
  • ALLDATA
    ...all data sets; Small datasets for benchmarking and testing; Validation and verification of regression in small data sets; Small data toolkits; Data summarization
    9 KB (1,229 words) - 03:37, 3 December 2021
  • SAM IoT 2020
    *Verification & Validation approaches
    6 KB (804 words) - 11:42, 28 January 2021
  • ICCS 2021
    Verification, validation, and testing
    2 KB (273 words) - 04:32, 17 March 2021
  • AWSE 2021
    ...Systems; Reverse Engineering; Search-based Software Engineering; Testing, Verification, and Validation; Web-based Software Engineering etc.
    1 KB (163 words) - 09:08, 26 March 2021
  • CHES 2021
    * Verification methods and tools for secure design
    3 KB (288 words) - 17:03, 7 April 2021
  • CIAA 2021
    * computer-aided verification * implementation of verification methods and model checking
    2 KB (213 words) - 15:39, 8 April 2021
  • CONCUR 2021
    Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are n ...del checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem prov
    2 KB (262 words) - 16:45, 8 April 2021
  • FCT 2005
    * specification and verification
    1 KB (156 words) - 12:17, 15 April 2021
  • FCT 2007
    *specification and verification
    2 KB (245 words) - 11:54, 16 April 2021
  • FCT 2011
    * specification, refinement and verification
    3 KB (324 words) - 12:01, 21 April 2021
  • FCT 2015
    * specification, refinement and verification
    3 KB (425 words) - 14:12, 22 April 2021
  • ICDT 2022
    ...tworking for homeland security; Real-time intelligence data validation and verification mechanisms; Efficient data integration and mining techniques for NATO count
    19 KB (2,317 words) - 02:40, 26 November 2021
  • PESARO 2022
    ...Evaluation of safety data, and mitigation and prevention strategies; Model verification and validation; Fault-tolerant systems; Simulation, statistical analysis, a ...algorithms for analytic modeling; System measurement and monitoring; Model verification and validation, simulation, statistical analysis; Experimental design, and
    9 KB (1,086 words) - 02:44, 26 November 2021
  • ICONS 2022,
    ...nd error models; Hazard analysis; Cost and effectiveness of system safety; Verification and validation of safety; Safety tools; Evaluation of safety data, and miti
    10 KB (1,228 words) - 02:46, 26 November 2021
  • SOFTENG
    ...and failures in software libraries; Testing and run-time analysis based on verification technology; Testing evolving software; Testing embedded applications; Testi ...evolution; Conformance and traceability; Automated refactoring validation; Verification techniques; Software certification; Managing software versions; Maintenance
    13 KB (1,522 words) - 03:32, 3 December 2021
Retrieved from "https://www.openresearch.org/wiki/Special:Search"