Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
event
Submitted by Anonymous on Thu, 07/23/2020 - 3:40pm
10th International Conference on the Internet of Things (IoT 2020)
The Internet of Things (IoT) has become a central and exciting research area encompassing many fields in information and communication technology and adjacent domains. IoT systems involve interacting, heterogeneous, distributed, and intelligent things, both from the digital and physical worlds including the human in the loop.
event
Submitted by Anonymous on Thu, 07/23/2020 - 3:33pm
event
Submitted by Anonymous on Thu, 07/23/2020 - 2:22pm
14th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2020)
The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) was created by an Euro-Med network of researchers in computer science.
event
Submitted by Anonymous on Thu, 07/23/2020 - 2:18pm
Third International Workshop on Artificial Intelligence Safety Engineering (WAISE 2020)
Research, engineering and regulatory frameworks are needed to achieve the full potential of Artificial Intelligence (AI) because they will guarantee a standard level of safety and settle issues such as compliance with ethical standards and liability for accidents involving, for example, autonomous cars.
event
Submitted by Anonymous on Thu, 07/23/2020 - 1:53pm
39th International Conference on Computer Safety, Reliability and Security
Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.
SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.
event
Submitted by Anonymous on Thu, 07/23/2020 - 1:44pm
11th International Conference on Formal Ontology in Information Systems (FOIS)
DEFINITION AND SCOPE
-----------------------------------
event
Submitted by Anonymous on Thu, 07/23/2020 - 12:33pm
27th Static Analysis Symposium (SAS 2020)
co-located with SPLASH 2020
Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area.
event
Submitted by Anonymous on Wed, 07/22/2020 - 3:20pm
27th International Symposium on Model Checking of Software (SPIN 2020)
The 27th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.
event
Submitted by Anonymous on Wed, 07/22/2020 - 1:18pm
Euromicro Conference on Digital System Design (DSD 2020)
The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed HW/SW system engineering, covering the whole design trajectory from specification down to micro-architectures, digital circuits and VLSI implementations. It is a forum for researchers and engineers from academia and industry working on advanced investigations, developments and applications.
forum
Submitted by kostemkin on Mon, 04/06/2020 - 10:08am
7th Int. Workshop on
Applied Verification for Continuous and Hybrid Systems
