Search results

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

• 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
  * Software agents for intelligent control systems * 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 * Application modelling (MDE, MDA, Software Factories,
  5 KB (699 words) - 11:19, 12 September 2009
• QSIC 2010
  |Title=10th International Conference on Quality Software |Field=Software engineering
  4 KB (583 words) - 12:17, 25 November 2009
• ICITST-2010
  * Software Architectures * Software Architecture
  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 in Information Systems and Software Engineering Area 5: Security in Information Systems and Software Engineering
  4 KB (409 words) - 15:40, 5 February 2010
• TACAS 2019
  |Field=Software engineering .... Held as part of the European Joint Conferences on Theory and Practice of Software, [[ETAPS 2019]]
  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
• S&P 2020
  ...pers may present advances in the theory, design, implementation, analysis, verification, or empirical evaluation and measurement of secure systems. * Malware and unwanted software
  4 KB (490 words) - 14:42, 6 November 2020
• FM 2011
  |Field=Software engineering ...ence, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work.
  7 KB (993 words) - 14:55, 27 December 2015
• ICST
  |Title=International Conference on Software Testing, Verification and Validation
  133 bytes (17 words) - 21:54, 26 February 2020
• ICALP 2020
  * Specification, Verification and Synthesis ...r::Holger Hermanns]], Universität des Saarlandes - Dependable Systems and Software, Germany
  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
• MESA 2011
  functions (software), resulting in integrated systems called mechatronic * Design & Verification Tools for Embedded Systems
  12 KB (1,378 words) - 21:13, 28 November 2010
• RE 2011
  |Field=Software engineering * Requirements elicitation, analysis, documentation, validation and verification
  7 KB (895 words) - 19:51, 24 June 2016
• SXACEA 2011
  * Systen Software for Self-x and Autonomous Control * 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
• ICTSS 2011
  |Title=The 23th IFIP International Conference on Testing Software and Systems ICTSS 2011: The 23th IFIP International Conference on Testing Software and Systems
  6 KB (822 words) - 14:44, 18 March 2011
• TRUST 2012
  ...ncluding trustworthy infrastructures, cloud computing, services, hardware, software and protocols. Topics of interest include, but are not limited to: Implementations of trusted computing (hardware and software)
  4 KB (451 words) - 12:27, 30 November 2011

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