Search results

Jump to: navigation, search

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

  • 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

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

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