Search results

Jump to: navigation, search

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

  • 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

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

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