Search results

Jump to: navigation, search

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

  • 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
  • SOC-LOG 2009
    - Verification of logistics services
    12 KB (1,624 words) - 11:36, 2 August 2009
  • 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
  • SECRYPT
    * › Security Verification and Validation
    4 KB (409 words) - 15:40, 5 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
  • 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
  • MESA 2011
    * Design & Verification Tools for Embedded Systems Design & Verification Tools for Embedded Systems
    12 KB (1,378 words) - 21:13, 28 November 2010
  • SXACEA 2011
    * Formal Verification
    8 KB (678 words) - 09:03, 2 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
  • 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
    Computer-Aided Network Design 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
  • 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
  • NWPT 2016
    |Field=computer science, theory, semantics, verification
    336 bytes (36 words) - 06:30, 20 September 2016
  • ACSS 2017-2
    * Analysis and verification techniques
    870 bytes (100 words) - 18:53, 2 March 2021
  • 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
  • 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
  • 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
  • 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
  • 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
  • ASPLOS 2020
    *Verification and testing, and their impact on design and security
    4 KB (547 words) - 12:27, 30 September 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • SAFECOMP 2017
    * Formal methods for verification, validation, and fault tolerance * Probabilistic verification and validation
    4 KB (457 words) - 11:48, 17 June 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

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

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