Search results

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

• ESEC/FSE 2020
  |Title=ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering '''27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)''' (ESEC 20
  6 KB (738 words) - 11:21, 6 July 2020
• HLDVT 2016
  |Title=HLDVT 2016 : IEEE International High-Level Design Validation and Test Workshop |Field=validation, verification, debug, test
  402 bytes (51 words) - 16:17, 8 July 2016
• TAIC PART 2017
  ...2017 : 12th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques |Field=software testing, industry collaboration, verification and validation, software quality
  484 bytes (58 words) - 15:35, 27 August 2016
• AMARETTO 2017
  ...nal Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
  417 bytes (51 words) - 13:47, 25 September 2016
• ITEQS 2017
  ...2017 : 1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems |Field=software testing, verification and validation, extra-functional properties, software quality
  509 bytes (61 words) - 13:48, 25 September 2016
• ICSS 2017
  easily added on as a patch, post-development, and sometimes even after the Team (US-CERT), "most successful attacks result from targeting and exploiting
  4 KB (562 words) - 12:05, 3 September 2017
• ICSESS 2017
  ...SESS 2017: 2017 8th IEEE International Conference on Software Engineering and Service Science 2017 8th International Conference on Software Engineering and Service Science
  5 KB (673 words) - 09:53, 3 September 2017
• FoIKS 2018
  ...e=FoIKS 2018 : 10th International Symposium on Foundations of Information and Knowledge Systems Please consider to contribute to and/or forward to the appropriate groups
  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
  .../Performance 2017 : Elsevier Computer Networks: Special Issue on Security and Performance of SDN/NFV Software-defined Networking (SDN) and Network Functions Virtualization
  4 KB (515 words) - 11:28, 6 November 2020
• ISEC 2018
  We invite technical papers describing original and unpublished results of foundational, theoretical, empirical, and applied software and systems
  8 KB (1,150 words) - 10:11, 7 August 2019
• FASE 2019
  ...nt of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We welcome contributions on all s ...gineering discipline, including its interaction with and impact on society and economics;
  2 KB (301 words) - 14:34, 4 June 2019
• SafeComp 2020
  |Title=39th International Conference on Computer Safety, Reliability and Security The 39th International Conference on Computer Safety, Reliability and Security ( SafeComp)
  5 KB (617 words) - 11:54, 19 June 2020
• PADS 2020
  ...rch that lies at the intersection of the computer science and the modeling and simulation fields. Specifically, many research topics not related to parall ...erence of ACM's Special Interest Group on Simulation and Modeling (SIGSIM) and is fully sponsored by that organization.
  3 KB (457 words) - 08:25, 17 April 2020
• KSEM 2020
  |Title=International Conference on Knowledge Science, Engineering and Management • Knowledge representation and reasoning
  3 KB (277 words) - 15:47, 11 June 2020
• KSEM 2018
  |Title=International Conference on Knowledge Science, Engineering and Management * Knowledge representation and reasoning
  2 KB (204 words) - 11:36, 27 March 2020
• CoNEXT 2018
  |Title=14th International Conference on Emerging Networking Experiments and Technology *Content distribution and caching, e.g., CDN, peer-to-peer, overlays, wide-area
  2 KB (238 words) - 11:18, 6 April 2020
• SafeComp 2019
  |Title=38th International Conference on Computer Safety, Reliability, and Security The 38th International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
  3 KB (419 words) - 10:51, 19 June 2020
• SummerSim 2019
  |Has host organization=Society for Modeling and Simulation International ...and the 22nd International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS).
  5 KB (640 words) - 13:03, 5 May 2020
• DATE 2018
  * D, A, T and E papers: Sunday, 10 September 2017 23:59:59 CET ...systems, covering ICs/SoCs, reconfigurable hardware and embedded systems, and embedded software.
  12 KB (1,651 words) - 13:30, 27 November 2020
• DATE 2020
  |Title=2020 Design, Automation and Test in Europe Conference ...gy and systems, covering ICs/SoCs, emerging technologies, embedded systems and embedded software.
  4 KB (508 words) - 17:54, 6 January 2021

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