Search results

Jump to: navigation, search

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

  • COMPARCH 2008
    | Title=Federated Events on Component-Based Software Engineering and Software Architecture (COMPARCH) COMPARCH and its federated events are the world's leading conference on
    4 KB (564 words) - 12:33, 8 December 2020
  • TACAS 2009
    |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems ...t to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.
    4 KB (543 words) - 16:39, 16 July 2020
  • AAMAS 2009
    |Title=International Conference on Autonomous Agents and Multi-Agent Systems AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (AAMAS-09)
    10 KB (1,371 words) - 16:14, 12 November 2020
  • EICS 2009
    ...be on 15�??17 July. Submissions are solicited on a wide range of topics and themes relating to the engineering of usable interactive computer systems. ...HCI, Software Engineering, Requirements Engineering, CSCW, and Ubiquitous and Pervasive Systems.
    4 KB (575 words) - 14:56, 27 December 2015
  • LPAR 2008
    ...International Conference on Logic for Programming, Artificial Intelligence and Reasoning ...come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 2008
    5 KB (799 words) - 21:49, 26 February 2020
  • MSVVEIS 2008
    ...le = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
    618 bytes (69 words) - 17:06, 24 February 2016
  • AAMAS 2020
    |Title=19th International Conference on Autonomous Agents and Multi Agent Systems ...onference of the non-profit International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).
    6 KB (659 words) - 17:41, 11 February 2021
  • SEKE 2008
    |Title=The 20th International Conference on Software Engineering and Knowledge Engineering The Twentieth International Conference on Software Engineering and Knowledge Engineering (SEKE'08) will be held at Hotel Sofitel, Redwood City
    6 KB (733 words) - 12:48, 27 October 2016
  • SOFSEM 2009
    |Title=Current Trends in Theory and Practice of Computer Science Current Trends in Theory and Practice of Computer Science
    6 KB (682 words) - 10:18, 14 April 2020
  • HASE 2008
    | Field = Computer security and reliability ...odels for high assurance systems development, verification and validation, and assessment are welcome.
    6 KB (748 words) - 14:43, 27 December 2015
  • ICLP 2009
    ** Validation ** Verification
    5 KB (680 words) - 23:55, 27 February 2020
  • CORCS 2009
    Aims and Scope state-of-the-art, research and development in the area of resource
    4 KB (504 words) - 16:43, 27 December 2015
  • DATE 2010
    Conference and Exhibition: March 8-12, 2010 ...systems. It puts strong emphasis on both ICs/SoCs, reconfigurable hardware and embedded systems, including embedded software.
    5 KB (605 words) - 15:11, 27 December 2015
  • ICIMP 2010
    |Title=The Fifth International Conference on Internet Monitoring and Protectio ICIMP 2010: The Fifth International Conference on Internet Monitoring and Protection
    14 KB (1,651 words) - 15:56, 15 February 2017
  • KES AMSTA 2010
    ...ternational KES Symposium on Agents and Multi-agent Systems - Technologies and Applications Call for Papers and Invited Sessions Proposals
    6 KB (733 words) - 18:19, 24 September 2020
  • FM 2011
    ...and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. ...ings, experimental validation of tools and methods as well as construction and evolution of formal methods tools.
    7 KB (993 words) - 14:55, 27 December 2015
  • RTAS 2020
    |Title=26th IEEE Real-Time and Embedded Technology and Applications Symposium ...e design, implementation, verification, and validation of embedded systems and time-sensitive systems (of any size). The scope of RTAS’20 consists of tw
    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
  • ICST 2020
    |Title=International Conference on Software Testing, Verification and Validation
    228 bytes (26 words) - 17:00, 27 February 2020
  • RE 2011
    * Requirements elicitation, analysis, documentation, validation and verification * Requirements specification languages, methods, processes and tools
    7 KB (895 words) - 19:51, 24 June 2016
  • 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
  • SafeComp 2018
    |Title=37th International Conference on Computer Safety, Reliability, and Security The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP)
    4 KB (475 words) - 10:23, 19 June 2020
  • ASP-DAC 2020
    |Title=25th Asia and South Pacific Design Automation Conference * 1. System-Level Modeling and Design Methodology:
    6 KB (739 words) - 15:08, 13 May 2020
  • ICIMP 2020
    |Title=The Fifteenth International Conference on Internet Monitoring and Protection With everyone's health and safety in mind, we are adapting some of the ways in which IARIA conferences
    17 KB (2,088 words) - 12:49, 14 June 2020
  • SAFECOMP 2017
    |Title=36th International Conference on Computer Safety, Reliability, and Security ...state-of-the-art in dependable application of computers in safety-related and safety-critical systems.
    4 KB (457 words) - 11:48, 17 June 2020
  • ICSNC 2020
    |Title=The Fifteenth International Conference on Systems and Networks Communications 1. The submission deadlines (and other dates such as notification and camera ready) are rather flexible in order to account for possibly limited
    13 KB (1,636 words) - 11:51, 10 July 2020
  • ASE 2017
    |Has host organization=Institute of Electrical and Electronics Engineers ...2017 invites high quality contributions describing significant, original, and unpublished results. Solicited topics include, but are not limited to:
    5 KB (557 words) - 07:07, 13 July 2020
  • INTERNET 2020
    On-Site and Remote: INTERNET 2020 || October 18 - 22, 2020 - Porto, Portugal. With everyone's health and safety in mind, we are adapting some of the ways in which IARIA conferences
    13 KB (1,550 words) - 02:20, 10 July 2020
  • ICCGI 2020
    ...,"Security in network, systems, and applications","IPv6 Today - Technology and deployment" With everyone's health and safety in mind, we are adapting some of the ways in which IARIA conferences
    18 KB (2,036 words) - 02:36, 10 July 2020
  • EUSAR 2021
    ...This biennial event provides an excellent forum for exchanging information and discussion on a wide variety of SAR topics, representing the latest SAR dev (A) SAR Systems and Sensors
    2 KB (323 words) - 11:18, 10 July 2020
  • ICSEA 2020
    1. The submission deadlines (and other dates such as notification and camera ready) are rather flexible in order to account for possibly limited ...erence, authors will be able to present their work via pre-recorded videos and/or conference calls (in case they opt to avoid travel).
    13 KB (1,573 words) - 12:00, 10 July 2020
  • SIMUL 2020
    1. The submission deadlines (and other dates such as notification and camera ready) are rather flexible in order to account for possibly limited ...erence, authors will be able to present their work via pre-recorded videos and/or conference calls (in case they opt to avoid travel).
    12 KB (1,421 words) - 12:02, 10 July 2020
  • ICONS 2021
    Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original
    10 KB (1,210 words) - 20:17, 22 November 2020
  • ALLDATA 2021
    |Title=Seventh International Conference on Big Data, Small Data, Linked Data and Open Data Please consider to contribute to and/or forward to the appropriate
    9 KB (1,239 words) - 14:37, 29 December 2020
  • SOFTENG 2021
    |Title=The Seventh International Conference on Advances and Trends in Software Engineering Please consider to contribute to and/or forward to the appropriate
    12 KB (1,505 words) - 20:38, 22 November 2020
  • ICIMP 2021
    |Title=The Sixteenth International Conference on Internet Monitoring and Protection ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    17 KB (2,035 words) - 14:45, 18 February 2021
  • INTERNET 2021
    Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original
    13 KB (1,607 words) - 19:32, 30 November 2020
  • ADAPTIVE 2021
    ...=Thirteenth International Conference on Adaptive and Self-Adaptive Systems and Applications |Field=Systems and aplications
    8 KB (931 words) - 15:28, 29 December 2020
  • ICDT 2021
    Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original
    19 KB (2,346 words) - 10:51, 9 December 2020
  • PESARO 2021
    ...tional Conference on Performance, Safety and Robustness in Complex Systems and Applications Please consider to contribute to and/or forward to the appropriate
    9 KB (1,079 words) - 11:12, 9 December 2020
  • ACCSE 2021
    ...=Sixth International Conference on Advances in Computation, Communications and Services ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    5 KB (640 words) - 21:39, 17 December 2020
  • ALLDATA
    ...e=The Eighth International Conference on Big Data, Small Data, Linked Data and Open Data ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    9 KB (1,229 words) - 03:37, 3 December 2021
  • SAM IoT 2020
    ...pse Research International Conference on Security, Artificial Intelligence and Modeling for the next generation Internet of Things ...pse Research International Conference on Security, Artificial Intelligence and Modeling for the next generation Internet of Things (SAM IoT) 2020
    6 KB (804 words) - 11:42, 28 January 2021
  • ICCS 2021
    ...er Nyberg, Dalarna University, Wenyu Zhang, Zhejiang University of Finance and Economics Adaptive, self-managing and multi-agent systems
    2 KB (273 words) - 04:32, 17 March 2021
  • AWSE 2021
    ...Engineering; Search-based Software Engineering; Testing, Verification, and Validation; Web-based Software Engineering etc. Accepted papers after proper registration and presentation will be published in the Conference Proceedings, which will be
    1 KB (163 words) - 09:08, 26 March 2021
  • ICDT 2022
    ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to: ..., research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished
    19 KB (2,317 words) - 02:40, 26 November 2021
  • PESARO 2022
    ...tional Conference on Performance, Safety and Robustness in Complex Systems and Applications ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    9 KB (1,086 words) - 02:44, 26 November 2021
  • ICONS 2022,
    ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to: ..., research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished
    10 KB (1,228 words) - 02:46, 26 November 2021
  • SOFTENG
    |Title=SOFTENG 2022, The Eighth International Conference on Advances and Trends in Software Engineering ...d/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
    13 KB (1,522 words) - 03:32, 3 December 2021
Retrieved from "https://www.openresearch.org/wiki/Special:Search"