Search results

Jump to: navigation, search
  • ...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) - 14:15, 11 August 2008
  • ** Verification and validation ** Verification and validation
    6 KB (777 words) - 21:54, 14 August 2008
  • * verification and validation for GDRE
    4 KB (471 words) - 22:33, 13 August 2008
  • * Web application evaluation, verification and validation
    6 KB (871 words) - 04:51, 26 August 2008
  • specification, design, verification, validation, testing, maintenance,
    5 KB (715 words) - 16:43, 11 September 2008
  • for design, development, testing, analysis, and verification of correct
    5 KB (614 words) - 16:22, 11 September 2008
  • properties (like cooperation, coordination etc...), agent verification
    10 KB (1,371 words) - 15:14, 12 November 2020
  • ...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) - 17:23, 13 October 2008
  • Software Verification and Model Checking
    2 KB (293 words) - 09:35, 24 June 2011
  • ...dels, negotiation, cooperation, competition, self-organization, emergence, verification etc.
    9 KB (1,216 words) - 16:32, 14 October 2008
  • Verification and validation (including model checking) of dependable software architectu
    7 KB (960 words) - 16:48, 14 October 2008
  • ...sign, logic and behavioral synthesis, logic mapping, simulation and formal verification, layout (partitioning, placement, routing, floorplanning, compaction), algo
    4 KB (459 words) - 20:03, 14 October 2008
  • ...lgorithms for: analytic modeling, system measurement and monitoring, model verification and validation, simulation, statistical analysis, experimental design, and
    3 KB (361 words) - 20:16, 14 October 2008
  • ...-IS 2009, the 16th International Workshop on the Design, Specification and Verification of Interactive Systems.
    4 KB (575 words) - 13:56, 27 December 2015
  • - Reliability: verification and validation; model checking; =
    9 KB (1,193 words) - 21:53, 14 October 2008
  • �?� Cooperative design analysis, verification, integration and interoperability, standards
    4 KB (468 words) - 21:54, 14 October 2008
  • - automata for system analysis and programme verification
    6 KB (788 words) - 22:01, 14 October 2008
  • * formal methods for verification of multi-agent systems
    5 KB (670 words) - 22:04, 14 October 2008
  • - Program and system verification
    5 KB (799 words) - 20:49, 26 February 2020
  • Petri nets (system design/verification with nets, protocols and networks)
    5 KB (634 words) - 22:05, 14 October 2008
  • * software specification, refinement, verification and testing
    8 KB (1,085 words) - 17:01, 12 February 2009
  • - automata for system analysis and programme verification
    7 KB (994 words) - 22:06, 14 October 2008
  • and Verification. Verification:
    5 KB (698 words) - 22:08, 14 October 2008
  • * Reasoning over MOF-based models using ontologies: verification and
    8 KB (994 words) - 22:09, 14 October 2008
  • · Workflow verification and validation in grid environments
    7 KB (886 words) - 22:10, 14 October 2008
  • * Workflow verification and validation
    4 KB (560 words) - 22:10, 14 October 2008
  • 14. Service-level specification & verification
    5 KB (651 words) - 22:13, 14 October 2008
  • verification, testing, etc.)
    8 KB (1,158 words) - 22:14, 14 October 2008
  • ...ications of formal methods and declarative technologies for specification, verification and validation of MAS * Verification of multi-agent systems
    6 KB (659 words) - 16:41, 11 February 2021
  • * Enterprise reference models and their verification, validation, and accreditation
    8 KB (1,024 words) - 16:57, 8 November 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) - 22:18, 14 October 2008
  • * Validation and Verification
    6 KB (733 words) - 11:48, 27 October 2016
  • 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) - 22:19, 14 October 2008
  • - Specification, Validation and Verification of Embedded System and Software
    6 KB (697 words) - 22:19, 14 October 2008
  • # Software testing and verification
    3 KB (337 words) - 22:20, 14 October 2008
  • Component based software engineering &Software verification & analysis
    4 KB (502 words) - 22:20, 14 October 2008
  • · Writer Verification and Identification
    3 KB (364 words) - 22:21, 14 October 2008
  • * Physical design and verification * Design verification
    2 KB (282 words) - 22:21, 14 October 2008
  • * Validation and Verification of Functional Programs
    5 KB (636 words) - 22:22, 14 October 2008
  • * formal techniques for verification and validation of
    2 KB (254 words) - 22:22, 14 October 2008
  • - Validation and verification strategies (e.g. stylized facts, statistical signatures, validation with st
    4 KB (523 words) - 22:23, 14 October 2008
  • | Title = Forum on Specification, Verification & Design Languages
    532 bytes (59 words) - 22:23, 14 October 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) - 14:11, 7 November 2016
  • * Test and verification
    3 KB (377 words) - 22:24, 14 October 2008
  • * embedded system hardware/software co-design and co-verification ...rmal methods: equivalence checking, CSP applications and transaction-level verification
    9 KB (1,181 words) - 23:37, 14 October 2008
  • * Test, Verification, and Reliability
    2 KB (228 words) - 22:24, 14 October 2008
  • * CS8: Verification
    3 KB (364 words) - 22:24, 14 October 2008
  • * CS8: Verification
    2 KB (187 words) - 22:24, 14 October 2008
  • * System-Level Design, Simulation, and Verification
    2 KB (275 words) - 22:24, 14 October 2008
  • * Test and verification
    3 KB (391 words) - 22:24, 14 October 2008
  • Validation and verification of safety requirements for complex systems containing hardware, software an Verification and validation of safety
    11 KB (1,492 words) - 22:26, 14 October 2008
  • - Model analysis, verification and validation.
    6 KB (746 words) - 22:26, 14 October 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) - 00:12, 31 May 2012
  • * Hardware and software testing, verification, and validation.
    4 KB (528 words) - 22:27, 14 October 2008
  • 14) Validation, verification, and debugging techniques for embedded softwar\ 4) Simulation and verification
    11 KB (1,352 words) - 23:33, 14 October 2008
  • research challenges are encountered in areas such as verification, o Validation and verification, system integration and testing
    5 KB (673 words) - 22:30, 14 October 2008
  • * formal verification (model checking, theorem proving)
    4 KB (526 words) - 22:30, 14 October 2008
  • * Verification & analysis of interfaces
    4 KB (537 words) - 22:30, 14 October 2008
  • 4. Validation and verification of embedded systems
    5 KB (655 words) - 22:30, 14 October 2008
  • - Verification tools for ontologies
    4 KB (523 words) - 22:31, 14 October 2008
  • o Scientific workflow modeling, verification, and validation
    6 KB (750 words) - 22:31, 14 October 2008
  • ...-driven development of high integrity applications, specification, design, verification, validation, testing, maintenance, system of systems, etc.
    3 KB (377 words) - 22:31, 14 October 2008
  • ...ogical foundations, denotational semantics, operational semantics, program verification, static analysis, testing, language-based security.
    6 KB (824 words) - 22:32, 14 October 2008
  • * type systems and type theory and verification
    5 KB (656 words) - 10:29, 27 August 2020
  • |Title=International Conference on Computer Aided Verification * Algorithms and tools that combine verification and learning
    2 KB (291 words) - 10:09, 20 November 2020
  • | Title = Formal Methods in Computer-Aided Design ...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) - 22:36, 14 October 2008
  • * Techniques and Tools for Formal Verification * program semantics, logic, and verification
    6 KB (682 words) - 09:18, 14 April 2020
  • analysis, model-checking, verification, calculation, reusable
    7 KB (979 words) - 22:37, 14 October 2008
  • ...theoretical work (formal models, representations, specifications, logics, verification) and implementation-oriented work (architectures, programming languages, de
    5 KB (587 words) - 22:37, 14 October 2008
  • ...ies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome.
    6 KB (748 words) - 13:43, 27 December 2015
  • ...lysis and co-design, modelling, design, development, testing, measurement, verification and validation for performance, safety, security, and dependability constra
    2 KB (249 words) - 22:44, 14 October 2008
  • Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de
    13 KB (1,617 words) - 18:03, 24 November 2008
  • ...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) - 16:22, 5 February 2009
  • researchers interested in developing algorithms, verification methods
    4 KB (535 words) - 09:05, 24 December 2008
  • design, compliance assurance and verification, and others.
    11 KB (1,744 words) - 07:47, 5 July 2012
  • o Software testing and verification o Embedded system testing and verification
    5 KB (567 words) - 11:58, 18 January 2009
  • - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS
    8 KB (977 words) - 11:59, 18 January 2009
  • verification of software and hardware systems. In addition to fostering Track 3: Temporal Logic and Verification in Computer Science
    6 KB (872 words) - 12:00, 18 January 2009
  • - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS
    7 KB (917 words) - 12:02, 18 January 2009
  • - Petri nets (system design/verification with nets, protocols and networks)
    5 KB (661 words) - 12:02, 18 January 2009
  • program development and verification, artificial intelligence, knowledge
    5 KB (669 words) - 12:03, 18 January 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) - 12:33, 18 January 2009
  • * tools and methodologies for specification, semantics, verification, and testing
    7 KB (890 words) - 14:05, 27 December 2015
  • ...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) - 15:34, 27 February 2009
  • techniques for the specification, development and verification of verification, deployment, testing and certification.
    8 KB (1,079 words) - 16:05, 27 February 2009
  • ...tware development, component based software engineering, software quality, verification and validation techniques and software project management.
    2 KB (284 words) - 21:10, 27 February 2009
  • - Modeling and verification methods - Formal design and verification methods
    5 KB (646 words) - 16:06, 27 February 2009
  • - Testing, Verification and Validation
    6 KB (654 words) - 16:06, 27 February 2009
  • * Inter-provider trust and verification schemes
    4 KB (621 words) - 16:06, 27 February 2009
  • • Formal Methods, Verification
    3 KB (319 words) - 16:07, 27 February 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) - 16:07, 27 February 2009
  • - verification, analysis and development of programs and algorithms
    7 KB (912 words) - 16:08, 27 February 2009
  • * Validation and verification
    11 KB (1,563 words) - 05:56, 12 April 2012
  • - security verification
    6 KB (828 words) - 16:08, 27 February 2009
  • - Instrumentation methodologies for workload verification and characterization
    4 KB (589 words) - 16:08, 27 February 2009
  • - formal techniques for verification and validation of component =20
    4 KB (504 words) - 15:43, 27 December 2015
  • * Verification and validation techniques for agent-based systems; =C2 and verification logics;
    8 KB (1,153 words) - 21:41, 23 March 2009
  • ...ormance visualization tools, statistical analysis resources, and debug and verification infrastructure.
    2 KB (210 words) - 11:17, 7 April 2016
  • * Systems Verification and Validation
    6 KB (706 words) - 10:33, 2 August 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) - 10:33, 2 August 2009
  • Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de
    6 KB (746 words) - 10:35, 2 August 2009
  • * Software Verification and Validation * Testing, Analysis and Verification
    8 KB (1,112 words) - 10:35, 2 August 2009
  • ...= Annual Workshop of the ESF Networking Programme on Games for Design and Verification Games for Design and Verification
    3 KB (443 words) - 13:53, 27 December 2015
  • ...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) - 10:36, 2 August 2009
  • - Verification of logistics services
    12 KB (1,624 words) - 10:36, 2 August 2009
  • ...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) - 14:56, 15 February 2017
  • * Petri nets (system design/verification with nets, protocols and networks)
    4 KB (475 words) - 12:42, 26 February 2010
  • * Program analysis, transformation, generation, and verification * model checking to software verification
    5 KB (699 words) - 10:19, 12 September 2009
  • static and dynamic analysis, validation and verification
    4 KB (583 words) - 11:17, 25 November 2009
  • * System design and verification
    5 KB (607 words) - 17:01, 3 December 2009
  • * › Security Verification and Validation
    4 KB (409 words) - 14:40, 5 February 2010
  • ...pers may present advances in the theory, design, implementation, analysis, verification, or empirical evaluation and measurement of secure systems.
    4 KB (490 words) - 13:42, 6 November 2020
  • * 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) - 13:55, 27 December 2015
  • ...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) - 09:13, 8 October 2020
  • * test and verification of interactive systems
    5 KB (604 words) - 20:24, 1 November 2010
  • * Specification, Verification and Synthesis
    4 KB (602 words) - 05:44, 26 August 2020
  • * Design & Verification Tools for Embedded Systems Design & Verification Tools for Embedded Systems
    12 KB (1,378 words) - 20:13, 28 November 2010
  • * Formal Verification
    8 KB (678 words) - 08:03, 2 January 2011
  • |Title=7th International Workshop on Automated Specification and Verification of Web Systems Automated Specification and Verification of Web Systems
    5 KB (650 words) - 13:16, 22 February 2011
  • * Network Protocol Verification and Validation
    3 KB (322 words) - 04:59, 8 March 2011
  • * Enterprise reference models and their verification, validation, and accreditation
    8 KB (1,135 words) - 20:41, 11 March 2011
  • Verification and enforcement of security properties
    4 KB (581 words) - 17:48, 24 February 2020
  • ...gineering || Mobile applications || Scientific computing || Validation and verification
    6 KB (738 words) - 10:21, 6 July 2020
  • *Programming languages, formal methods, specification and verification applied to distributed systems
    2 KB (299 words) - 10:51, 8 April 2020
  • Computer-Aided Network Design Logic synthesis and formal verification
    10 KB (1,363 words) - 08:26, 7 May 2012
  • |Title=International Conference on Computer-Aided Verification |Field=Computer-Aided Verification
    382 bytes (45 words) - 16:12, 9 February 2021
  • ● Attestation and integrity verificationVerification of trusted computing architectures
    5 KB (677 words) - 14:19, 19 December 2012
  • * Knowledge verification/validation
    3 KB (408 words) - 10:39, 5 January 2013
  • ** Big data verification using semantics
    5 KB (711 words) - 18:02, 7 March 2020
  • ..., open source software development, software process, software testing and verification, embedded systems, distributed data management, information integration, do
    3 KB (422 words) - 11:09, 24 April 2016
  • |Field=computer science, theory, semantics, verification
    336 bytes (36 words) - 05:30, 20 September 2016
  • * Analysis and verification techniques
    870 bytes (100 words) - 17:53, 2 March 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    401 bytes (50 words) - 14:12, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    399 bytes (48 words) - 15:33, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    398 bytes (46 words) - 15:58, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    393 bytes (45 words) - 15:54, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    381 bytes (46 words) - 15:36, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    357 bytes (40 words) - 16:05, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    372 bytes (42 words) - 16:10, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    367 bytes (42 words) - 15:43, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    378 bytes (46 words) - 14:18, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    378 bytes (43 words) - 16:06, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    375 bytes (44 words) - 14:51, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    364 bytes (42 words) - 14:42, 9 February 2021
  • |Title=Verification Methods for Finite State Systems |Field=Computer-Aided Verification
    306 bytes (37 words) - 17:09, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    358 bytes (41 words) - 15:30, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    379 bytes (46 words) - 14:04, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    341 bytes (38 words) - 15:05, 9 February 2021
  • |Title=International Conference on Computer Aided Verification |Field=Computer-Aided Verification
    547 bytes (69 words) - 16:11, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    302 bytes (36 words) - 13:39, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    373 bytes (45 words) - 14:22, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    322 bytes (36 words) - 14:27, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    336 bytes (38 words) - 14:58, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    336 bytes (38 words) - 14:35, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    380 bytes (44 words) - 16:01, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    397 bytes (48 words) - 13:56, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    383 bytes (46 words) - 13:52, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    381 bytes (46 words) - 13:50, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    363 bytes (41 words) - 15:48, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    370 bytes (42 words) - 16:03, 9 February 2021
  • |Title=Computer Aided Verification |Field=Computer-Aided Verification
    341 bytes (42 words) - 13:38, 9 February 2021
  • |Title=Computer Aided Verification
    93 bytes (11 words) - 16:52, 30 September 2016
  • * type systems and type theory and verification
    4 KB (528 words) - 10:25, 26 June 2020
  • * type systems and type theory and verification
    4 KB (490 words) - 10:42, 26 June 2020
  • * Rehearsal: a configuration verification tool for puppet
    3 KB (390 words) - 07:01, 9 July 2020
  • Analysis and verification of collaborative visual content: the visual understanding of individual ima
    3 KB (376 words) - 10:59, 8 August 2017
  • * Validation, Verification and Testing for Software Security
    4 KB (562 words) - 11:05, 3 September 2017
  • Verification and Validation
    5 KB (673 words) - 08:53, 3 September 2017
  • * Hardware Formal Verification
    3 KB (464 words) - 12:28, 28 July 2017
  • - Programming languages, formal methods, specification and verification
    7 KB (1,009 words) - 14:54, 3 September 2019
  • Verification, Programming Languages; Parallel/Distributed Computing,
    4 KB (559 words) - 10:58, 8 August 2017
  • Integrity and Constraint Management: verification, validation, consistent
    9 KB (1,118 words) - 12:41, 3 September 2017
  • attacks), validation, verification and certification of network
    4 KB (515 words) - 10:28, 6 November 2020
  • Software Verification and Testing SVT
    5 KB (660 words) - 12:50, 8 April 2020
  • engines; applications, especially in systems analysis and formal verification;
    5 KB (670 words) - 12:24, 28 July 2017
  • * Test, Verification, and Security of Digital Systems
    1 KB (178 words) - 09:05, 20 November 2020
  • and verification paradigms. Preferred topics in this issue include (but are not
    4 KB (598 words) - 08:58, 21 August 2017
  • - Formal methods, models, simulation and verification
    7 KB (1,046 words) - 09:36, 26 November 2017
  • Analysis, simulation and verification
    6 KB (748 words) - 09:36, 26 November 2017
  • *Verification and testing, and their impact on design and security
    4 KB (547 words) - 11:27, 30 September 2019
  • ...l aspects of network protocols, including design, analysis, specification, verification, implementation, and performance.
    1 KB (139 words) - 14:07, 26 June 2019
  • * programming and verification
    2 KB (192 words) - 07:38, 14 April 2020
  • * Development, verification and assessment of intelligent and autonomous safety-critical systems * Formal modelling, verification and validation
    5 KB (617 words) - 10:54, 19 June 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) - 07:25, 17 April 2020
  • * ● Model checking and verification of distributed systems * ● Verification of infinite-state or parametric systems
    2 KB (243 words) - 19:03, 13 May 2020
  • * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
    2 KB (251 words) - 17:19, 13 May 2020
  • * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
    2 KB (291 words) - 18:33, 13 May 2020
  • * Formal methods and declarative technologies for specification, verification and engineering of MAS
    6 KB (863 words) - 14:29, 18 June 2020
  • * 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) - 09:51, 19 June 2020
  • * - Simulation Verification and Validation
    5 KB (640 words) - 12:03, 5 May 2020
  • 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) - 12:30, 27 November 2020
  • * program analysis, transformation, generation, and verification,
    5 KB (722 words) - 12:15, 6 May 2020
  • * Formal methods for verification, validation, and fault tolerance; * Probabilistic verification and validation;
    4 KB (475 words) - 09:23, 19 June 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) - 14:35, 18 June 2020
  • * 1.1. HW/SW co-design, co-simulation and co-verification * 1.3. System-level formal verification
    6 KB (739 words) - 14:08, 13 May 2020
  • * Formal methods for verification, validation, and fault tolerance * Probabilistic verification and validation
    4 KB (457 words) - 10:48, 17 June 2020
  • * Specification, Verification and Synthesis
    4 KB (556 words) - 05:42, 26 August 2020
  • * Program Analysis, Verification, and Synthesis
    4 KB (503 words) - 05:44, 26 August 2020
  • * type systems and type theory and verification
    4 KB (525 words) - 10:27, 27 August 2020
  • * type systems and type theory and verification
    4 KB (537 words) - 13:06, 27 August 2020
  • * Testing, verification, and validation
    5 KB (557 words) - 06:07, 13 July 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) - 01:36, 10 July 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) - 01:42, 10 July 2020
  • ...tterns, UML, etc.); Software process and workflow; Software validation and verification; Software testing and testing tools; Software implementation; Software proj Information modeling; GUI related software; Computer-aided software design; Hierarchical APIs; APIs roles in software development; Ont
    13 KB (1,573 words) - 11:00, 10 July 2020
  • Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de
    15 KB (1,886 words) - 15:16, 25 August 2020
  • * Formal verification of distributed systems
    4 KB (436 words) - 11:06, 25 August 2020
  • Verification and validation of safety; Safety tools; Evaluation of
    10 KB (1,210 words) - 19:17, 22 November 2020
  • and testing; Validation and verification of regression in small data
    9 KB (1,239 words) - 13:37, 29 December 2020
  • ...ce; Optimal (self-) adaptation; Accuracy validation of (self-) adaptation; Verification; Testing real-time (self-) adaptive performance; Performance analysis of (s
    8 KB (931 words) - 14:28, 29 December 2020
  • validation and verification mechanisms; Efficient data integration and
    19 KB (2,346 words) - 09:51, 9 December 2020
  • Model verification and validation; Fault-tolerant systems; Simulation, measurement and monitoring; Model verification and validation,
    9 KB (1,079 words) - 10:12, 9 December 2020
  • Software tools, Programming, Simulation, Verification, Validation
    5 KB (640 words) - 20:39, 17 December 2020
  • ...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) - 02:37, 3 December 2021
  • Verification, validation, and testing
    2 KB (273 words) - 03:32, 17 March 2021
  • * Computer-aided cryptographic engineering * Verification methods and tools for secure design
    3 KB (288 words) - 16:03, 7 April 2021
  • * computer-aided verification * implementation of verification methods and model checking
    2 KB (213 words) - 14:39, 8 April 2021
  • * specification and verification
    1 KB (156 words) - 11:17, 15 April 2021
  • *specification and verification
    2 KB (245 words) - 10:54, 16 April 2021
  • ...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) - 01:40, 26 November 2021
  • ...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) - 01:44, 26 November 2021
  • ...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) - 01:46, 26 November 2021